Abstract
In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we prese......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
