Logical Foundations of XML and XQuery

DOI10.1007/978-3-642-03754-2_3zbMath1254.68050OpenAlexW2116854669MaRDI QIDQ3638998

Maarten Marx

Publication date: 28 October 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-03754-2_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Information storage and retrieval of data (68P20) Internet topics (68M11)

Uses Software

• XQuery
• XCheck
• XPath

Cites Work

• Propositional dynamic logic of regular programs
• An equational axiomatization of dynamic negation and relational composition
• Program constructions that are safe for bisimulation
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• Structure and complexity of relational queries
• Axiomatizing the logical core of XPath 2.0
• Model checking propositional dynamic logic with all extras
• On the Unusual Effectiveness of Logic in Computer Science
• Two-variable logic on data trees and XML reasoning
• The complexity of query containment in expressive fragments of XPath 2.0
• The succinctness of first-order logic on linear orders
• Nested Pebbles and Transitive Closure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical Foundations of XML and XQuery