|< < 22 > >|

Functional Dependencies

FD properties

FDs can be split and combined

This FD:
X → Y1, Y2, ... Yn

is equivalent to all of these FDs:
X → Y1 X → Y2 ... X → Yn

Trivial FDs

This FD exists:
X → Y

for all Y ⊂ X.

|< < 22 > >|