Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Gegeben sei eine Menge F von FDs.
Die Menge aller aus F logisch ableitbaren FDs wird als transitive Hülle F+ bezeichnet. Die Armstrong-Regeln bilden einen korrekten und vollständigen Ableitungskalkül für die FDs in F+.

Die kanonische Überdeckung ist intuitiv die kleinste noch äquivalente Menge von FDs. Diese wird durch vier Schritte aus einer Menge F von FDs der Form hergeleitet:

• Linksreduktion: Für alle überprüfen, ob überflüssig ist (mit Hilfe der AttrHülle). Wenn ja, dann aus nehmen.
• Rechtsreduktion: Für alle prüfen, ob überflüssig ist, ggf. aus nehmen.
• Alle leeren FDs der Form entfernen.
• Mit Hilfe der Vereinigungsregel alle , ... zusammenfassen