M. Balaban and P. Shoval. EER as an active conceptual schema on top of a database schema-object-oriented as an example. Technical report, Information Systems Program, Department of industrial Engineering and Management, Ben-Gurion University of the Negev, ISRAEL, 1999.
Mira Balaban and Steffen Jurk. The ACS Approach for Integrity Enforcement. Technical report, Ben Gurion University of the Negev, April 2000.
E. Baralis and J. Widom. An algebraic approach to static analysis of active database rules. In ACM Transactions on Database Systems
, volume 25(3), pages 269–332, September 2000.CrossRefGoogle Scholar
Steffen Jurk. The active consistent specializations approach for consistency enforcement. Master’s thesis, Dept. of Computer Science, Cottbus Technical University, Germany, 2000.
M. Lenzerini and P. Nobili. On the satisfiability of dependency constraints in entity-relationship schemata. Information Systems
, 15(4):453–461, 1990.CrossRefGoogle Scholar
E. Mayol and Ernest Teniete. A survey of current methods for integrity constraint maintenance and view updating. In Chen, Embley, Kouloumdjian, Liddle, Roddick, editor, Intl. Conf. on Entity-Relationship Approach
, volume 1727 of Lecture Notes in Computer Science
, pages 62–73, 1999.Google Scholar
E. Mayol, E. Teniente. Structuring the process of integrity maintenance. In Proc. 8th Conf. on Database and Expert Systems Applications, pages 262–275, 1997.
E. Mayol, E. Teniente. Addressing efficiency issues during the process of integrity maintenance. In Proc. 10th Conf. on Database and Expert Systems Applications, pages 270–281, 1999.
F. Bry. Intensional updates: Abduction via deduction. In Proc. 7th Conf. on Logi Programming, 1990.
F. Bry, H. Decker, R. Manthey. A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. Proceedings of Extending Database Technology, pages 488–505, 1988.
H. Decker. Integrity enforcements on deductive databases. Proceedings of the 1st International Conference on Expert Database Systems, pages 271–285, 1986.
M. Celma, H. Decker. Integrity checking in deductive databases. the ultimate method? Proceedings of 5th Australiasian Database Conference, pages 136–146, 1995.
S.K. Das, M.H. Wiliams. A path finding method for constraint checking in deductive databases. Data and Knowledge Engineering 3, pages 223–244, 1989.
S.Y. Lee, T.W. Ling. Further improvement on integrity constraint checking for stratisfiable deductive databases. In Proc. 22th Conf. on VLDB, pages 495–505, 1996.
K.D. Schewe and B. Thalheim. Limitations of rule triggering systems for integrity maintenance in the context of transition specifications. Acta Cybernetica
, 13:277–304, 1998.MATHMathSciNetGoogle Scholar
K.D. Schewe and B. Thalheim. Towards a theory of consistency enforcement. Acta Informatics
, 36:97–141, 1999.MATHCrossRefMathSciNetGoogle Scholar
van der Voort and A. Siebes. Termination and confluence of rule execution. In In Proceedings of the Second International Conference on Information and Knowledge Management, November 1993.
J. Widom and S. Ceri. Deriving production rules for constraint maintenance. In Proc. 16th Conf. on VLDB, pages 566–577, 1990.
J. Widom and S. Ceri. Active Database Systems. Morgan Kaufmann, 1996.