Monotone Recursive Definition of Predicates and Its Realizability Interpretation.

Published in: TACS (1991)

Keyphrases

datalog programs
monotonicity constraints
high level
upper bound
image interpretation
recursive algorithm
neural network
website
data model
recursive queries
case study
logic programs
user defined
query answering
deductive databases