Non-Deterministic Choice in Datalog.

Ravi Krishnamurthy Shamim A. Naqvi

Published in: JCDKB (1988)

Keyphrases

database languages
expressive power
query language
deductive databases
logic programming
query answering
randomized algorithms
datalog programs
integrity constraints
existentially quantified
relaxation algorithm
data complexity
data sets
computational complexity
search engine
genetic algorithm
databases