Logical update queries as open nested transactions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1773, Issue , 2000, Pages 45-66

  Fent, Alfred ^a   Wichert, Carl Alexander ^a   Freitag, Burkhard ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; XML;

COMPLEX OPERATIONS; EVALUATION STRATEGIES; FLEXIBLE SYSTEM ARCHITECTURE; LEVEL COMPENSATION; LOGICAL SEMANTICS; NESTED TRANSACTIONS; OPERATIONAL MODEL; TRANSACTION PROCESSING;

DATABASE SYSTEMS;

EID: 84943238363     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46466-2_3     Document Type: Conference Paper

References (19)

1. C. Beeri, P. Bernstein, and N. Goodman. A Model for Concurrency in Nested Transaction Systems. Journal of the ACM, 36(2):230-269, 1989.
2. P. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
3. P. A. Bernstein and E. Newcomer. Principles of Transaction Processing. Morgan Kaufmann, 1997.
4. A. J. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Computer Science, 133(2):205-265, 1994.
5. A. J. Bonner and M. Kifer. Concurrency and Communication in Transaction Logic. In M. J. Maher, editor, Proc. Joint Int. Conf. and Symp. on Logic Programming (JICSLP '96), Bonn, Germany, pages 142-156, MIT Press, 1996.
6. W. Chen. Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. IEEE Transactions on Knowledge and Data Engineering, 9(4):587-599, 1997.
7. C. J. Date. A Guide to the SQL Standard. Addison-Wesley, 1997.
8. U. Dayal, A. P. Buchmann, and S. Chakravarthy. The HiPAC Project. In J. Widom and S. Ceri, editors, Active Database Systems | Triggers and Rules for Advanced Database Processing, chapter 7, pages 177-206, Morgan Kaufmann, 1996.
9. H. Hasse. A Unified Theory of Concurrency Control and Recovery of Database Transactions, Dissertationen zu Datenbanken und Informationssystemen, Vol. 13. inx-Verlag, Sankt Augustin, 1996. (In German).
10. H. F. Korth, E. Levy, and A. Silberschatz. A Formal Approach to Recovery by Compensating Transactions. In V. Kumar and M. Hsu, editors, Recovery Mechanisms in Database Systems, chapter 15, pages 444-465, Prentice Hall, 1998.
11. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2 edition, 1987.
12. N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic Transactions. Morgan Kaufmann, 1994.
13. D. Montesi, E. Bertino, and M. Martelli. Transactions and Updates in Deductive Databases. IEEE Transactions on Knowledge and Data Engineering, 9(5):784-797, 1997.
14. J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, 1985.
15. R. Vingralek, H. Hasse-Ye, Y. Breitbart, and H. J. Schek. Unifying Concurrency Control and Recovery of Transactions with Semantically Rich Operations. Theoretical Computer Science, 190(2):363-396, 1998.
16. G. Weikum and H.-J. Schek. Concepts and Applications of Multi-level Transactions and Open Nested Transactions. In A. K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, chapter 13, pages 515-553, Morgan Kaufmann Publishers, 1992.
17. C. A. Wichert, A. Fent, and B. Freitag. How to Execute ULTRA Transactions. In Proc. 13th Workshop on Logic Programming (WLP '98), October 6-8, 1998, Vienna, Austria, pages 96-105, 1998. Full version also available as Technical Report MIP-9812, University of Passau, at http://daisy.fmi.uni-passau.de/publications/.
18. C. A. Wichert and B. Freitag. Capturing Database Dynamics by Deferred Updates. In Proc. of the 1997 Int. Conf. on Logic Programming (ICLP '97). July 8-12, 1997, Leuven, Belgium, pages 226-240, MIT Press, 1997.
19. C. A. Wichert, B. Freitag, and A. Fent. Logical Transactions and Serializability. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases, pages 134-165, Lecture Notes in Computer Science, Vol. 1472, Springer-Verlag, 1998. Full version also available as Technical Report MIP-9807, University of Passau, at http://daisy.fmi.uni-passau.de/publications/.