Sciweavers

DEXAW
2006
IEEE

A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations

13 years 9 months ago
A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations
We study inference rules for multivalued dependencies in relational databases with null values (NMVDs). The definition of NMVDs is dependent on the underlying relation schema and this is reflected syntactically by the complementation rule which is present in all previous axiomatisation of NMVDs. The main result is a sound and complete set of inference rules in which the -axiom is the only inference rule dependent on . This result extends work of Biskup who has provided such an axiomatisation in the absence of null values. It is proven that the set is minimal in a very strong sense. In fact, none of its rules can be omitted without losing the ability to infer all trivial NMVDs.
Sebastian Link
Added 10 Jun 2010
Updated 10 Jun 2010
Type Conference
Year 2006
Where DEXAW
Authors Sebastian Link
Comments (0)