Complete axiomatizations for XPath fragments
Journal of Applied Logic(2010)
摘要
We provide complete axiomatizations for several fragments of Core XPath, the navigational core of XPath 1.0 introduced by Gottlob, Koch and Pichler. A complete axiomatization for a given fragment is a set of equivalences from which every other valid equivalence is derivable; equivalences can be thought of as (undirected) rewrite rules. Specifically, we axiomatize single axis fragments of Core XPath as well as full Core XPath. Our completeness proofs use results and techniques from modal logic.
更多查看译文
关键词
XML,XPath,Query rewriting,Axiomatization,Modal logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络