TY - GEN
T1 - Generalized Inclusion Dependencies in XML
AU - Vincent, Millist W.
AU - Schrefl, Michael
AU - Liu, Jixue
AU - Liu, Chengfei
AU - Dogen, Solen
PY - 2004/4
Y1 - 2004/4
N2 - Integrity constraints play a fundamental role in defining semantics in both conventional databases and in XML documents. In this paper we generalize previous approaches to defining inclusion dependencies in XML. Previous approaches have considered only the case where the paths on the l.h.s.are child attributes of the same node and the paths on the r.h.s.of the dependency are child attributes of the same node, whereas we do not apply this restriction. We then give an axiom system for XINDs and prove that the system is sound and complete. As a corollary, we also show that the implication problem for XINDs is decidable. Finally we consider the relationship between inclusion dependencies in relational databases (INDs) and XINDs in XML documents and we show that for a very general class of mappings from a relational database to a set of XML documents, and IND is satisfied in a relational database if and only if the corresponding XIND is satisfied in the XML documents.
AB - Integrity constraints play a fundamental role in defining semantics in both conventional databases and in XML documents. In this paper we generalize previous approaches to defining inclusion dependencies in XML. Previous approaches have considered only the case where the paths on the l.h.s.are child attributes of the same node and the paths on the r.h.s.of the dependency are child attributes of the same node, whereas we do not apply this restriction. We then give an axiom system for XINDs and prove that the system is sound and complete. As a corollary, we also show that the implication problem for XINDs is decidable. Finally we consider the relationship between inclusion dependencies in relational databases (INDs) and XINDs in XML documents and we show that for a very general class of mappings from a relational database to a set of XML documents, and IND is satisfied in a relational database if and only if the corresponding XIND is satisfied in the XML documents.
UR - http://www.dke.jku.at/index.html?/research/index.html
UR - https://www.scopus.com/pages/publications/35048869127
U2 - 10.1007/978-3-540-24655-8_24
DO - 10.1007/978-3-540-24655-8_24
M3 - Conference proceedings
SN - 3-540-21371-6
VL - 3007
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 224
EP - 233
BT - Proceedings of the 6th Asia-Pacific Web Conference - Advanced Web Technologies and Applications (APWeb 2004), Hangzhou, China, April 14-17, 2004
PB - Springer Verlag
CY - Deutschland
ER -