Complete axiomatizations for XPath fragments
type: Item
instance of: scholarly article
title: Complete axiomatizations for XPath fragments
zbMATH Open document ID: 1192.68223
author: Balder ten Cate
author: Tadeusz Litak
author: Maarten Marx
published in: Journal of Applied Logic
publication date: 2010-06-11T00:00:00Z
full work available at URL: complete-axiomatizations-for-xpath-fragments(9fb0374c-fa2d-4797-8c83-6a73acea6ecd).html
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5720205
zbMATH Keywords: XML
zbMATH Keywords: XPath
zbMATH Keywords: query rewriting
zbMATH Keywords: axiomatization
zbMATH Keywords: modal logic
describes a project that uses: Prover9
describes a project that uses: XPath
describes a project that uses: Mace4
describes a project that uses: Waldmeister
MaRDI profile type: Publication
OpenAlex ID: W1992942833
cites work: Structural properties of XPath fragments
cites work: Modal logic
cites work: Theory Is Forever
cites work: Normal forms in modal logic
cites work: Q3773852
cites work: Peirce Algebras and Boolean Modules
cites work: An equational axiomatization of dynamic negation and relational composition
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Solution of the Robbins problem
cites work: Finite models constructed from canonical formulas
cites work: Dynamic algebras: Examples, constructions, applications
cites work: An axiomatization for until and since over the reals without the IRR rule
cites work: Q4040000
cites work: Some modal aspects of XPath
cites work: The complexity of query containment in expressive fragments of XPath 2.0
cites work: Axiomatizing the logical core of XPath 2.0
cites work: Q3122692
cites work: Modal frame correspondences and fixed-points
cites work: Q4833779
cites work: Q4349279
DOI: 10.1016/J.JAL.2009.09.002
Recommended article: Axiomatizing the logical core of XPath 2.0
Recommended article: Containment and equivalence for a fragment of XPath
Recommended article: Q5155666
Recommended article: The complexity of query containment in expressive fragments of XPath 2.0
Recommended article: Hilbert-Style Axiomatization for Hybrid XPath with Data
Recommended article: Axiomatizations for downward XPath on data trees
Recommended article: Q4414543
Recommended article: Structural properties of XPath fragments
Recommended article: Q4414527
description: scientific article; zbMATH DE number 5720205