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

Yanhong A. Liu Scott D. Stoller

Published in: PPDP (2003)

Keyphrases

space time
search space
expressive power
query language
space requirements
computationally expensive
cost effective
normal logic programs
answer sets
deductive databases
query answering
classification rules
databases
decision rules
low dimensional
description logics
object oriented
learning algorithm