Logique typée at DATALOG.

Published in: BDA (1987)

Keyphrases

expressive power
deductive databases
query answering
query language
datalog programs
integrity constraints
logic programming
transitive closure
ontology based data access
database languages
relational query languages
machine learning
recursive programs
data complexity
np complete
dl programs
special case