Testing XML constraint satisfiability

DOI10.1016/j.entcs.2006.11.025zbMath1278.68074MaRDI QIDQ2867947

Nicole Bidoit, Dario Colazzo

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.11.025

zbMATH Keywords

database; hybrid logic; schema; semistructured data; integrity constraints; multimodal logic

Mathematics Subject Classification ID

68P15: Database theory

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

68P05: Data structures

Related Items

Satisfiability of Constraint Specifications on XML Documents

Uses Software

• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• Integrity constraints for XML
• Combining deduction and model checking into tableaux and algorithms for converse-PDL.
• Hybrid languages
• Hierarchies of modal and temporal logics with reference pointers
• Hybrid logics: characterization, interpolation and complexity
• Undecidability of Multi-modal Hybrid Logics
• Two-variable logic on data trees and XML reasoning
• XPath satisfiability in the presence of DTDs
• A first step towardsmodeling semistructured data in hybrid multimodal logic
• Representing and reasoning on XML documents: a description logic approach
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• A Modal Perspective on Path Constraints
• Internalizing labelled deduction
• Automated Reasoning with Analytic Tableaux and Related Methods
• Computer Science Logic
• Inconsistency Tolerance
• Database Programming Languages