Integrity constraints for XML

DOI10.1016/S0022-0000(02)00032-6zbMath1026.68038OpenAlexW2670189140WikidataQ57495582 ScholiaQ57495582MaRDI QIDQ1394804

Jérôme Siméon, Wenfei Fan

Publication date: 25 June 2003

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(02)00032-6

zbMATH Keywords

XMLkeysconstraint implicationforeign keysinverse constraints

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (17)

On the data complexity of consistent query answering over graph databases ⋮ Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets ⋮ On the equivalence between FDs in XML and FDs in relations ⋮ Deciding implication for functional dependencies in complex-value databases ⋮ Propagating XML constraints to relations ⋮ Reasoning about XML update constraints ⋮ Tractable reasoning and efficient query answering in description logics: The DL-Lite family ⋮ XML normalization based on entity segments ⋮ Numerical constraints on XML data ⋮ On Functional Dependencies in Advanced Data Models ⋮ Minimal-change integrity maintenance using tuple deletions ⋮ Functional and multivalued dependencies in nested databases generated by record and list constructor ⋮ Model checking hybrid logics (with an application to semistructured data) ⋮ Constraints in RDF ⋮ VQT: value cardinality and query pattern based R-schema to XML schema translation with implicit referential integrity ⋮ On the Notion of an XML Key ⋮ Testing XML constraint satisfiability

Uses Software

• XPath
• YATL

Cites Work

• Regular path queries with constraints
• Path constraints in semistructured databases
• On the relative expressiveness of description logics and predicate logics
• Object identity as a query language primitive
• On XML integrity constraints in the presence of DTDs
• Polynomial-time implication problems for unary inclusion dependencies
• On Moschovakis closure ordinals
• Representing and reasoning on XML documents: a description logic approach
• On the Decision Problem for Two-Variable First-Order Logic
• Interaction between path and type constraints
• Implication problems for functional constraints on databases supporting complex objects
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Integrity constraints for XML