Definition
Functional dependency
Let be the set of functional dependencies on schema , and let be a decomposition of .
The restriction of to , denoted as , is the set of all functional dependencies in the closure (Note: not ) that include only attributes of .
Multivalued dependency
Let be the set of functional and multivalued dependencies on schema , and let be a decomposition of .
The restriction of to , denoted as , is the set of all functional and multivalued dependencies in the closure that include only attributes of .
That is,
- All functional dependencies in that include only attributes of .
- All multivalued dependencies of the form , where and .