Generating Active Rules from High-Level Specifications.

Oscar Díaz Suzanne M. Embury

Published in: BNCOD (1992)

Keyphrases

active rules
high level specifications
termination analysis
active databases
integrity constraints
deductive databases
object oriented databases
database schema
abstract interpretation
database
business rules
data exchange
programming language
fine grained
temporal databases