Author:
Balaban Mira,Jurk Steffen
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. 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.
2. E.W. Dijkstra and C. S. Scholten. Predicate calculus and program semantics. Springer-Verlag, Texts and Monographs in Computer Science, 1989.
3. K. D. Schewe and B. Thalheim. Consistency Enforcement in Active Databases. pages 71–76. IEEE Computer Society Press, 1994.
4. K. D. Schewe and B. Thalheim. Limitations of Rule Triggering Systems for Integrity Maintenance in the context of Transition Specifications. Acta Cybernetica, 1998.
5. C. Larmann. Applying UML and Patterns. Prentice-Hall, 1998.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics and Pragmatics of Integrity Constraints;Semantics in Data and Knowledge Bases;2013
2. Towards Effect Preservation of Updates with Loops;IFIP Advances in Information and Communication Technology;2003