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

databasehybrid logicintegrity constraintsmultimodal logicschemasemistructured data

Mathematics Subject Classification ID

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

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

• A first step towards modeling semistructured data in hybrid multimodal logic
• A Modal Perspective on Path Constraints
• 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
• 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?)
• 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 of Constraint Specifications on XML Documents
• Satisfiability for SCULPT-schemas for CSV-like data
• A first step towards modeling semistructured data in hybrid multimodal logic
• Principles and Practice of Constraint Programming – CP 2004
• Databases and artificial intelligence

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)