Testing XML constraint satisfiability

DOI10.1016/j.entcs.2006.11.025zbMath1278.68074OpenAlexW2056363900MaRDI 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

databasehybrid logicschemasemistructured dataintegrity constraintsmultimodal logic

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Data structures (68P05)

Related Items (1)

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

This page was built for publication: Testing XML constraint satisfiability