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

В реляционном исчислении кортежей используются переменные, областью определения которых являются кортежи в отношении. С другой стороны, в реляционном исчислении доменов также используются переменные, но их значения берутся из области определения атрибутов, а не из кортежей отношения. Любое выражение в реляционном исчислении имеет следующую общую форму:

Здесь переменные области определения (домена), a - формула.

Формула состоит из одного или нескольких элементарных выражений, которые могут иметь одну из следующих форм.

• , где — отношение степени и — переменная домена.

• , где и — переменные домена и — одна из операций сравнения (); переменные и должны иметь области определения, для сравнения элементов которых применение операции является допустимым.

• , где — переменная домена, — константа из области определения переменной домена и — одна из операций сравнения.

Формулы рекурсивно строятся из элементарных выражений на основе следующих правил.

• Любое элементарное выражение рассматривается как формула.

• Если выражения и являются формулами, то выражения, полученные в результате их конъюнкции , дизъюнкции и отрицания , также являются формулами.

• Если выражение является формулой со свободной переменной , то выражения и также являются формулами.