Long-Duration Transactions in Software Design Projects.

@inproceedings{DBLP:conf/icde/KorthS90,
  author    = {Henry F. Korth and
               Gregory D. Speegle},
  title     = {Long-Duration Transactions in Software Design Projects},
  booktitle = {Proceedings of the Sixth International Conference on Data Engineering,
               February 5-9, 1990, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1990},
  isbn      = {0-8186-2025-0},
  pages     = {568-574},
  ee        = {db/conf/icde/KorthS90.html},
  crossref  = {DBLP:conf/icde/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1990 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-6 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[1]

François Bancilhon, Won Kim, Henry F. Korth: A Model of CAD Transactions. VLDB 1985: 25-33 BibTeX

[2]

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A model for concurrency in nested transactions systems. J. ACM 36(2): 230-269(1989) BibTeX

[3]

Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX

[4]

Jeff Conklin, Michael L. Begeman: gIBIS: A Hypertext Tool for Exploratory Policy Discussion. ACM Trans. Inf. Syst. 6(4): 303-331(1988) BibTeX

[5]

Jeff Conklin, Michael L. Begeman: gIBIS: A Hypertext Tool for Team Design Deliberation. Hypertext 1987: 247-251 BibTeX

[6]

David Hung-Chang Du, Subbarao Ghanta: A Framework for Efficient IC/VLSI CAD Databases. ICDE 1987: 619-625 BibTeX

[7]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) BibTeX

[8]

...

[9]

...

[10]

...

[11]

...

[12]

Roger L. Haskin, Raymond A. Lorie: On Extending the Functions of a Relational Database System. SIGMOD Conference 1982: 207-212 BibTeX

[13]

...

[14]

...

[15]

Won Kim, Raymond A. Lorie, Dan McNabb, Wil Plouffe: A Transaction Mechanism for Engineering Design Databases. VLDB 1984: 355-362 BibTeX

[16]

...

[17]

Abraham Silberschatz, Henry F. Korth: Database System Concepts, 1st Edition. McGraw-Hill Book Company 1986, ISBN 0-07-100529-3
BibTeX

[18]

...

[19]

Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386 BibTeX

[20]

...

[21]

...

[22]

Christos H. Papadimitriou: The Theory of Database Concurrency Control. Computer Science Press 1986, ISBN 0-88175-027-1
BibTeX

[23]

Mihalis Yannakakis: A Theory of Safe Locking Policies in Database Systems. J. ACM 29(3): 718-740(1982) BibTeX

Referenced by

1. Sanjay Kumar Madria, Bharat K. Bhargava: System Defined Prewrites for Increasing Concurrency in Databases. ADBIS 1997: 18-22
2. Henry F. Korth, Gregory D. Speegle: Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model. ACM Trans. Database Syst. 19(3): 492-535(1994)
3. Naser S. Barghouti, Gail E. Kaiser: Concurrency Control in Advanced Database Applications. ACM Comput. Surv. 23(3): 269-317(1991)
4. Umeshwar Dayal, Meichun Hsu, Rivka Ladin: A Transactional Model for Long-Running Activities. VLDB 1991: 113-122
5. Meichun Hsu, Abraham Silberschatz: Unilateral Commit: A New Paradigm for Reliable Distributed Transaction Processing. ICDE 1991: 286-293
6. Marian H. Nodine, Stanley B. Zdonik: Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications. VLDB 1990: 83-94
7. Umeshwar Dayal, Meichun Hsu, Rivka Ladin: Organizing Long-Running Activities with Triggers and Transactions. SIGMOD Conference 1990: 204-214