2015-04-30
618
В реляционном исчислении кортежей задача состоит в нахождении таких кортежей, для которых предикат является истинным. Это исчисление основано на переменных кортежа. Переменными кортежа являются такие переменные, областью определения которых служит указанное отношение. Таковыми являются переменные, для которых допустимыми значениями могут быть только кортежи данного отношения. (Понятие "область определения" в данном случае относится не к используемому диапазону значений, а к домену, в котором определены эти значения).
Например, для указания отношения Staff в качестве области определения переменной кортежа S используется следующая форма записи:
Кроме того, запрос "найти множество всех кортежей S, для которых F(S) является истинным" можно записать следующим образом:
Здесь предикат F называется формулой (в математической логике, правильно построенной формулой — Well-Formed Formula, или сокращенно WFF). Например, запрос "выбрать атрибуты staff No, fName, IName, position, sex, DOB, salary и branchNo для всех сотрудников, которые получают зарплату больше 10 000 фунтов стерлингов" можно записать следующим образом:
Здесь выражение S.salary означает значение атрибута salary для кортежа S. Для выборки одного определенного атрибута (например, salary), можно сформулировать этот запрос иначе:
