A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions

Issues of multidatabase transaction management within the Web are addressed. After examining the nature of the problem and reviewing current solutions, we argue that the classic ACID test of transaction correctness is not appropriate for Web transactions and propose new criteria based on SACReD properties. A new Web Transaction Model (WebTraM), based upon open and closed nested transaction models, is proposed and formally specified. Preliminary analysis demonstrates performance improvements over other Web transaction management methods.

[1]  Panos K. Chrysanthis,et al.  Synthesis of extended transaction models using ACTA , 1994, TODS.

[2]  Gail E. Kaiser,et al.  JPernLite: an extensible transaction server for the World Wide Web , 1998, HYPERTEXT '98.

[3]  Philip A. Bernstein,et al.  Middleware: a model for distributed system services , 1996, CACM.

[4]  Ahmed K. Elmagarmid,et al.  Object-Oriented Multidatabase Systems: A Solution for Advanced Applications , 1995 .

[5]  David Billard.  Transactional Services for the Web , 1998, WebDB.

[6]  Santosh K. Shrivastava,et al.  Java transactions for the Internet , 1998, Distributed Syst. Eng..

[7]  Barry Eaglestone,et al.  A Review of Multidatabase Transactions on The Web: From the ACID to the SACReD , 2000, BNCOD.

[8]  Ahmed K. Elmagarmid,et al.  Extending the transaction model to capture more meaning , 1990, SGMD.

[9]  Keith Evans,et al.  Transaction Internet Protocol - Requirements and Supplemental Information , 1998, RFC.

[10]  Santosh K. Shrivastava,et al.  Constructing Reliable Web Applications Using Atomic Actions , 1997, Comput. Networks.

[11]  Sylvanus A. Ehikioya,et al.  A formal specification strategy for electronic commerce , 1997, Proceedings of the 1997 International Database Engineering and Applications Symposium (Cat. No.97TB100166).

[12]  Bruce G. Lindsay,et al.  Transaction management in the R* distributed database management system , 1986, TODS.

[13]  Panos K. Chrysanthis,et al.  Two-Phase Commit in Gigabit-Networked Distributed Databases , 1995 .

[14]  Gail E. Kaiser,et al.  JPernLite: Extensible Transaction Services for the WWW , 1999, IEEE Trans. Knowl. Data Eng..

[15]  Keith Evans,et al.  Transaction Internet Protocol Version 3.0 , 1998, RFC.

[16]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[17]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.