Lukas' Notes

relational-algebra

Definition

Attribute Closure (Relational Algebra)

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

The attribute closure w.r.t. a set of functional dependencies is the set of attribute which are functionally determined by :

Example:

Algorithm