Deoarece lectorii care citesc subiectul și cărțile recomandate de subiect nu depind unul de celălalt, această relație conține o dependență multi-valoroasă. Această atitudine are o serie de anomalii. Una dintre ele este că, dacă dorim să recomande o carte nouă la rata de Mata, trebuie să adăugăm cât mai multe înregistrări noi, ca lectorii sunt Mata și vice-versa.
În primul rând, este redundant. În al doilea rând, pentru o astfel de atitudine, este necesar să se dezvolte un mecanism suplimentar pentru controlul integrității. Soluția optimă a problemei va fi descompunerea relației în două cu anteturi și. Această descompunere va fi în 4NF. Admisibilitatea descompunerii este stabilită de teorema lui Fagin (vezi mai jos).
Cupluri conectate
Fagin a arătat că relațiile de multe valori formează perechi conectate (în notația definiției):
Prin urmare, ele sunt adesea reprezentate împreună într-o intrare simbolică:
Funcționalități dependente
Fiecare dependență funcțională este multivaluată. Cu alte cuvinte, dependența funcțională este o dependență multi-valoare, în care setul de valori dependente, care corespund unei valori determinate a determinantului, are întotdeauna o putere unitară.
În 1977, Bury, Fagin și Howard au descoperit că regulile de retragere ale lui Armstrong pot fi generalizate și extinse atât la dependențe funcționale, cât și la mai multe valori.
Să presupunem că avem o relație r (R) și un set de atribute A. B. C. C. C. D ⊆ R. Pentru a reduce notația, în loc de X ∩ Y, scrieți pur și simplu X Y.
Grupul 1: Reguli de bază.
Grupul 2: Sunt derivate câteva reguli suplimentare care simplifică sarcina de a furniza dependențe multi-evaluate.
Grupul 3: se stabilește relația dintre relațiile funcționale și cele multi-evaluate.
Grupa 4: pentru dependențele funcționale, sunt derivate din regulile de mai sus.
Inferență reguli Armstrong cu aici stabilite regulile grupele 1 și 3 formează un complet (folosindu-le, putem obține toate celelalte dependențe multivaloare implicate de datele de setul lor) și de încredere ( „exces“ dependențe multivoci nu se poate deduce, dependența multivaloare dedus este validă ori de câte ori este adevărat set de dependențe de multe valori de la care a fost derivat) un set de reguli pentru derivarea dependențelor multi-evaluate.
Descompunerea relațiilor
Teorema lui Fagin
Fie r raportul (A. B. C). Raportul r este egal cu compusul r sale proiecții [A. B] și r [A. C] dacă și numai dacă r raportul este efectuată pentru dependența non-triviale multivaloare A ↠ B | C.
Această teoremă este o versiune mai riguroasă a teoremei lui Heath.
Articole similare
Trimiteți-le prietenilor: