Literaturverzeichnis

ACL85

Rakesh Agrawal, Michael J. Carey, and Miron Livny. Models for studying concurrency control performance: Alternatives and implications. In Proceedings of the ACM SIGMOD International Conference on the Managment of Data, pages 108--119. ACM Press, 1985.

AE92

D. Agrawal and A. El Abbadi. Transaction management in database systems. In Elmagarmid [Elm92], chapter 1.

And91

Gregory R. Andrews. Paradigms for process interaction in distributed programs. ACM Computing Surveys, 23(1):49--90, March 1991.

ASU86

Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison--Wesley, Reading, Mass., 1986.
Das sogenannte 'Dragonbook'.

BBH89

Michael L. Brodie, Francois Bancilhon, Craig Harris, Michael Kifer, Yoshifumi Masunaga, Earl D. Sacerdoti, and Katsumi Tanaka. Next generation database managment systems technology. In Won Kim, Jean-Marie Nicolas, and Shojiro Nishio, editors, Deductive and Object--Oriented Databases; Procceedings of the First International Conference on Deductive and Object--Oriented Databases, pages 335--345. North--Holland, 1989.

BHG87

P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, Mass., 1987.

BK91

Naser S. Barghouti and Gail E. Kaiser. Concurrency control in advanced database applications. ACM Computing Surveys, 23(3):269--317, September 1991.

BKK85

Francois Bancilhon, Won Kim, and Henry F. Korth. A model of cad transactions. In Proceedings of the International Conference on Very Large Data Bases, pages 25--33, Stockholm, August 1985. Morgan Kaufmann.

BSW88

C. Beeri, H.-J. Schek, and G. Weikum. Multi--level transaction managment: Theoretical art or practical need? In International Conference on Extending Database Technology, pages 134--154, 1988.

CGT90

S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer--Verlag, Berlin Heidelberg, 1990.

CHM92

Vinay K. Chaudhri, Vassos Hadzilacos, and John Mylopoulos. Concurrency control for knowledge bases. In Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass., 1992. Morgan Kaufmann Publishers.

Cod70

E. F. Codd. A relational model of data for large shared data banks. Comunications of the ACM, 13(6), June 1970.

CR92

Panos K. Chrysanthis and Krithi Ramamritham. ACTA: The SAGA continues. In Elmagarmid [Elm92], chapter 10.

Dat90

C. J. Date. An Introduction to Database Systems, volume I. Addison--Wesley, Reading, Massachusetts, fünfte edition, 1990.

EG89

C. A. Ellis and S. J. Gibbs. Concurrency control in groupware systems. In Proceedings of the ACM SIGMOD International Conference on the Managment of Data, pages 399--407. ACM Press, 1989.

Ehe93

Stefan Eherer. Eine Software--Umgebung für die kooperative Erstellung von Hypertexten. Dissertation, RWTH Aachen, Dezember 1993.

Elm92

Ahmed K. Elmagarmid, editor. Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Mateo, California, 1992.

ELMB92

Ahmed K. Elmagarmid, Yungho Leu, James G. Mullen, and Omran Bukhres. Introduction to advanced transaction models. In Elmagarmid [Elm92], chapter 2.

FO89

A. A. Farrag and M. T. Ozso. Using semantic knowledge of transactions to increase concurrency. ACM Transactions on Database Systems, 14(4):503--525, 1989.

Gal90

Rainer Gallersdörfer. Realisierung einer deduktiven Objektbank durch abstrakte Datentypen. Diplomarbeit, Universität Passau, Dezember 1990.

Geb92

Michael Gebhardt. Transaktionen in objektorientierten Datenbanken. In Seminar Transaktionskonzepte. Lehrstuhl für Informatik V, RWTH Aachen, SS 1992.

GM78

H. Gallaire and J. Minker. Logic and Databases. Plenum Press, New York, 1978.

GMS87

H. Garcia-Molina and K. Salem. Sagas. In Proceedings of the ACM SIGMOD International Conference on the Managment of Data. ACM Press, May 1987.

Gos91

A. Goscinski. Distributed Operating Systems: The Logical Design. Addison--Wesley, 1991.

GR93

Jim Gray and Andreas Reuter. Transaction Processing: Concepts & Techniques. Morgan Kaufmann, San Mateo,Cal., 1993.

Gra81

