Abstract
Traditional database systems use ACID properties (Atomicity, Consistency, Isolation and Durability) to implement recovery and concurrency control. However, this implementation is not always appropriate in distributed real time systems and in systems with long-lived transactions. For example, long-lived transactions may be active for days, and at the same time other transactions may need access to data, locked by the long-lived transactions. Therefore, extended transaction models have been developed. These transaction models only implement semantic ACID properties. That is, from an application point of view the system should function as if the traditional ACID properties were implemented. Multi user word processing, CAD and CASE systems may both be distributed and have long-lived transactions. Therefore, extended transaction models may be useful in Computer Supported Cooperative Work (CSCW), where users work with shared data. In this paper we will try to integrate the research in extended transaction models with the CSCW research, which for many years have been aware of the shortcomings of the traditional ACID properties. In the transaction model in this paper the global atomicity property is implemented by combining the possibilities of either forcing the remaining updatings of a transaction to be executed or compensating the already executed updatings of the transaction. The global consistency property may be managed by the CSCW system and/or by human beings supported by tools. The global isolation property is implemented by using countermeasures to the missing isolation of the updating transactions. The global durability property is implemented by using the durability property of the local CSCW/DBMS systems. In the extended transaction model described above we will incorporate some of the most promising CSCW commit/isolation features known from the scientific CSCW literature.
Keywords
This work was supported in part by The Danish Social Science Research Council, Project No. 9701783.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ANSI X3.135 (1992), American National Standard for Information Systems — Data-base Language-SQL.
Berenson, H., Phil Bernstein, Jim Gray, Jim Melton, Elizabeth O’Neil and Patrick O’Neil (1995), A Critique of ANSI SQL Isolation Levels, Proc ACM SIGMOD Conf, pp. 1–10.
Breibart, Y., H. Garcia-Molina and A. Silberschatz, ‘Overview of Multidatabase Transaction Management’ (1992), VLDB Journal, 2, pp. 181–239.
Decouchant, D., V. Quint and M. R. Salcedo (1996), Structured and Distributed Cooperative Editing in a Large Scale Network, In Rada, 1996.
Ellis, C. and S. Gibbs (1989), Concurrency Control in Groupware Systems, SIGMOD Record. Vol. 18, no. 2, ACM Press, New York, pp. 399–407.
Ellis, C., S. Gibbs and G. Rein (1990), Design and Use of a Group Editor, Engineering for Human Computer Interaction, G. Cockton (ed.), North-Holland, Amsterdam, pp. 13–25.
Ellis, C., S. Gibbs and G. Rein (1991), Groupware-Some Issues and Experiences, Communications of the ACM. Vol. 34, no. 1, pp. 38–58.
Frank, L. (1999a), ‘Evaluation of the Basic Remote Backup and Replication Methods for High Availability Databases, Technical Report, Department of Informatics, Copenhagen Business School, Accepted for publication in Software — Practice & Experience.
Frank, L. (1999b), ‘Atomicity Implementation in Multidatabases with High Performance and Availability’, Proc of the 2nd International Symposium on Cooperative Database Systems (CODAS’99), Springer-Verlag, pp 103–114.
Frank, L. and Torben Zahle (1998). Semantic ACID Properties in Multidatabases Using Remote Procedure Calls and Update Propagations, Software-Practice & Experience, Vol.28(1), pp. 77–98.
Georgakopoulos, D., M. Hornick, P. Krychniak, F. Manola (1994), Specification and Management of Extended Transactions in a Programmable Transaction Environment, Proc. of the 10th IEEE Int. Conference on Data Engineering.
Gray, J. and Andreas Reuter (1993), Transaction Processing, Morgan Kaufman.
Greenberg, Saul and David Marwood (1994), Real Time Groupware as a Distributed System: Concurrency Control and its Effect on the Interface, Proceedings of International Conference on Computer Supported Cooperative Work, pp. 207–217. ACM Press.
Haake, J. and B. Wilson (1992), Supporting Collaborative Writing of Hyperdocuments in SEPIA, Proceedings of International Conference on Computer Supported Cooperative Work, pp. 138–146. ACM Press.
Herlihy, M. and J. Wing (1990), A correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, 12, pp. 463–492.
Koch, M., (1995), Design Issues and Model for a Distributed Multi-User Editor, Computer Supported Cooperative Work (CSCW) 3, pp. 359–378.
Jones, S., (1995), Identification and use of guidelines for the design of computer collaborative writing tools, Computer Supported Cooperative Work (CSCW) 3, pp. 379–404.
Neuwirth, C., Ravinder Chandhok, David S. Kaufer, P. Erion, James H. Morris and D. Miller (1992), Flexible Diff-ing in a Collaborative Writing System, Proceedings of 4th International Conference on Computer Supported Cooperative Work, ACM Press. pp. 147–154.
Nichols, A., P. Curtis, M. Dixon and J. Lamping (1995), High-Latency, Low Band-width Windowing in the Jupiter Collaboration System. In Proceedings of UIST’95, 1/10.
Pacull, F. and Alain Sandroz Andre Schiper (1993), R-linearizability: An extension of linearizability to replicated objects, Proceedings of the 4th IEEE Workshop of Future Trends of Computing Systems.
Pacull, F., Alain Sandroz and Andre Schiper (1994), Duplex: A Distributed Collaborative Editing Environment in Large Scale, Proceedings of International Conference. on Computer Supported Cooperative Work, pp. 165–173. ACM Press.
Rada, R. (Editor) (1996), Groupware and Authoring, Academic Press.
Ressel, M., D. Nitche-Ruhland and R. Guzenbauser (1996), An Integrating Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors. In Proceedings of ACM Conference on Computer supported Cooperative Work, pp. 288–297.
Rusinkiewiecz, M., W. Klas, T. Tesch, J. Wasch and P. Muth (1995), Towards a Cooperative Transaction Model — The Cooperative Activity Model, Proceedings of the 21st VLDB Conference.
Salcedo, M. and Dominique Decouchant, (1997), Structured Cooperative Authoring for the World Wide Web, Computer Supported Cooperative Work (CSCW) 6, pp. 157–174.
Stefik, M., D. G. Bobrow, G. Foster, S. Lanning and D. Tatar (1987), WYSIWIS revised: Early experiences with multiuser interfaces, ACM Transactions on Office Information Systems, 5(2), pp. 147–167.
Sun, C. and C. Ellis (1998), Operational Transformation in Real-Time Group Editors: Issues, Algorithms, and Achievements, In Proceedings of ACM Conference on Computer Supported Cooperative Work.
Sun, C., X. Jia, Y. Zang, Y. Yang and D. Chen (1998), Achieving Convergence Causality-Preservation in Real-time Cooperative Editing Systems, ACM Transactions on Computer-Human Integration, 5/1, pp. 63–108.
Zhang, A., M. Nodine, B. Bhargava and O. Bukhres (1994), ‘Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems’, Proc ACM SIGMOD Conf, pp 67–78.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Frank, L. (2000). Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data. In: Bjøner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 1999. Lecture Notes in Computer Science, vol 1755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46562-6_29
Download citation
DOI: https://doi.org/10.1007/3-540-46562-6_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67102-2
Online ISBN: 978-3-540-46562-1
eBook Packages: Springer Book Archive