Complete axiomatizations for XPath fragments

DOI10.1016/J.JAL.2009.09.002zbMATH Open1192.68223OpenAlexW1992942833MaRDI QIDQ975868FDOQ975868

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

Recommendations

• Axiomatizing the logical core of XPath 2.0
• Containment and equivalence for a fragment of XPath
• scientific article; zbMATH DE number 7407777
• The complexity of query containment in expressive fragments of XPath 2.0
• Hilbert-style axiomatization for hybrid XPath with data
• Axiomatizations for downward XPath on data trees
• scientific article; zbMATH DE number 1953139
• Structural properties of XPath fragments
• scientific article; zbMATH DE number 1953125

zbMATH Keywords

XMLmodal logicaxiomatizationquery rewritingXPath

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (12)

• Containment and equivalence for a fragment of XPath
• Structural properties of XPath fragments
• On regular paths with counting and data tests
• Axiomatizing the logical core of XPath 2.0
• Axiomatizations for downward XPath on data trees
• Structural characterizations of the navigational expressiveness of relation algebras on a tree
• Hilbert-Style Axiomatization for Hybrid XPath with Data
• An algebraic glimpse at bunched implications and separation logic
• Some modal aspects of XPath
• Data graphs with incomplete information (and a way to complete them)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Prover9
• Mace4
• XPath
• Waldmeister

This page was built for publication: Complete axiomatizations for XPath fragments

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