RANGE OF R IS Readers

RANGE OF R IS Readers

RANGE OF R IS Readers

Реляционное исчисление кортежей.

В реляционном исчислении кортежей задача состоит в нахождении таких корте­жей, для которых предикат является истинным. Это исчисление основано на пере­менных кортежа. Переменными кортежа называются такие переменные, областью оп­ределения которых является указанное отношение — т.е. переменные, для которых допустимыми значениями могут быть только кортежи данного отношения. (Понятие "область определения" в данном случае относится не к используемому диапазону значений, а к домену, на котором определены эти значения.)

Например, для указания отношения Readers в качестве области определения пере­менной кортежа R используется следующая форма записи:

Кроме того, запрос "найти множество всех кортежей R, для которых P(R) является истинным" можно записать следующим образом:

(R | P(R))

Здесь предикат Р называется формулой, (в математической логике, правильно по­строенной формулой — well-formed formula, wff). Например, запрос "выбрать атри­буты Code, FamilyNamе, Name, Patronymic, ReaderCardNumber, Position, PasportCode, Job и Post для всех читателей, которые имеют фамилию ‘Иванов’" можно записать следующим образом:

{R | R.FamilyNamе = ‘Иванов’}

Здесь выражение R.FamilyNamе означает значение атрибута из отношения Readers для кортежа R. Для выборки одного определенного атрибута (например, FamilyNamе), можно сформулировать этот запрос иначе:

{ R.FamilyNamе | R.FamilyNamе = ‘Иванов’}

Для указания количества экземпляров, к которым должен быть применен преди­кат, в формулах могут использоваться два типа кванторов. Квантор существования (), или так называемый символ "существует", используется в формуле, которая должна быть истинной хотя бы для одного экземпляра, например:

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