Συναρτησιακές Εξαρτήσεις
- Απλοποίηση ενός δοσμένου συνόλου συναρτησιακών εξαρτήσεων χωρίς να μεταβάλλουμε το κλείσιμό του
Έστω δυο σύνολα συναρτησιακών εξαρτήσεων E και F
Λέμε ότι το F καλύπτει το E (ή το Ε καλύπτεται από το F), αν κάθε ΣΕ στο Ε, ανήκει στο F+ (δηλαδή, συνάγεται από το F).
Δυο σύνολα συναρτησιακών εξαρτήσεων E και F είναι ισοδύναμα αν E+ = F+.
(δηλαδή αν το Ε καλύπτει το F και το F καλύπτει το Ε)