|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
17th International Conference on Database and Expert Systems Applications (DEXA'06)
A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations
Krakow, Poland
September 04-September 08
ISBN: 0-7695-2641-1
| ASCII Text | x | ||
| Sebastian Link, "A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations," 2012 23rd International Workshop on Database and Expert Systems Applications, pp. 537-541, 17th International Conference on Database and Expert Systems Applications (DEXA'06), 2006. | |||
| BibTex | x | ||
| @article{ 10.1109/DEXA.2006.19, author = {Sebastian Link}, title = {A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations}, journal ={2012 23rd International Workshop on Database and Expert Systems Applications}, volume = {0}, year = {2006}, issn = {1529-4188}, pages = {537-541}, doi = {http://doi.ieeecomputersociety.org/10.1109/DEXA.2006.19}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 23rd International Workshop on Database and Expert Systems Applications TI - A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations SN - 1529-4188 SP537 EP541 A1 - Sebastian Link, PY - 2006 KW - null VL - 0 JA - 2012 23rd International Workshop on Database and Expert Systems Applications ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DEXA.2006.19
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.
Citation:
Sebastian Link, "A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations," dexa, pp.537-541, 17th International Conference on Database and Expert Systems Applications (DEXA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.