Functionality and architecture of a cooperative database system: a vision

ABSTRACT

A database system fostering the cooperative usage and modification of a common data pool should provide standard database functionality (e.g. application-independent correctness criteria and data modelling) plus means for a step-wise, cooperative refinement of data over a long period of time. Key ingredients are a hierarchical organization of work, a sound data model covering cooperative uncertainly, and support for long-living cooperative processes. Furthermore, mechanisms for data passing and hiding, negotiation means, and notification are of prominent importance. In the paper, the rationale behind such a functionality is described. Furthermore, a proposal is made for the software architecture of what is called a cooperative database system (CDBMS).

REFERENCES

• 1: Panayiotis K. Chrysanthis , Krithi Ramamritham, ACTA: a framework for specifying and reasoning about transaction structure and behavior, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.194-203, May 23-26, 1990, Atlantic City, New Jersey, United States
• 2: Panos K. Chrysanthis , Krithi Ramamritham, A Formalism for Extended Transaction Model, Proceedings of the 17th International Conference on Very Large Data Bases, p.103-112, September 03-06, 1991
• 3: Chrysanthis, P., Ramamritham, K.: Delegation in A CTA to Control Sharing in Extended Transactions, Data Engineering Bulletin 16(2), :lune 1993, p. 16-19
• 4: Elmagarmid. A. (ed.): Database Transaction Models Mateo, CA, 1992
• 5: Englemoore, R., Morgan, T.:Blackboard systems, Addison-Wesley, Mass., 1988
• 6: Mary F. Fernandez , Stanley B. Zdonik, Transaction Groups: A Model for Controlling Cooperative Transactions, Proceedings of the Third International Workshop on Persistent Object Systems, p.341-350, January 10-13, 1989
• 7: Gray, J.: The transaction concept: Virtues and Lzmitatzons, Proc. VLDB Conf. (Cannes, September 9- 11), 1981, p. 144-154
• 8: Jim Gray , Andreas Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
• 9: Theo Haerder , Andreas Reuter, Principles of transaction-oriented database recovery, ACM Computing Surveys (CSUR), v.15 n.4, p.287-317, December 1983 [doi>10.1145/289.291]
• 10: Hughes, G., Cresswell, M.: An introduction to Modal Logic, Methuen and Co Ltd, London, 1968
• 11: Kirsche, T., Lenz, R., Schuster, H., Wedeldnd, H.: Extending Workflow Management Techniques to Control the Course of Database Conversations, in: Hartmann, A., Herrmann, T., Rohde, M., Wulf, V. (Hrsg.): Menschengerechte Groupware- Softwareergonomische Gestaltung und partizipative Umsetzung, Workshop-Proceedings (Bonn, 20./21. September), Stuttgart: Teubner 1994, p. 237-258
• 12: Kirsche, T., Lenz, R., Schuster, H., Wedekind, H.: Towards a Cooperative Data Model: Uncertainty and Beyond, Proc. Symposium on Advanced Database Technologies and Their Integration ADTI'94 (Nara, Japan, October 26-28), 1994
• 13: Thomas Kirsche , Richard Lenz , Thomas Ruf , Hartmut Wedekind, Cooperative Problem Solving Using Database Conversations, Proceedings of the Tenth International Conference on Data Engineering, p.134-143, February 14-18, 1994
• 14: Thomas W. Malone , Kenneth R. Grant , Kum-Yew Lai , Ramana Rao , David Rosenblitt, Semistructured messages are surprisingly useful for computer-supported coordination, ACM Transactions on Information Systems (TOIS), v.5 n.2, p.115-131, April 1987 [doi>10.1145/27636.27637]
• 15: Murray S. Mazer , Frederick H. Lochovsky, Logical routing specification in office information systems, ACM Transactions on Information Systems (TOIS), v.2 n.4, p.303-330, Oct. 1984 [doi>10.1145/2275.2278]
• 16: E. B. Moss, NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING, Massachusetts Institute of Technology, Cambridge, MA, 1981
• 17: J. E.B. Moss, Nested transactions: an approach to reliable distributed computing, Massachusetts Institute of Technology, Cambridge, MA, 1985
• 18: Mfiller, T., Steinbauer, D., Wedekind, II.: Control of Versions in Database Applications, Proc. IEEE Conference on Trends and Applications (Gaithersburg, MD, May), 1984
• 19: Marian H. Nodine , Sridar Ramaswamy , Stanley Zdonik, A cooperative transaction model for design databases, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
• 20: Ramamritham, K., Chrysanthis, P.: In Search of Acceptability Criteria . Database Consistency Requirements and Transaction Correctness Properties, in: Ozsu, T., Dayal, U., Valduriez, P. (eds.)' Distributed Object Management, Morgan Kaufmann Publ., San Mateo, CA, 1993
• 21: Rosser, J., Turquette, A.: Many-valued logzcs, Amsterdam et al, 1952
• 22: Shafer, G.: A Mathematzcal Theory of Evzdence, Princeton University Press, Princeton, 1976
• 23: Richard Snodgrass, Temporal databases status and research directions, ACM SIGMOD Record, v.19 n.4, p.83-89, Dec. 1990 [doi>10.1145/122058.122068]
• 24: Sutter, B.: Modelhng o} Design Envsronments and the,r Mapp,ng into a Database-integrated Engineering System, Informatik Forschung und Entwicklung 8(3), 1993, p. 137-151 (in German)
• 25: Wedekind, H.: Analysis and Synthesis o} the Notion of "Committed" }rom a Logics Point o.f V, ew, Informatik Forschung und Entwicklung 8(1), 1993, p. 35-43 (in German)
• 26: Widom, 3. (ed.): Special Issue on Database Constraint Management, Bulletin of the Technical Committee on Data Engineering 17(2), 1994
• 27: Zadeh, L.: Fuzzy Sets, Information and Control 8, 1965, p. 338-353

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.5 Heterogeneous Databases

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models

General Terms:
Design, Theory