Модели и проектирование баз данных

Условие принадлежности


. Основное отличие синтаксиса РИ доменов от определенного в п. 2.6.2 состоит в том, что здесь используется специальная синтаксическая конструкция – условие принадлежности:



отношение

(пара, пара, …),

пара

::= атрибут : символ,

символ

::= переменная | литерал.

Здесь отношение

и

переменная – идентификаторы.

 

Условие принадлежности принимает значение «истина», если и только если в отношении существует кортеж, в котором указанные атрибуты принимают указанные значения.

Примеры.

Условие S(S# : ‘S1’) примет значение .T., если и только если в текущем значении отношения S существует кортеж со значением атрибута S#, равным S1.

Условие SPJ(S# : SX,  P# : PX)

принимает значение .T., если и только если в SPJ

есть кортеж, в котором значения S#

и P# совпадают с текущими значениями переменных SX

и  PX, определенных на доменах S#

и  P#.



Содержание раздела