Satisfiability of Constraint Specifications on XML Documents

DOI10.1007/978-3-319-23165-5_25zbMath1321.68352OpenAlexW2396715426MaRDI QIDQ2945725

Elvira Pino, Marisa Navarro, Fernando Orejas

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) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items (1)

A navigational logic for reasoning about graph properties

Uses Software

• XQuery
• XPath

Cites Work

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

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