Závislost generující rovnost - Equality-generating dependency

v teorie relační databáze, an závislost generující rovnost (EGD) je určitý druh omezení dat. Je to podtřída třídy vložené závislosti (ED). ED je věta v logice prvního řádu ve tvaru: ∀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á kombinace atomů rovnosti. Atom rovnosti n má tvar wi = wj, kde každá z w, ..., wh, wi, wj jsou proměnné nebo konstanty. Algoritmus známý jako honička bere jako vstup instanci, která může nebo nemusí vyhovovat sadě EGD (nebo obecněji sadě ED), a pokud se ukončí (což je a priori nerozhodnutelné), odešle instanci, která splňuje EGD.

Důležitou podtřídou závislostí generujících rovnost jsou funkční závislosti.

Reference