Trivial Functional Dependency (Relational Algebra)

databases

Definition

Trivial Functional Dependency (Relational Algebra)

A functional dependency $\alpha \to \beta$ is called trivial iff $\beta \subseteq \alpha$.

Example: $\{a,b,c\}\to \{a\}$ is trivial. See Armstrong’s axioms.