Restricted Predicates for Hypothetical Datalog.

Fernando Sáenz-Pérez

Published in: PROLE (2015)

Keyphrases

datalog programs
predicate invention
deductive databases
expressive power
query answering
query language
user defined
inductive logic programming
transitive closure
integrity constraints
database
artificial intelligence
logic programming
relational query languages
existentially quantified
data model
neural network