Integrity Constraints in an Active Database Environment

Abstract

This chapter surveys the interaction between active rules and integrity constraints. First, we analyze the static case following the SQL-1999 Standard Committee point of view which, up to date, represents the state of the art. Then, we consider the case of dynamic constraints for which we use a temporal logic formalism. Finally, we discuss the applicability, limitations and partial solutions found when attempting to ensure the satisfaction of dynamic constraints.