This article presents a system for maintaining static integrity constraints in data bases that uses the active data base paradigm. This system has been added to an active version of the O2 object-oriented data base system, and it is fully functional. Constraints, specified by the user in a fist-order logic language, are transformed into production rules, which are stored in the data base. These rules are used to maintain the corresponding set of constraints for all applications that use the data base. We extend previous work on constraint maintenance in two ways: our system can be used as a constraint maintenance layer on top of object-oriented, relational, and nested relational data bases, and for object-oriented systems, we provide constraint support not only in the case of object composition, but also consider inheritance and methods. © 1994.273171181Adiba, Collet, Coupaye, Habraken, Machado, Martin, Roncancio, Trigger Systems: Different Approaches (1993) Technical Report Aristote-SUR007, , Laboratoire de Génie Informatique, IMAG, Grenoble, FranceAndrade, Manutenção de Restrições de Integridade em Bancos de Dados Orientados a Objetos (1992) Master's Thesis, , Department of Computer Science, UNICAMP, CampinasAiken, Widom, Hellerstein, Behavior of Database Production Rules: Termination, Confluence and Observable Determinism (1992) Technical Report FJ8562, , IBM, AlmadenBuchmann, Branding, Kudrass, Zimmermann, REACH—A REal-Time, ACtive and Heterogeneous Mediator System (1992) IEEE Bull. TC Data Eng., 15, pp. 44-47Beeri, Formal models for object-oriented databases (1989) Proceedings of the 1st International Conference on Deductive and Object-Oriented Databases, pp. 370-395Borgida, Language Features For Flexible Handling of Exceptions in Information Systems (1985) ACM TODS, 10, pp. 565-603Chakravarthy, Blaustein, Buchmann, Carey, Dayal, Goldhirsch, Hsu, Rosenthal, HiPAC: A Research Project in Active, Time-Constrained Database Management (1989) Technical Report XAIT-89-02, , Xerox Advanced Information TechnologyChakravarthy, Special Issue—Active Databases (1992) IEEE Bull. Data Eng.Ceri, Widom, Deriving production rules for constraint maintenance (1990) Proceedings of the 16th VLDB, pp. 566-577Ceri, Widom, Deriving production rules for incremental view maintenance (1991) Proceedings of the 17th VLDB, pp. 577-589Ceri, Widom, Managing Semantic Heterogeneity with Production Rules and Persistent Queues (1992) Technical Report RJ9064, , IBM AlmadenDeux, The Story of O2 (1990) IEEE Trans. Knowl. Data Eng., 2, pp. 91-108Dayal, Buchmann, McCarthy, Rules are objects too: A knowledge model for an active, object oriented database system (1988) Lecture Notes in Computer Science, 334, pp. 129-143. , Springer VerlagDayal, Hsu, Ladin, A transactional model for long-running activities (1991) Proceedings of the 17th VLDB, pp. 113-122Diaz, Paton, Gray, Rule management in object-oriented databases: A uniform approach (1991) Proceedings of the 17th VLDB, pp. 317-326Gehani, Jagadish, Shmueli, Composite event specification in active databases: Model and implementation (1992) Proceedings of 18th VLDB, pp. 327-338Gehani, Jagadish, Shumueli, Event specification in an active object-oriented database (1992) ACM SIGMOD Record, pp. 81-90Hanson, Rule condition testing and action execution in Ariel (1992) ACM SIGMOD Record, pp. 49-58Hanson, Widom, An Overview of Production Rules in Database Systems (1992) Technical Report RJ9023, , IBM AlmadenKotz, Dittrich, Mulle, Supporting semantic rules by a generalized event/trigger mechanism (1988) Proceedings of the 1st EDBT, pp. 76-91McCarthy, Dayal, The architecture of an active database management system (1989) ACM SIGMOD Record, pp. 215-224Morgenstern, Constraint equations: Declarative expression of constraints with automatic enforcement (1984) Proceedings of the 10th VLDB, pp. 291-300Medeiros, Pfeffer, A Mechanism for Managing Rules in an Object-Oriented Database (1991) Technical Report, , GIP-ALTAIR, ParisMedeiros, Pfeffer, Object integrity using rules (1991) Proceedings of the European Conference on Object-Oriented Programming, pp. 219-230Nassif, Qiu, Zhu, Extending the object-oriented paradigm to support relationships and constraints (1990) NeurologyRosenthal, Chakravarthy, Blaustein, Blakeley, Situation monitoring for active databases (1989) Proceedings of the 15th VLDBRisch, Monitoring database objects (1989) Proceedings of the 15th VLDB, pp. 445-453Schiel, Carvalho, TOM-Rules: A uniform and flexible approach to events, constraints and derived information (1993) Proceedings of the 8th Brazilian Database Conference, pp. 373-383Stonebraker, Jhingran, Goh, Potamianos, On rules procedures caching and views in database systems (1990) ACM SIGMOD Record, pp. 281-290Schreier, Pirahesh, Agrawal, Mohan, Alert: An architecture for transforming a passive DBMS into an active DBMS (1991) Proceedings of the 17th VLDB, pp. 469-478Segev, Zhao, Data management for large rule systems (1991) Proceedings of the 17th VLDB, pp. 297-307Urban, Delcambre, Constraint analysis for specifying perspectives of class objects (1989) Proceedings of the 5th IEEE Conference on Data Engineering, pp. 10-17Urban, Desiderio, Translating constraints to rules in CONTEXT: A CONstrainT Explanation Tool (1990) Proceedings of the IFIP Conference on Object Oriented Database Systems—Analysis, Design and ConstructionUrban, Karadimce, Nannapaneni, The implementation and evaluation of integrity maintenance rules in an object-oriented database (1992) Proceedings of the IEEE Data Engineering Conference, pp. 565-572Wuu, Dayal, A uniform model for temporal object-oriented databases (1992) Proceedings of the IEEE Data Engineering Conference, pp. 584-593Widom, Finkelstein, Set oriented production rules in relational database systems (1990) ACM SIGMOD Record, pp. 259-270