77 search results - page 16 / 16 » Conjunctive Query Answering in SH using Knots |
133
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
111
click to vote
ICDT
2010
ACM
15 years 11 months 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...