Horn Clauses Queries and Generalizations.

Ashok K. Chandra David Harel

Published in: J. Log. Program. (1985)

Keyphrases

horn clauses
database queries
conceptual clustering
query processing
first order logic
inference rules
query language
inductive logic programming
database
logic programs
query evaluation
search engine
relational databases
low level
web search engines
user queries