ractice a Formal od to Verify Properties of Active Rules writing Logic
暂无分享,去创建一个
[1] Pierre Lescanne. Termination of Rewrite Systems by Elementary Interpretations , 1992, ALP.
[2] C. Kirchner,et al. Conditional Concurrent Rewriting , 1996 .
[3] José Meseguer,et al. A logical theory of concurrent objects , 1990, OOPSLA/ECOOP '90.
[4] Jorge Lobo,et al. Semantics for update rule programs and implementation in a relational database management system , 1996, TODS.
[5] Jennifer Widom,et al. Set-oriented production rules in relational database systems , 1990, SIGMOD '90.
[6] Jennifer Widom,et al. Static analysis techniques for predicting the behavior of active database rules , 1995, TODS.
[7] Marian Vittek. Elan : un cadre logique pour le prototypage de langages de programmation avec contraintes , 1994 .
[8] Nachum Dershowitz,et al. Orderings for term-rewriting systems , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[9] Jennifer Widom,et al. Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.
[10] Danilo Montesi,et al. A Rewriting Technique for Implementing Active Object Systems , 1994, ISOOMS.
[11] Umeshwar Dayal,et al. The architecture of an active database management system , 1989, SIGMOD '89.
[12] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.
[13] Maguelonne Teisseire,et al. Towards Event-Driven Modelling for Database Design , 1994, VLDB.
[14] Susan Darling Urban,et al. Refined triggering graphs: a logic-based approach to termination analysis in an active object-oriented database , 1996, Proceedings of the Twelfth International Conference on Data Engineering.
[15] Susan Darling Urban,et al. Conditional term rewriting as a formal basis for analysis of active database rules , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.