Logical Foundations of XML and XQuery

DOI10.1007/978-3-642-03754-2_3MaRDI QIDQ3638998zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 2088771
• scientific article; zbMATH DE number 5016874
• scientific article; zbMATH DE number 1962796
• A formal and unified description of XML manipulation languages
• scientific article; zbMATH DE number 2173747

Cites work

• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1951151 (Why is no real title available?)
• scientific article; zbMATH DE number 1953125 (Why is no real title available?)
• scientific article; zbMATH DE number 1953140 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• An equational axiomatization of dynamic negation and relational composition
• Axiomatizing the logical core of XPath 2.0
• Caterpillars, context, tree automata and tree pattern matching
• Modal logic
• Model checking propositional dynamic logic with all extras
• Nested Pebbles and Transitive Closure
• On the unusual effectiveness of logic in computer science
• Program constructions that are safe for bisimulation
• Propositional dynamic logic of regular programs
• Structure and complexity of relational queries
• The complexity of query containment in expressive fragments of XPath 2.0
• The succinctness of first-order logic on linear orders
• Two-variable logic on data trees and XML reasoning

Cited in

(9)

• scientific article; zbMATH DE number 2088771 (Why is no real title available?)
• Queries in the XML data model
• scientific article; zbMATH DE number 1962796 (Why is no real title available?)
• A formal and unified description of XML manipulation languages
• Axiomatizing the logical core of XPath 2.0
• XPath-logic and XPathLog: A logic-programming style XML data manipulation language
• XML schema language specifications for conditional knowledge
• scientific article; zbMATH DE number 2024804 (Why is no real title available?)
• scientific article; zbMATH DE number 2173747 (Why is no real title available?)

Describes a project that uses

Uses Software

• XPath
• XCheck
• XQuery

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

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