From a Passive to an Active Database Supporting Exceptions

This paper presents a mechanism to enforce consistency in object oriented DBMS using pre-conditions and post-conditions on methods. Thi