Transactions modeling

ABSTRACT

We are concerned by data processing in both centralized and distributed environments. We claim that it is profitable and efficient to make the same effort to the design of the transactions system as we made to the design of the data system. To define such a system, we present in this paper two levels of transactions modeling. We discuss the impact of the proposed modeling upon concurrency and parallelism management.

REFERENCES

• 1: ANSI/X3/SPARC, Study group on data base management systems, Interim Report, FDT bulletin of ACM SIGMOD 7, nb21 (1975).
• 2: Bernstein, P.A. and Goodman, N., Timestamp based algorithms for concurrency control in distributed data base systems, Proceedings of the 6th International conference on VLDB, Montreal (Sept 80).
• 3: E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
• 4: Delobel, C., Contribution théorique à la conception et à la définition d'un système d'information appliqué à la gestion, Thèse de Doctorat d'Etat, Grenoble (1973).
• 5: Dijkstra, E.W., Cooperating sequential processes, in Programming Languages, F. Genuys editor, Academic Press (1967)
• 6: Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975 [doi>10.1145/360933.360975]
• 7: Ellis, C.A., A robust algorithm for updating duplicate data bases, Proceedings of the 2nd Berkeley Workshop on distributed data management and computer networks (May 1977)
• 8: Gray, J., The transaction concept: virtues and limitations, Proceedings of the 7th international conference on VLDB, Cannes (Sept 81).
• 9: C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
• 10: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 11: Leifert, S., Un langage de spécification des systèmes d'information. Un outil pour leur gestion. Thèse de docteur ingénieur, Université de Nancy I (Mai 1980).
• 12: Le Lann, G., Algorithm for distributed data sharing which use tickets, Proceedings of the 3rd Berkeley Workshop on distributed data management and computer networks, (Aug. 78).
• 13: Richard, C., Une approche conceptuelle des problèmes de synchronisation, Thèse de 3ème cycle, Université de Nancy I (Oct. 1979).
• 14: Richard, C. and Rolland, C., A distributed information system concurrency control method, Proceedings of the IFDO/IASSIST Congress, Grenoble (Sept 81).
• 15: Rolland C. and Foucaut, O., Concepts for the design of an information system conceptual schema and its utilization in the Remora Project, Proceedings of the 4th international conference on VLDB, Berlin (1978).
• 16: Rolland, C., Leifert, S and Richard, C., Tools for information system dynamics management, Proceedings of the 5th international conference on VLDB, Rio de Janeiro (Oct 1979).
• 17: C. Roland , C. Richard , S. Leifert, A proposal for information systems design and management, ACM SIGDA Newsletter, v.10 n.2, p.83-109, Aut. 1980 [doi>10.1145/382171.382655]
• 18: Rolland, C. and Richard, C., The Remora methodology for information systems design and management, Proceedings of the INFORSID Worshop, La Baule, (Oct 1981).