J. N. Gray. The transaction concept: Virtues and limitations. In Proceedings of the International Conference on Very Large Data Bases, pages 144--154. Morgan Kaufmann, 1981.

Her90

Maurice Herlihy. Apologizing versus asking permission: Optimistic concurrency control for abstract data types. ACM Transactions on Database Systems, 15(1):96--124, March 1990.

HR83

T. Härder and A. Reuter. Principles of transaction--oriented database recovery. ACM Computing Surveys, 15(4):287--317, December 1983.

Jar91

Matthias Jarke. Skript zur Vorlesung ,,Anfrageauswertung in Datenbanken``. Lehrstuhl Informatik V, RWTH--Aachen, WS 1991.

Jar92

Matthias Jarke, Ed. ConceptBase V3.1 User Manual. Aachener Informatik Berichte 92-17, Fachgruppe Informatik, RWTH Aachen, 1992.

Jar93

Matthias Jarke, editor. Database application engineering with DAIDA. Springer--Verlag, 1993.

JEG93

Matthias Jarke, Stefan Eherer, Rainer Gallersdörfer, Manfred A. Jeusfeld, and Martin Staudt. ConceptBase -- a deductive object base manager. Aachener Informatik--Berichte 93-13, Fachgruppe Informatik, RWTH Aachen, 52056 Aachen, Deutschland, October 1993.

Jeu92

Manfred A. Jeusfeld. Änderungskontrolle in deduktiven Objektbanken. Infix--Verlag, St. Augustin, Deutschland, 1992.

JS93

Matthias Jarke and Martin Staudt. An application perspective to deductive object bases. In Proceedings of the Workshop on Combining Declarative and Object--Oriebted Databases. ACM Press, May 1993.

Kem91

Alfons Kemper. Skript zur Vorlesung ,,Implementierung von Datenbanksystemen``. Lehrstuhl Informatik III, RWTH--Aachen, WS 1991.

KLS90

Henry F. Korth, Eliezer Levy, and Abraham Silberschatz. A formal approach to recovery by compensating transactions. In Proceedings of the International Conference on Very Large Data Bases, pages 95--106, Brisbane, Australia, 1990. Morgan Kaufmann.

KM92

Alfons Kemper and Guido Moerkotte. Object--Oriented Information Management for Engineering Applications. Prentice--Hall, 1992.

KMSJ88

M. Koubarakis, J. Mylopoulos, M. Stanley, and M. Jarke. Telos: A knowledge representation language for requirements modeling''. Technical report, University of Toronto, Canada, 1988.

KP92

Gail E. Kaiser and Calton Pu. Dynamic restructuring of transactions. In Elmagarmid [Elm92], chapter 8.

KS88

H. F. Korth and G. Speegle. Formal model of correctness without serializability. In Proceedings of the ACM SIGMOD International Conference on the Managment of Data, pages 379--388, Chicago, June 1988.

LS87

P. C. Lockmann and J. W. Schmidt, editors. Datenbank--Handbuch. Springer, Berlin, Hamburg, 1987.

MBJK90

John Mylopoulos, Alex Borgida, Matthias Jarke, and Manolis Koubarakis. Telos: Representing knowledge about information systems. ACM Transaction on Information Systems, 8(4):325--362, October 1990.

Mey88

Bertrand Meyer, editor. Object--Oriented Software Construction. Prentice--Hall, 1988.

ML91

Guido Moerkotte and Peter C. Lockemann. Reactive consistency control in deductive databases. ACM Transactions on Database Systems, 16(4):670--702, December 1991.

Mos85

J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, Mass., 1985.

NRZ92

Marian H. Nodine, Sridhar Ramaswany, and Stanley B. Zdonik. A cooperative transaction model for design databases. In Elmagarmid [Elm92], chapter 3.

O'N86

P. E. O'Neil. The escrow transactional method. ACM Transactions on Database Systems, 11(4):405--430, 1986.

Pap86

Christos Papadimitriou. The Theory of Database Concurrency Control. Computer Science Press, 1986.

Püt92

Hubertus Pützer. Realisierung eines Objektspeichers für die Wissensrepräsentationssprache Telos. Diplomarbeitsproposal, 1992.

Püt93

Hubertus Pützer. Entwurf und Realisierung eines Objektspeichers für die Wissensrepräsentationssprache Telos. Diplomarbeit, RWTH--Aachen, 1993.

RD91

Nick Roussopoulos and Alexis Delis. Modern Client-Server DBMS Architectures. SIGMOD Record, 20(3):52--61, September 1991.

Ree78

D. Reed. Naming and synchronization in a decentralized computer system. Ph.D. thesis; Tech report 205, MIT Laboratory of Computer Science, 1978.

RJM92

T. Rose, M. Jarke, and J. Mylopoulos. Organizing software repositories --- modeling requirements and implementation experiences. In Proc. 16th Intl. Computer Software & Applications Conference, Chicago, September 1992.

RL93

B. Ramesh and Luqi. Process knowledge based rapid prototyping for requirements engineering. In Proceedings of IEEE Intl. Symposium on Requirements Engineering, San Diego, Ca., January 1993.

RMB93

Rajeev Rastogi, Sharad Mehrotra, Yuri Breitbart, Henry F. Korth, and Avi Silberschatz. On correctness of non--serializable executions. In Proceedings of the Principles of Database Systems Conference, pages 97--108. ACM Press, 1993.

Rös91

Karl Rösch. Entwurf eines Kooperationsmodells und eines darauf basierenden Korrektheitskriteriums für kooperative Transaktionssysteme im Datenbankbereich. Diplomarbeit, Universität Karlsruhe; Lehrstuhl P. C. Lockemann, September 1991.

SK80

Abraham Silberschatz and Zvi Kedem. Consistency in hierarchical database systems. Journal of the ACM, 27(1):72--80, 1980.

Ska89

Andrea H. Skarra. Concurrency control for cooperating transactions in an object-oriented database. SIGPLAN Notices, 24(4), April 1989.

Sun91

Sun Microsystems, Inc., Mountain View, CA, USA. Network Software Environment 1.3: Overview and Tutorial, 1991.

Sun93a

SunSoft, Mountain View, CA, USA. SunOS 5.2: Guide to Multi--Thread Programming, 1st edition, May 1993.

Sun93b

SunSoft, Mountain View, CA, USA. SunOS 5.2: Network Interfaces Programmer's Guide, 1st edition, May 1993.

Tan92

Andrew S. Tanenbaum. Modern Operating Systems. Prentice--Hall, Englewood Cliffs, New Jersey, 1992.

Thö92

H. J. Thönnissen. Entwurf und Implementierung einer Objektalgebra für ein deduktives Objektbanksystem. Diplomarbeit, RWTH Aachen, 1992.

Ull91

Jeffrey D. Ullman. A comparison between deductive and object--oriented database systems. In C. Delobel, M. Kifer, and Y. Masuraga, editors, Deductive and Object--Oriented Databases; Procceedings of the Second International Conference on Deductive and Object--Oriented Databases, number 566 in LNCS, pages 263--277. Springer Verlag, 1991.

Unl91

Rainer Unland. Topaz: A tool kit for the construction of application specific transaction managers. Technischer Bericht MIP-9113, Universität Passau, Fakultät für Mathematik und Informatik, October 1991.

US92

Rainer Unland and Gunter Schlageter. A transaction manager development facility for non standard database systems. In Elmagarmid [Elm92], chapter 11.
Mehr oder weniger eine gekürzte Fassung von [Unl91].

VGH93

Gottfried Vossen and Magret Groß-Hardt. Grundlagen der Transaktionsverarbeitung. Addison--Wesley, Bonn, 1993.

WA93

Man Hon Wong and Sivyakant Agrawal. Context--based synchronization: An approach beyond semantics for concurrency control. In Proceedings of the Principles of Database Systems Conference, pages 276--287. ACM Press, 1993.

Wei88

Gerhard Weikum. Transaktionen in Datenbanksystemen. Addison--Wesley, Bonn; Reading, Mass., 1988.

Wol92

Peter Wolks. Lange Transaktionen. In Seminar Transaktionskonzepte. Lehrstuhl für Informatik V, RWTH Aachen, SS 1992.

WR92

Helmut Wächter and Andreas Reuter. The ConTract model. In Elmagarmid [Elm92], chapter 7.

WS92

Gerhard Weikum and Hans-J. Schek. Concepts and applications of multilevel transactions and open nested transactions. In Elmagarmid [Elm92], chapter 13.

Yan82

M. Yannakakis. A theory of safe locking policies in database systems. Journal of the ACM, 29(3):718--740, 1982.