A Single Recursive Predicate is Sufficient for Pure Datalog

Published in: Inf. Comput. (1995)

Keyphrases

datalog programs
deductive databases
expressive power
query language
first order logic
query answering
computer vision
knowledge base
case study
high level
natural language
description logics
integrity constraints
transitive closure
recursive queries