The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.

Published in: ICLP (2005)

Keyphrases

answering queries
query answering
horn clause logic
query processing
first order logic
database
data exchange
representation language
knowledge base
materialized views
xml queries
domain knowledge
data management
decision support
logic programming