Σχεδιασμός Σχεσιακών Σχημάτων
Κανονική Μορφή Boyce-Codd
Ένα σχεσιακό σχήμα R είναι σε BCNF σε σχέση με ένα σύνολο F συναρτησιακών εξαρτήσεων αν για όλες τις ΣΕ στο F+ της μορφής X ? Y ισχύει τουλάχιστον ένα από τα παρακάτω:
-- X ? Y είναι μια τετριμμένη ΣΕ ή
-- X είναι υπερκλειδί του σχήματος R
Δηλαδή το αριστερό μέρος κάθε μη τετριμμένης ΣΕ πρέπει να περιέχει ένα κλειδί