131
Voted
ICDT
2010
ACM
16 years 29 days ago
2010
ACM
It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a secondorder tgd (SO tgd). We consider the question of...
116
Voted
ICDT
2010
ACM
16 years 29 days ago
2010
ACM
243
click to vote
ICDT
2010
ACM
16 years 29 days ago
2010
ACM
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...