On Incomplete XML Documents with Integrity Constraints

We consider incomplete specifications of XML documents in the presence of schema information and integrity constraints. We show that integrity constraints such as keys and foreign keys affect consistency of such specifications. We prove that the consistency problem for incomplete specifications with keys and foreign keys can always be solved in NP. We then show a dichotomy result, classifying the complexity of the problem as NP-complete or PTIME, depending on the precise set of features used in incomplete descriptions.

• Type: Conference
• Year: 2010
• Where: AMW
• Authors: Pablo Barceló, Leonid Libkin, Juan L. Reutter
• Keywords: AMW 2010, Foreign Keys, Incomplete Specifications, Integrity Constraints, Knowledge Management