XML Integrity Constraints

Databases and Artificial Intelligence

“…For instance, although not developed in this section, the semi-structured data model and the web data exchange model XML require the definition and verification of integrity constraints for improving the quality of data management, the accuracy of reasoning and for optimization purposes. Many research works (Davidson et al 2007;Arenas 2009) have addressed these problems for the XML format: keys, reference and functional dependencies are classical constraints that are useful for XML applications; path constraints are "new" constraints linked to the XML data format (Buneman et al 2001;Buneman et al 2003;Fan and Siméon 2003) In this context too, logic and more precisely modal logics (Kripke 1963) have been investigated as they offer a unique and simple formalization of graph properties as well as powerful reasoning mechanisms for these structures: labelled graphs (or trees) are commonly used to represent XML data (Calvanese et al 1999;Alechina et al 2003;Demri 2003). Specifying schemas and constraints, more specifically reference constraints has been investigated in (Bidoit and Colazzo 2007;Bidoit and de Amo 1998).…”