Axiomatizing the logical core of XPath 2.0

DOI10.1007/s00224-008-9151-9zbMath1192.68224OpenAlexW2146886516MaRDI QIDQ2272223

Maarten Marx, Balder ten Cate

Publication date: 6 August 2009

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-008-9151-9

zbMATH Keywords

XMLaxiomatizationquery rewritingXPath

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (8)

Some modal aspects of XPath ⋮ Axiomatizations for downward XPath on data trees ⋮ Complete axiomatizations for XPath fragments ⋮ Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees ⋮ Logical Foundations of XML and XQuery ⋮ Hilbert-Style Axiomatization for Hybrid XPath with Data ⋮ Unnamed Item ⋮ Copy and remove as dynamic operators

Uses Software

• RelView
• Rath
• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural properties of XPath fragments
• Relation algebras by games
• The representation of relation algebras. II
• Complete axiomatizations for XPath fragments
• Cylindric algebras. Part II
• A note on the tense logic of dominoes
• A first-order axiomatization of the theory of finite trees
• The representation of relational algebras
• The complexity of query containment in expressive fragments of XPath 2.0
• XPath satisfiability in the presence of DTDs
• Derivation rules as anti-axioms in modal logic
• Cylindric modal logic
• Database Programming Languages
• On the calculus of relations
• Theory and Applications of Relational Structures as Knowledge Instruments

This page was built for publication: Axiomatizing the logical core of XPath 2.0