Συναρτησιακές Εξαρτήσεις
Ένα σύνολο F συναρτησιακών εξαρτήσεων είναι ελάχιστο αν:
- κάθε ΣΕ στο F έχει ένα μόνο γνώρισμα στο δεξιό της μέρος
- δε μπορούμε να αφαιρέσουμε μια ΣΕ από το F και να πάρουμε ένα σύνολο ισοδύναμο του F
- δε μπορούμε να αντικαταστήσουμε μια ΣΕ Χ ? Ζ από το F με μια ΣΕ Υ ?Z τέτοια ώστε Y ? Z και να πάρουμε ένα σύνολο ισοδύναμο του F
Ελάχιστο κάλυμμα Fmin της F: ελάχιστο σύνολο από ΣΕ που είναι ισοδύναμο με την F