Testing XML constraint satisfiability

DOI10.1016/J.ENTCS.2006.11.025MaRDI QIDQ2867947zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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

Describes a project that uses

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)