Relační počet domén - Domain relational calculus

v počítačová věda, relační počet domén (DRC) je počet, který zavedli Michel Lacroix a Alain Pirotte jako deklarativní dotazovací jazyk databáze pro relační datový model.[1]

V KDR dotazy mít formu:

kde každý Xi je buď doménová proměnná, nebo konstanta, a označuje DRC vzorec. Výsledkem dotazu je sada n-tic X.1 až Xn díky nimž je vzorec DRC pravdivý.

Tento jazyk používá stejné operátory jako počet členů, logické spojky ∧ (a), ∨ (nebo) a ¬ (ne). The existenční kvantifikátor (∃) a univerzální kvantifikátor (∀) lze použít k vázání proměnných.

Jeho výpočetní expresivita je ekvivalentní s relační algebra.[2]

Příklady

Nechť (A, B, C) znamená (hodnost, jméno, ID) ve vztahu Enterprise

a nechme (D, E, F) znamenat (Jméno, Jméno Dept, ID) ve vztahu Oddělení

Všichni kapitáni hvězdné lodi USS Enterprise:

V tomto příkladu A, B, C označuje sadu výsledků i sadu v tabulce Enterprise.

Jména členů posádky Enterprise, kteří jsou ve hvězdné kartografii:

V tomto příkladu hledáme pouze jméno, a to B. Podmínka F = C je požadavek, který popisuje křižovatku členů posádky Enterprise A členů oddělení hvězdné kartografie.

Alternativní znázornění předchozího příkladu by bylo:

V tomto příkladu je hodnota požadované domény F přímo umístěna do vzorce a proměnná domény C je znovu použita v dotazu na existenci oddělení, protože již obsahuje ID člena posádky.

Viz také

Reference

  1. ^ Michel Lacroix, Alain Pirotte: Relační jazyky orientované na doménu. VLDB 1977: 370-378
  2. ^ E. F. Codd: Relační úplnost dílčích jazyků databáze. In R. Rustin, editor, Data Base Systems. Prentice Hall, 1972

externí odkazy