2015-04-30
1607
В реляционном исчислении кортежей используются переменные, областью определения которых являются кортежи в отношении. С другой стороны, в реляционном исчислении доменов также используются переменные, но их значения берутся из области определения атрибутов, а не из кортежей отношения. Любое выражение в реляционном исчислении имеет следующую общую форму:
Здесь 
переменные области определения (домена), a 
- формула.
Формула состоит из одного или нескольких элементарных выражений, которые могут иметь одну из следующих форм.
-
, где 
— отношение степени 
и 
— переменная домена.
-
, где и 
— переменные домена и 
— одна из операций сравнения (
); переменные и должны иметь области определения, для сравнения элементов которых применение операции является допустимым.
-
, где — переменная домена, 
— константа из области определения переменной домена и — одна из операций сравнения.
Формулы рекурсивно строятся из элементарных выражений на основе следующих правил.
- Любое элементарное выражение рассматривается как формула.
- Если выражения
и 
являются формулами, то выражения, полученные в результате их конъюнкции 
, дизъюнкции 
и отрицания 
, также являются формулами.
- Если выражение
является формулой со свободной переменной 
, то выражения 
и 
также являются формулами.
