Dependency Preserving
No added complications in checking for violation of FDs in
Let be a relational schema and a set of functional dependencies over
Decomposition
Decomposition