Lukas' Notes

relational-algebra

Definition

Full Functional Dependency (Relational Algebra)

Let be a schema of a relation and (subsets of attributes of ).

is called fully functional dependent on if:

  1. ( functionally determines ) and
  2. cannot be reduced, meaning: