Integrovaná závislost - Embedded dependency

v teorie relační databáze, an vložená závislost (ED) je určitý druh omezení v relační databázi. Je to nejobecnější typ omezení používaný v praxi, včetně obou závislosti generující n-tici (TGD) a závislosti vytvářející rovnost (EGD). ED mohou vyjadřovat funkční závislosti, závislosti na spojení, závislosti s více hodnotami, závislosti na zahrnutí, závislosti na cizím klíči a mnoho dalších. ED je věta logika prvního řádu formuláře:

∀x1 ... xn, P (x1, ..., xn) → ∃z1, ..., zk, Q (y1, ..., ym)

kde {z1, ..., zk} = {y1, ..., ym} {x1, ..., xn} a P je možná prázdný a Q je neprázdná spojka atomů relační a rovnosti . Relační atom má formu R (w1, ..., wh) a atom rovnosti má formu wi = wj, kde každý z w, ..., wh, wi, wj jsou proměnné nebo konstanty. Když jsou všechny atomy v Q rovnosti, ED je EGD, a když jsou všechny atomy v Q relační, ED je TGD. Každý ED je ekvivalent EGD a TGD. TGD se říká, že je plná, když je existenční kvantifikátor prázdný. Algoritmus známý jako honička bere jako vstup instanci, která může nebo nemusí vyhovovat sadě ED, a pokud se ukončí (což je a priori nerozhodnutelné), vypíše instanci, která ED uspokojí.

Reference