Axiomatizations for downward XPath on data trees

作者：

Highlights：

• We give a sound and complete axiomatization for XPath over data trees.

• Our axiomatization applies both for node expressions and path expressions.

• We prove a normal form theorem for node expressions and path expressions.

摘要

•We give a sound and complete axiomatization for XPath over data trees.•Our axiomatization applies both for node expressions and path expressions.•We prove a normal form theorem for node expressions and path expressions.

论文关键词：XPath,XML,Data tree,Axiomatization,Normal form,Modal logic,Query language

论文评审过程：Received 9 May 2016, Revised 7 March 2017, Accepted 18 May 2017, Available online 13 June 2017, Version of Record 7 August 2017.

论文官网地址：https://doi.org/10.1016/j.jcss.2017.05.008