Eşitlik üreten bağımlılık - Equality-generating dependency

İçinde ilişkisel veritabanı teorisi, bir eşitlik üreten bağımlılık (EGD), veriler üzerinde belirli bir kısıtlamadır. Sınıfının bir alt sınıfıdır gömülü bağımlılıklar (ED). Bir ED, birinci dereceden mantığa sahip bir cümledir: ∀x1 ... xn, P (x1, ..., xn) → ∃z1, ..., zk, Q (y1, ..., ym ) burada {z1, ..., zk} = {y1, ..., ym} {x1, ..., xn} ve P, muhtemelen boş ve Q, eşitlik atomlarının boş olmayan bir birleşimidir. Bir n eşitlik atomu, w, ..., wh, wi, wj'nin her birinin değişken veya sabit olduğu wi = wj formuna sahiptir. Olarak bilinen bir algoritma kovalamak girdi olarak bir EGD kümesini (veya daha genel olarak bir ED kümesini) karşılayabilen ya da karşılamayan bir örneği alır ve sonlanırsa (ki bu önceden karar verilemez), EGD'leri karşılayan bir örnek çıktı verir.

Eşitlik oluşturan bağımlılıkların önemli bir alt sınıfı şunlardır: işlevsel bağımlılıklar.

Referanslar