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

Gelen ilişkisel veritabanı teorisi , bir eşitlik üreten bağımlılık (EGD) veriler üzerinde bir kısıtlama belirli bir türüdür. Bu sınıfının bir alt sınıfı olan gömülü bağımlılıkları (ED). Bir ED formunun Birinci derece mantık bir cümledir: ∀x1 ... xn, P (x1, ..., xn) → ∃z1, ..., zk, Q (y1, ..., ym ), burada {z1, ..., zk} = {y1, ..., yl} \ {x1, ..., xn}, ve P, bir boş olabilir ve Q'nun eşitlik atomlu boş olmayan bir bağlaç olup. Bir n-eşitlik atomu formu wi sahip = wj W, ..., WH, wi, Wj, değişkenler ya da sabitlerdir. Olarak bilinen bir algoritma Chase bu sona ererse, çıkış tatmin yapan bir örneği (bir karar verilemez önsel olan), girdi olarak ya da (ya da daha genel YB bir dizi) bir EGDS kümesini tatmin olmayabilir bir örnek alır ve EGDS.

Referanslar