В информатике , домен реляционное исчисление ( DRC ) является исчислением , которое было введено Мишелем Лакруа и Ален Pirotte как декларативный язык запросов к базе данных для реляционной модели данных . [1]
В DRC запросы имеют вид:
где каждый X i является либо переменной домена, либо константой и обозначает формулу DRC . Результатом запроса является набор кортежей от X 1 до X n, которые делают формулу DRC истинной.
В этом языке используются те же операторы, что и при исчислении кортежей , логические связки ∧ (и), ∨ (или) и ¬ (не). Квантор существования (∃) и квантор (∀) могут быть использованы для связывания переменных.
Его вычислительная выразительность эквивалентна реляционной алгебре . [2]
Примеры [ править ]
Пусть (A, B, C) означает (Rank, Name, ID) в отношении Enterprise
и пусть (D, E, F) означает (Name, DeptName, ID) в отношении Department
Все капитаны звездолета USS Enterprise :
В этом примере A, B, C обозначают как набор результатов, так и набор в таблице Enterprise.
Имена членов экипажа Энтерпрайза, которые работают в Звездной Картографии:
В этом примере мы ищем только имя, и это B. Условие F = C - это требование, которое описывает пересечение членов экипажа Enterprise И членов отдела звездной картографии.
Альтернативное представление предыдущего примера:
В этом примере значение запрошенного домена F напрямую помещается в формулу, а переменная домена C повторно используется в запросе на существование отдела, поскольку он уже содержит идентификатор члена экипажа.
См. Также [ править ]
Ссылки [ править ]
- ^ Мишель Лакруа, Ален Пиротт: предметно-ориентированные реляционные языки . VLDB 1977: 370-378
- ^ EF Codd : Относительная полнота подъязыков базы данных . В Р. Растин, редактор, Системы баз данных. Прентис Холл, 1972 год.