Кіріктірілген тәуелділік - Embedded dependency

Жылы реляциялық мәліметтер қорының теориясы, an ендірілген тәуелділік (ED) - бұл реляциялық мәліметтер базасындағы шектеулердің белгілі бір түрі. Бұл практикада қолданылатын шектеулердің ең жалпы түрі, олардың екеуін де қосады кортеж тудыратын тәуелділіктер (TGD) және теңдікті тудыратын тәуелділіктер (ЭГД). ЭҚ функционалды тәуелділіктерді, тәуелділіктерді, көп мәнді тәуелділіктерді, қосылуға тәуелділіктерді, шетелдік кілттердің тәуелділіктерін және басқаларын білдіре алады. ED - бұл сөйлем бірінші ретті логика нысанын:

-X1 ... xn, P (x1, ..., xn) → ∃z1, ..., zk, Q (y1, ..., ym)

Мұндағы {z1, ..., zk} = {y1, ..., ym} {x1, ..., xn}, және P - бос, ал Q - қатынас пен теңдік атомдарының бос емес конъюнкциясы . Реляциялық атомның R (w1, ..., wh), ал теңдік атомының wi = wj формалары бар, мұндағы w, ..., wh, wi, wj әрқайсысы айнымалы немесе тұрақты болып табылады. Q-дағы барлық атомдар теңдік болғанда, ED - EGD, ал Q-дағы барлық атомдар реляциялық болғанда, ED - TGD болады. Әрбір ЭД ЭГД мен ТГД-ға тең келеді. TGD экзистенциалды квантор бос болған кезде толық болады дейді. Ретінде белгілі алгоритм қуу ЭД жиынтығын қанағаттандыра алатын немесе қанағаттандырмайтын дананы кіріс ретінде қабылдайды, ал егер ол аяқталса (бұл априори шешілмейді), ЭС-ны қанағаттандыратын дананы шығарады.

Әдебиеттер тізімі