Numerical constraints on XML data

DOI10.1016/j.ic.2008.09.004zbMath1200.68079MaRDI QIDQ964502

Sven Hartmann, Sebastian Link

Publication date: 22 April 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.09.004

zbMATH Keywords

XML; complexity; shortest path; implication; axiomatisation; integrity; numerical constraint

Mathematics Subject Classification ID

68P05: Data structures

Related Items

Appropriate inferences of data dependencies in relational databases, Characterisations of multivalued dependency implication over undetermined universes, Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics, Constructing Armstrong tables for general cardinality constraints and not-null constraints, Functional dependencies on extended relations defined by regular languages, Possibilistic keys, Reasoning about functional and full hierarchical dependencies over partial relations, Logical Foundations of Possibilistic Keys, Foundations for a Fourth Normal Form over SQL-Like Databases

Uses Software

• XQuery
• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural properties of XPath fragments
• Inferences for numerical dependencies
• Integrity constraints for XML
• Tree pattern query minimization
• On the implication problem for cardinality constraints and functional dependencies
• Characterising nested database dependencies by fragments of propositional logic
• On XML integrity constraints in the presence of DTDs
• An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
• Cardinality constraints in semantic data models
• On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
• Containment and equivalence for a fragment of XPath
• On the Notion of an XML Key
• Foundations of Information and Knowledge Systems