On XML Integrity Constraints in the Presence of DTDs

The paper investigates XML document speci cations with DTDs and integrity constraints, such as keysand foreign keys. We study the consistency problem of checking whether a given speci cation is meaningful: that is, whether there exists an XML document that both conforms to the DTD and satis es the constraints. We show that DTDs interact with constraints in a highly intricate way and as a result, the consistency problem in general is undecidable. When it comes to unary keys and foreign keys, the consistency problem is shown to be NP-complete. This is done by coding DTDs and integrity constraints with linear constraints on the integers. We consider the variations of the problem (by both restricting and enlarging the class of constraints), and identify a number of tractable cases, as well as a number of additional NP-complete ones. By incorporating negations of constraints, we establish complexity bounds on the implication problem, which is shown to be coNP-complete for unary keys and fo...

• Type: Conference
• Year: 2001
• Where: PODS
• Authors: Wenfei Fan, Leonid Libkin
• Keywords: Consistency Problem, Database, Integrity Constraints, PODS 2001, Unary Keys