Horn Clauses and the Fixpoint Query Hierarchy.

Ashok K. Chandra David Harel

Published in: PODS (1982)

Keyphrases

horn clauses
fixpoint
database queries
recursive queries
logic programs
first order logic
inference rules
inductive logic programming
database
datalog programs
query processing
stable models
query evaluation
deductive databases
co occurrence
machine learning
data exchange
text classification
natural language
keywords