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 .