Michael Karlinger, Millist W. Vincent, Michael Schrefl,
"On the Definition and Axiomatization of Inclusion Dependencies for XML"
, 11-2007, Institutsbericht 07.02, Universität Linz, Institute für Wirtschaftsinformatik If you are interested in the publication, you may download a copy from our webserver: http://www.dke.jku.at/research/publications/index.xq
Original Titel:
On the Definition and Axiomatization of Inclusion Dependencies for XML
Sprache des Titels:
Englisch
Original Kurzfassung:
The wide acceptance of XML as the standard model for data integration demands highly expressive integrity constraints for XML that preserve the semantics of source data during transformation. This paper studies an XML inclusion dependency (XIND), an integrity constraint that precisely captures the semantics of the classical inclusion dependency when relational data is mapped to XML. A set of sound and complete inference rules for determining finite logical implication of XINDs is given, and it is shown that every set of XINDs can be satisfied by at least one non-empty set of XML documents.
Sprache der Kurzfassung:
Englisch
Erscheinungsmonat:
11
Erscheinungsjahr:
2007
Notiz zum Zitat:
Institutsbericht 07.02, Universität Linz, Institute für Wirtschaftsinformatik If you are interested in the publication, you may download a copy from our webserver: http://www.dke.jku.at/research/publications/index.xq
Forschungs-