On the decidability of the termination problem of active database systems.

James Bailey Guozhu Dong Kotagiri Ramamohanarao

Published in: Theor. Comput. Sci. (2004)

Keyphrases

active database systems
active rules
active databases
type checking
eca rules
description logics
integrity constraints
deductive databases
object oriented databases
business rules
database
object model
control flow
data streams
data types