Реляционное исчисление доменов

В реляционном исчислении доменов используются переменные, значения которых берутся из доменов, а не из кортежей отношений. Если P(d₁, d₂,...,d_n) обозначает предикат с переменными d₁, d₂,..., d_n, то множество всех переменных домена d₁, d₂,..., d_n, для которых предикат или формула P(d₁, d₂,..., d_n) истинны, обознача­ется следующим выражением: {d₁, d₂ ,..., d_n | P(d₁, d₂,..., d_n)}

В реляционном исчислении доменов зачастую требуется проверить условие принадлежности, чтобы определить, принадлежат ли значения указанному отношению. Выражение R(x, y) считается истинным тогда и только тогда, когда в отношении R имеется кортеж со значениями х и у в двух его атрибутах.

ПРИМЕР

Создайте список всех читателей, у которых номер читательского билета больше 100.

{FamilyNamе, Name, Patronymic, ReaderCardNumber | ReaderCardNumber

(Readers(FamilyNamе, Name, Patronymic, ReaderCardNumber) Ù ReaderCardNumber > 100)}

Если сравнить этот запрос с эквивалентным запросом реляционного исчисления кортежей, то можно увидеть, что каждому атрибуту присвоено имя (переменной). Условие Readers(FamilyNamе, Name, Patronymic, ReaderCardNumber) гарантирует, что переменные домена FamilyNamе, Name, Patronymic и ReaderCardNumber ограничены атрибутами того же самого кортежа. Поэтому мы можем использовать формулу ReaderCardNumber > 100 вместо формулы Readers.ReaderCardNumber > 100.

Создайте список всех сотрудников, которые родились после 1960 года.

{FamilyNamе, Name, Patronymic | PasportCode Librarians(FamilyNamе, Name, Patronymic, PasportCode) Ù Code PasportData(Code, Birthday) Ù Birthday > 31.12.1960

Эти запросы безопасны, и, если реляционное исчисление доменов ограничивается только такими выражениями, оно эквивалентно реляционному исчислению кортежей, ограниченному только безопасными выражениями, которые, в свою очередь, эквивалентны реляционной алгебре. Это значит, что для каждого выражения реляционной алгебры существует эквивалентное выражение реляционного исчисления, а для каждого выражения реляционного исчисления доменов или кортежей существует эквивалентное выражение реляционной алгебры.

Дата добавления: 2014-01-07