Testing XML constraint satisfiability

DOI10.1016/J.ENTCS.2006.11.025zbMATH Open1278.68074OpenAlexW2056363900MaRDI QIDQ2867947FDOQ2867947

Authors: Nicole Bidoit, D. 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

Recommendations

• Satisfiability of Constraint Specifications on XML Documents
• On the Complexity of Verifying Consistency of XML Specifications
• XPath satisfiability in the presence of DTDs
• Reasoning about XML constraints based on XML-to-relational mappings

zbMATH Keywords

databaseschemamultimodal logichybrid logicintegrity constraintssemistructured data

Mathematics Subject Classification ID

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

Cites Work

• Two-variable logic on data trees and XML reasoning
• XPath satisfiability in the presence of DTDs
• Representing and reasoning on XML documents: a description logic approach
• A Modal Perspective on Path Constraints
• Combining deduction and model checking into tableaux and algorithms for converse-PDL.
• Title not available (Why is that?)
• Computer Science Logic
• Hybrid languages
• Hybrid logics: Characterization, interpolation and complexity
• Tableau methods for modal and temporal logics
• Hierarchies of modal and temporal logics with reference pointers
• Title not available (Why is that?)
• Proof methods for modal and intuitionistic logics
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Title not available (Why is that?)
• Integrity constraints for XML
• A first step towards modeling semistructured data in hybrid multimodal logic
• Undecidability of multi-modal hybrid logics
• Internalizing labelled deduction
• Title not available (Why is that?)
• Inconsistency Tolerance
• XPath and modal logics of finite DAG's
• Database Programming Languages

Cited In (5)

• Satisfiability for SCULPT-schemas for CSV-like data
• Satisfiability of Constraint Specifications on XML Documents
• Databases and artificial intelligence
• Principles and Practice of Constraint Programming – CP 2004
• A first step towards modeling semistructured data in hybrid multimodal logic

Uses Software

• XPath

This page was built for publication: Testing XML constraint satisfiability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867947)