Реляционное исчисление предметной области

В информатике ) — это исчисление , реляционное исчисление предметной области ( DRC которое было введено Мишелем Лакруа и Аленом Пироттом как декларативный язык запросов к базе данных для реляционной модели данных .

В DRC запросы имеют вид:

$\{\langle X_{1},X_{2},....,X_{n}\rangle \mid p(\langle X_{1},X_{2},....,X_{n}\rangle )\}$

где каждый X _i является либо переменной домена, либо константой, и $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ DRC обозначает формулу . Результатом запроса является набор кортежей от X ₁ до X _n , которые делают формулу DRC истинной.

В этом языке используются те же операторы, что и в кортежном исчислении . логические связки ∧ (и), ∨ (или) и ¬ (не). Квантор существования (∃) и квантор универсальности (∀) могут использоваться для связывания переменных.

Ее вычислительная выразительность эквивалентна выразительности реляционной алгебры .

Примеры

Пусть (A, B, C) означают (Ранг, Имя, ID) в отношении Предприятия.

и пусть (D, E, F) означают (Имя, Имя Отдела, ID) в отношении Отдела

Все капитаны звездолета USS Enterprise : $$\left\{\ {\left\langle A,B,C\right\rangle }\mid {\left\langle A,B,C\right\rangle \in \mathrm {Enterprise} \ \land \ A=\mathrm {'Captain'} }\ \right\}$$

В этом примере A, B, C обозначают как набор результатов, так и набор в таблице Enterprise.

Имена членов экипажа «Энтерпрайза», которые есть в Stellar Cartography: $${\begin{aligned}\{{\left\langle B\right\rangle }&\mid {\exists A,C\ \left\langle A,B,C\right\rangle \in \mathrm {Enterprise} }\\&\land \ {\exists D,E,F\ \left\langle D,E,F\right\rangle \in \mathrm {Departments} }\\&\land \ F=C\\&\land \ E=\mathrm {'Stellar\ Cartography'} \}\\\end{aligned}}$$

В этом примере мы ищем только имя, и это B. Условие F = C — это требование, которое описывает пересечение членов экипажа «Энтерпрайза» И членов отдела звездной картографии.

Альтернативное представление предыдущего примера может быть таким: $${\begin{aligned}\{{\left\langle B\right\rangle }&\mid {\exists A,C\ \left\langle A,B,C\right\rangle \in \mathrm {Enterprise} }\\&\land \ {\exists D\ \left\langle D,\mathrm {'Stellar\ Cartography'} ,C\right\rangle \in \mathrm {Departments} }\}\\\end{aligned}}$$

В этом примере значение запрошенного домена F помещается непосредственно в формулу, а переменная домена C повторно используется в запросе на существование отдела, поскольку она уже содержит идентификатор члена экипажа.

Оба они, написанные на SQL, будут выглядеть так:

SELECT B
FROM Enterprise
JOIN Department
  ON F = C
 AND E = 'Stellar Cartography';

См. также

• Реляционное исчисление

Внешние ссылки

• DES – образовательный инструмент для работы с реляционным исчислением предметной области и другими формальными языками.
• WinRDBI — образовательный инструмент для работы с реляционным исчислением предметной области и другими формальными языками.