Safety of Recursive Horn Clauses With Function Symbols.

Raghu Ramakrishnan François Bancilhon Abraham Silberschatz

Published in: XP7.52 Workshop on Database Theory (1986)

Keyphrases

function symbols
horn clauses
first order logic
logic programs
inference rules
inductive logic programming
fixpoint
database queries
answer set programming
logic programming
normal form
background knowledge
databases
prior knowledge
knowledge representation
programming language
machine learning