Ce qui est canonique de couverture, de fermeture et d'étrangers attribut?

Je sais je suis en retard, mais peut-être quelqu'un de gouttes par quelque part.

Je pense que vous avez fait quelques erreurs:

Pour les fermetures:

• B+ devrait être ABCDEF plutôt que BCDEF en raison de la FD C → A
• C+ devrait être AC (la fermeture d'un attribut contient toujours en elle-même)
• G+ est G, voir la raison de la deuxième puce

Pour calculer les canonique de couverture, de suivre cet algorithme. Vous avez besoin de regarder votre liste de dépendances fonctionnelles:

1. Gauche de réduction: essayez de supprimer tous les attributs de la partie gauche de la flèche qui ne sont pas nécessaires pour créer le même fermeture.
   Pour faire le premier exemple, AB → C, vous pouvez calculer ABla fermeture, ce qui serait ABCDEF. Puis, vous essayez de supprimer A, se terminant avec B → C. Maintenant, vous calculez la fermeture de B seulement, ce qui est encore ABCDEF -> vous pouvez supprimer A.
   À la fin de cette étape, votre FD devrait ressembler à {B → C, B → E, C F → D, C → A, B → F, C E → F, C D → B, B → C, G → G}.
2. Maintenant vous pouvez faire la même chose pour le côté droit. Notez que vous pouvez supprimer tous attributs ici si vous voulez, se terminant avec l'ensemble vide. Comme un exemple, regardez B → F: la fermeture de B est ABCDEF. Si vous supprimez le F de la dépendance fonctionnelle, se terminant avec B → ∅, vous avez toujours le même fermeture pour B comme avant. Répéter pour l'autre FDs.
   Vous devriez vous retrouver avec {B →∅, B → E, C F → D, C → A, B →∅, C E → F, C D → B, B → C, G →∅}.
3. Supprimer toutes les FDs de la forme X → ∅. Vous vous retrouvez avec {B → E, C F → D, C → A, C E → F, C D → B, B → C}.
4. De combiner toutes les FDs qui ont le même du côté gauche de la flèche, ce qui conduit à une représentation canonique de la couverture de {B → C E, C F → D, C → A, C E → F, C D → B}.

Pour la superkeys: voir cette SORTE de réponse

OriginalL'auteur Lukas_Skywalker

Ma réponse est dérivé de l'Algorithme donné dans le Système de Base de données de Concepts par Korth.

Sont les fermetures de A+,B+,C+,D+,E-et E+F+ calculée de cette manière?
Étapes pour calculer la fermeture de (A,B,C,D,E,F) de F disons prendre pour B

1. résultat = {B}
2. répéter
3. pour chaque dépendance fonctionnelle(e.g B -> E) dans F ne
4. commencer
5. si B est sous-ensemble de résultat
6. puis result(i.e B) = result(i.e B) U {E}
7. fin
8. jusqu'(résultat de cesse de changer)

De cette façon, la fermeture de la suite sera:
A+ = A

B+ = ABCDEF

C+ = AC

D+ = D

E+ = E

F+ = F

Comment vérifier un attribut qui lui est étranger:
Un attribut Un est étrangère dans une dépendance alpha(AB) -> beta(C) si

1) Un appartient à la bêta(qui n'est pas dans le cas actuel), puis de créer de nouveaux FD
F' = (F-{alpha -> beta}) U {alpha -> (beta - alpha)}
et de vérifier si alpha+ under F'(**not F**) includes A, puis A est étrangère dans beta.

2) Un appartient à l'alpha(qui est correct), puis créer un nouveau gamma{B} = alpha({AB}) - {A} et de vérifier si gamma+(i.e B+) sous **F** i.e ABCDEF comprend tous les attributs beta({C}) et ce qui est vrai. Donc Un est étrangère dans AB->C.

de même vérifier si C est étrangère dans AB->C. Par-dessus suggéré algo

1. F' : AB -> NULL; B →E; CF →D; C →A; B →F; CE →F; CD →B; B →C
2. Calculer AB+ sous F' je.e ABCDEF qui comprend C . Donc Cest étrangère dans AB-> C.

Comment calculer canonique?

Algo:

1. F' = F
2. Si il n'y a aucune FD comme A->B and A->C puis le remplacer par A->BC(par l'union de la règle)
   Ici, le F': AB -> C; B-> CEF; C -> A; CD-> B; CE-> F; CF-> D
3. Trouver tout ce qui est superflu(gauche/droite) F' j'ai.e A is extraneous in AB->C donc enlever A from AB->C , de sorte qu'il devient B->C et mise à jour F'.
4. Vérifier que F' est modifié comme précédente. Si changé, passez à l'étape 2 et répétez jusqu'à trouver la F' ne change plus.

(En expliquant autres itérations comme ci-dessous:
itr2:
F' : B -> C; B-> CEF; C -> A; CD-> B; CE-> F; CF-> D
F' : B-> CEF; C -> A; CD-> B; CE-> F; CF-> D
Maintenant, vérifiez C in B-> CEF, ce qui n'est pas étranger
Case E , qui n'est également pas étrangère.
vérifiez F ,ce qui est superflu.
Ainsi, de nouvelles F' : B-> CE; C -> A; CD-> B; CE-> F; CF-> D

itr3:
F' : B-> CE; C -> A; CD-> B; CE-> F; CF-> D
après cela, il n'est pas superflu d'attribut trouvé.

De manière canonique de couverture de F sont :

B-> CE

C -> A

CD-> B

CE-> F

CF-> D

Laissez-moi savoir si vous avez une erreur dans la logique proposée ci-dessus.

OriginalL'auteur Sanjeev