First page Back Continue Last page Graphics
Inference of Functional Dependencies
Suppose R is a relation scheme, and F is a set of functional dependencies for R
If X, Y are subsets of attributes of R and all instances r which satisfy the FDs in F also satisfy X Y, then say F logically implies X Y, written F X Y
In other words, there is no instance that does not satisfy X Y
Example
Notes: