Axiomatizations for downward XPath on data trees

Abriola, S; Descotte, ME; Fervari, R; Figueira, S

Figueira, S (reprint author), Univ Buenos Aires, Dept Comp, FCEN, Buenos Aires, DF, Argentina.; Figueira, S (reprint author), Consejo Nacl Invest Cient & Tecn, ICC, Buenos Aires, DF, Argentina.

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017; 89 ( ): 209

Abstract

We give sound and complete axiomatizations for XPath with data tests by 'equality' or 'Inequality', and containing the single 'child' axis. This data-......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索