Σχεδιασμός Σχεσιακών Σχημάτων
Κανόνες Συμπερασμού για Πλειότιμες Εξαρτήσεις (συνέχεια)
- βάσιμοι (sound) δε δίνουν λανθασμένες εξαρτήσεις και πλήρεις (complete) μας δίνουν όλο το D+
δηλαδή κάθε συναρτησιακή εξάρτηση είναι και πλειότιμη
- Απόδειξη του συμπληρωματικού κανόνα