Συναρτησιακές Εξαρτήσεις
Χ+ : κλείσιμο ενός συνόλου X από γνωρίσματα υπό το F
σύνολο όλων των γνωρισμάτων που εξαρτώνται συναρτησιακά από το X μέσω του F
while (αλλαγή στο Result)
Για κάθε συναρτησιακή εξάρτηση: Υ ? Ζ ?F
Αν Υ ? Result, Result := Result ? Z