Sciweavers

PODS
2009
ACM
122views Database» more  PODS 2009»
15 years 1 months ago
Satisfiability of downward XPath with data equality tests
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...
Diego Figueira