Условие принадлежности
. Основное отличие синтаксиса РИ доменов от определенного в п. 2.6.2 состоит в том, что здесь используется специальная синтаксическая конструкция – условие принадлежности:
| отношение
(пара, пара, …), | |
| пара
::= атрибут : символ, | |
| символ
::= переменная | литерал. |
Здесь отношение
и
переменная – идентификаторы.
Условие принадлежности принимает значение «истина», если и только если в отношении существует кортеж, в котором указанные атрибуты принимают указанные значения.
Примеры.
Условие S(S# : ‘S1’) примет значение .T., если и только если в текущем значении отношения S существует кортеж со значением атрибута S#, равным S1.
Условие SPJ(S# : SX, P# : PX)
принимает значение .T., если и только если в SPJ
есть кортеж, в котором значения S#
и P# совпадают с текущими значениями переменных SX
и PX, определенных на доменах S#
и P#.
