Lukas' Notes

databases

Definition

Trivial Functional Dependency (Relational Algebra)

A functional dependency is called trivial iff .

Example: is trivial. See Armstrong’s axioms.