This book describes rules for active database systems. It details methodologies, formal specifications, rule analysis, performance analysis, support tools, applications, implementation of active rules in commercial systems and future directions for research.
Norman W. Paton
DBMS algorithms architectures classification database database management database system formal specification performance