Зависимость, порождающая равенство

---

В теории реляционных баз данных зависимость , генерирующая равенство (EGD), представляет собой определенный вид ограничения данных. Это подкласс класса встроенных зависимостей (ED).

Алгоритм, известный как погоня , принимает на вход экземпляр, который может удовлетворять или не удовлетворять набору EGD (или, в более общем случае, набору ED), и, если он завершается (что априори неразрешимо), выводит экземпляр, который удовлетворяет EGD.

где , — конъюнкция атомов отношения и равенства, а — непустая конъюнкция атомов равенства. Реляционный атом имеет форму , а атом равенства имеет форму , где каждый из терминов является переменными или константами.${\displaystyle \{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}}$${\displaystyle \phi }$${\displaystyle \psi }$${\displaystyle R(w_{1},\ldots ,w_{h})}$${\displaystyle w_{i}=w_{j}}$ ${\displaystyle w,...,w_{h},w_{i},w_{j}}$

где . В самом деле, создание конъюнкции равенств эквивалентно множеству зависимостей, которые генерируют только одно равенство.${\displaystyle i,j\in \{1,\ldots ,n\}}$

---