Richard J. Waldinger Xiaolei Qian ACM SIGMOD Conference 1988 17 3 243 250 We introduce a logical formalism for the specification of the dynamic behavior of databases. The evolution of databases is characterized by both the dynamic integrity constraints which describe the properties of state transitions and the transactions whos