From datalog rules to efficient programs with time and space guarantees.

Yanhong A. Liu Scott D. Stoller

Published in: ACM Trans. Program. Lang. Syst. (2009)

Keyphrases

search space
computationally efficient
expressive power
space requirements
database languages
dl programs
data mining
genetic algorithm
video sequences
query language
space time
computationally expensive
deductive databases
answer sets