Denotational Semantics for an Active Rule Execution Model.

Thierry Coupaye Christine Collet

Published in: Rules in Database Systems (1995)

Keyphrases

execution model
active rules
active databases
integrity constraints
programming language
deductive databases
object oriented databases
operational semantics
databases
control flow
business rules
spatial objects
transaction management
temporal databases
spatial information
high level
data mining
database