77 search results - page 16 / 16 » Conjunctive Query Answering in SH using Knots |
LPAR
2004
Springer
13 years 11 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. ...
ICDT
2010
ACM
14 years 3 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...