ГОСТ Р ИСО/МЭК 9075-93 Информационная технология (ИТ). Язык баз данных SQL с расширением целостности
6.8 <определение ограничения проверки >
Функция
Задает условия для таблицы.
Формат
<определение ограничения проверки> : : = | ||
CHECK (<условие поиска>) | ||
Правила синтаксиса
1) <Условие поиска> не должно содержать <подзапрос>, <спецификацию функций набора> или <спецификацию цели>.
2) Каждая <спецификация столбца> в <условии поиска> должна ссылаться на столбец, определенный в содержащем <определении таблицы>.
Общие правила
1) База данных не удовлетворяет <определению ограничения проверки> тогда и только тогда, когда таблица, определенная содержащим <определением таблицы>, содержит строку, для которой <условие поиска> ложно.