Доменное реляционное исчисление - Domain relational calculus

В Информатика, реляционное исчисление предметной области (ДРК) - исчисление, введенное Мишелем Лакруа и Ален Пиротт как декларативный язык запросов к базе данных для реляционная модель данных.[1]

В ДРК, запросы имеют вид:

где каждый Xя является либо переменной домена, либо константой, и обозначает DRC формула. Результатом запроса является набор кортежей X1 к Xп которые делают формулу DRC верной.

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

Его вычислительная выразительность эквивалентна таковой у реляционная алгебра.[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 повторно используется в запросе на существование отдела, поскольку он уже содержит идентификатор члена экипажа.

Смотрите также

Рекомендации

  1. ^ Мишель Лакруа, Ален Пиротт: Доменно-ориентированные реляционные языки. VLDB 1977: 370-378
  2. ^ Э. Ф. Кодд: Реляционная полнота подъязыков базы данных. В Р. Растин, редактор, Системы баз данных. Прентис Холл, 1972 год.

внешняя ссылка