Relationale Entwurfstheorie

SQL als Anfragesprache 
SQL Projektion 
SQL Selektion 
SQL Join 
SQL Umbennenung 
SQL Kreuzprodukt 
Hülle Funktionaler Abhängigkeiten 
Herleitung FDs 
Reflexivität 
Verstärkung 
Transitivität 
Armstrong Axiome II 
Vereinigung 
Dekomposition 
Pseudotransitivität 
Schlüsselbestimmung 
Redundanzen vermeiden 
Kanonische Überdeckung 
Linksreduktion 
Rechtsreduktion 
Berechnung der kanonischen Überdeckung 
Triviale FDs 
Prim Attribute 
Verlustlosigkeit 
Erste Normalform 
Zweite Normalenform 
Boyce-Codd-Normalform 
Boyce-Codd-Normalform 2 
Dritte Normalform  
Synthesealgorithmus 
Synthesealgorithmus 2 
Mehrwertige Abhängigkeiten 
Triviale MVD 
Vierte Normalform