Σχεδιασμός Σχεσιακών Σχημάτων
Τρίτη Κανονική Μορφή - Εναλλακτικός Ορισμός
Ένα σχήμα σχέσης είναι σε 3NF αν κάθε μη πρωτεύον γνώρισμα Α του R είναι
-- πλήρως συναρτησιακά εξαρτώμενο από κάθε κλειδί του R και
-- μη μεταβατικά εξαρτώμενο από κάθε κλειδί του R
Μια συναρτησιακή εξάρτηση Χ ? Υ σε ένα σχήμα σχέσης R είναι μια μεταβατική εξάρτηση αν υπάρχει ένα σύνολο γνωρισμάτων Z που δεν είναι υποσύνολο οποιουδήποτε κλειδιού της R τέτοιο ώστε να ισχύουν Χ ? Ζ και Ζ ? Υ.