Third Normal Form

relational-algebra

Definition

Third Normal Form

A schema is in third normal form if for every functional dependency with attribute , at least one of the following three conditions holds:

1. , i.e. the functional dependency is trivial
2. is super key of
3. is prime

The third normal form is an extension of the second normal form and prevents transitive functional dependencies.