Tenglikni keltirib chiqaradigan qaramlik - Equality-generating dependency

Yilda relyatsion ma'lumotlar bazasi nazariyasi, an tenglikni keltirib chiqaradigan qaramlik (EGD) - bu ma'lumotlarning cheklanishining ma'lum bir turi. Bu sinfning subklassidir ichki bog'liqliklar (ED). ED - bu birinchi darajadagi mantiqdagi gap: ∀x1 ... xn, P (x1, ..., xn) → ∃z1, ..., zk, Q (y1, ..., ym) ) bu erda {z1, ..., zk} = {y1, ..., ym} {x1, ..., xn} va P ehtimol bo'sh, Q esa tenglik atomlarining birikmasidir. A n tenglik atomi wi = wj shaklga ega, bu erda har bir w, ..., wh, wi, wj o'zgaruvchilar yoki doimiylardir. Sifatida tanilgan algoritm ta'qib EGD to'plamini (yoki umuman ED to'plamini) qondirishi mumkin bo'lgan yoki qondira olmaydigan nusxani kirish sifatida qabul qiladi va agar u tugasa (bu oldindan qaror qilinmasa), EGDlarni qondiradigan namunani chiqaradi.

Tenglikni keltirib chiqaradigan bog'liqlikning muhim subklassi funktsional bog'liqliklar.

Adabiyotlar