A New Execution Model for the logic of hereditary Harrop formulas.

Published in: CoRR (2015)

Keyphrases

execution model
active rules
transaction management
active databases
logic programming
integrity constraints
object oriented databases
database systems
control flow
databases
data mining
logic programs
database technology
query plan