Complete axiomatizations for XPath fragments

DOI10.1016/j.jal.2009.09.002zbMath1192.68223OpenAlexW1992942833MaRDI QIDQ975868

Tadeusz Litak, Balder ten Cate, Maarten Marx

Publication date: 11 June 2010

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/complete-axiomatizations-for-xpath-fragments(9fb0374c-fa2d-4797-8c83-6a73acea6ecd).html

zbMATH Keywords

XMLmodal logicaxiomatizationquery rewritingXPath

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45) Data structures (68P05)

Related Items

Some modal aspects of XPath, Axiomatizations for downward XPath on data trees, Structural characterizations of the navigational expressiveness of relation algebras on a tree, An algebraic glimpse at bunched implications and separation logic, On regular paths with counting and data tests, Axiomatizing the logical core of XPath 2.0, Hilbert-Style Axiomatization for Hybrid XPath with Data, Unnamed Item

Uses Software

• Prover9
• Mace4
• XPath
• Waldmeister

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural properties of XPath fragments
• Dynamic algebras: Examples, constructions, applications
• An axiomatization for until and since over the reals without the IRR rule
• A completeness theorem for Kleene algebras and the algebra of regular events
• An equational axiomatization of dynamic negation and relational composition
• Solution of the Robbins problem
• Axiomatizing the logical core of XPath 2.0
• Modal frame correspondences and fixed-points
• Finite models constructed from canonical formulas
• Normal forms in modal logic
• Some modal aspects of XPath
• The complexity of query containment in expressive fragments of XPath 2.0
• Peirce Algebras and Boolean Modules
• Theory Is Forever