O'rnatilgan qaramlik - Embedded dependency

Yilda relyatsion ma'lumotlar bazasi nazariyasi, an ichki bog'liqlik (ED) - bu ma'lumotlar bazasidagi muayyan cheklov. Bu ikkalasini ham o'z ichiga olgan amalda qo'llaniladigan cheklovlarning eng umumiy turi tuple hosil qiluvchi bog'liqliklar (TGD) va tenglikni keltirib chiqaradigan bog'liqliklar (EGD). EHlar funktsional bog'liqliklarni, bog'liqliklarni birlashtirishi, ko'p qiymatli bog'liqliklar, inklyuziya bog'liqliklari, tashqi kalitlarga bog'liqliklarni va boshqa ko'p narsalarni ifoda etishi mumkin. ED - bu jumla birinchi darajali mantiq shakl:

-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 munosabat va tenglik atomlarining bo'sh bo'lmagan birikmasi . Aloqaviy atom R (w1, ..., wh) shaklga ega va tenglik atomi wi = wj shaklga ega, bu erda har bir w, ..., wh, wi, wj o'zgaruvchilar yoki doimiylardir. Q ichidagi barcha atomlar tenglikka teng bo'lganda, ED EGD bo'ladi, va Qdagi barcha atomlar relyatsion bo'lsa, ED TGD bo'ladi. Har bir ED EGD va TGD ga teng. TGD ekzistensial miqdoriy bo‘sh bo‘lganda to‘la deyiladi. Sifatida tanilgan algoritm ta'qib ED to'plamini qondira oladigan yoki qondira olmaydigan nusxani kirish sifatida qabul qiladi va agar u tugasa (bu priori qaror qilinmasa), EDni qondiradigan namunani chiqaradi.

Adabiyotlar