Hypothetical Datalog: Complexity and Expressibility.

Anthony J. Bonner

Published in: Theor. Comput. Sci. (1990)

Keyphrases

expressive power
integrity constraints
space complexity
computational cost
query answering
worst case
logic programming
database
data sets
neural network
genetic algorithm
social networks
database systems
image sequences
sufficient conditions
transitive closure