Satisfiability of Constraint Specifications on XML Documents

DOI10.1007/978-3-319-23165-5_25MaRDI QIDQ2945725zbMATH OpenOpenAlexFDO

Authors Marisa Navarro, Fernando Orejas, Elvira Pino

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2117/83966

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Recommendations

• Testing XML constraint satisfiability
• On the Complexity of Verifying Consistency of XML Specifications
• Reasoning about XML constraints based on XML-to-relational mappings
• XPath satisfiability in the presence of DTDs
• Paraconsistent reasoning based on XML
• Reasoning about XML update constraints

Cites work

• A Logic of Graph Constraints
• Containment and equivalence for a fragment of XPath
• Correctness of high-level transformation systems relative to nested conditions
• Ordered and Unordered Tree Inclusion
• Reasoning with graph constraints
• Symbolic graphs for attributed graph constraints
• Testing XML constraint satisfiability
• XPath satisfiability in the presence of DTDs

Cited in

(7)

• A navigational logic for reasoning about graph properties
• XML schema language specifications for conditional knowledge
• Testing XML constraint satisfiability
• A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints
• Numerical Constraints for XML
• On the Complexity of Verifying Consistency of XML Specifications
• scientific article; zbMATH DE number 2030565 (Why is no real title available?)

Describes a project that uses

Uses Software

• XQuery
• XPath

This page was built for publication: Satisfiability of Constraint Specifications on XML Documents

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