SLIDE 12 Formalization and Notation for Entailment
- Entailment of FDs occurs so frequently that it is useful to have a special
notation for it. Entailment of FDs Let R = (A1, A2, . . . , Ak) = U be a relation scheme with FDs F, and let X → Y be an FD. X → Y is entailed by F, written F |
= X → Y, if X → Y holds on every relation on which F holds.
- If G is a set of FDs, then F |
= G means that F | = ϕ for every ϕ ∈ G.
Example:
A B C D E
F = {A → B, B → C, C → D, D → E}.
= A → BCDE, F | = B → CDE, F | = C → DE, and
F |
= {A → BCDE, B → CDE, C → DE}.
= A → BCDE, B → CDE, C → DE.
Functional Dependencies and Normalization 20150218 Slide 12 of 79