Skip to main content

A Formal Treatment of a SACReD Protocol for Multidatabase Web Transactions

  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1873))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. O.A. Bukhres, K. Elmagarmid “Object-Oriented Multidatabase Systems: A Solution for Advanced Applications” Prentice Hall, 1996.

    Google Scholar 

  2. P. A. Berstein “Middleware: A Model for Distributed System Services” Communications of the ACM, Vol. 39, No. 2, February 1996, (86–98)

    Article  Google Scholar 

  3. D. Billard “Transactional Services for the Internet” Proc. of Int. Workshop on Web and Database (WebDB’98), Valencia, Spain, March 27–28, 1998.

    Google Scholar 

  4. P. Chrysanthis, K. Ramamritham “Synthesis of Extended Transaction Models using ACTA” ACM TODS, Vol. 19, No. 3, Sept. 1994, (450–491)

    Article  Google Scholar 

  5. Sylvanus A.Ehikioya, K. Barker “A Formal Specification Strategy for Electronic Commerce” IDEAS, Montreal, Canada, August, 1997.

    Google Scholar 

  6. K. Evans, J. Klein, J. Lyon “Transaction Internet Protocol: Requirements and Supplemental Information” Internet-Draft, October 1997.

    Google Scholar 

  7. Yousef J. Al-Houmaily, P.K. Chrysanthis “Two-Phase Commit in Gigabit-Networked Distributed Databases” 8th Int. Conf. on Parallel & Distributed Computing Systems, Sept., 1995.

    Google Scholar 

  8. J. Lyon, K. Evans, J. Klein, “Transaction Internet Protocol: Version 3.0” Internet-Draft, April 1998 (http://www.ietf.org/ids.by.wg/tip.html)

  9. M.C. Little, S.K. Shrivastava, S.J. Caughey, D.B. Ingham “Constructing Reliable Web Applications using Atomic Actions” 6th Int. WWW Conf., USA, April, 1997.

    Google Scholar 

  10. M.C. Little, S.K. Shrivastava “Java Transactions for the Internet” Proc. of 4th USENIX Conference on OO Technologies and Systems, April 1998.

    Google Scholar 

  11. Rubin Milner “Communication and Concurrency” C.A.R. Hoare Series Editor, Prentice Hall, International Series in Computer Science, 1989.

    Google Scholar 

  12. C. Mohan, B. Lindsay, R. Obermarck “Transaction Management in the R* Distributed Database Management System” ACM TODS, 1986, (378–396)

    Google Scholar 

  13. OMG “CORBAservices: Common Object Service Specification” November 1997 (http://www.omg.org/corba/csindx.htm)

  14. T. Ozsu, Patric, V. “Principles of Distributed Database Systems” Prentice-Hall, 1991

    Google Scholar 

  15. M.E. Rusinkiewicz, A.K. Elmagarmid, Y. Leu, W. Litwin “Extending the Transaction Model to Capture more Meaning” SIGMOD, March 1990, (3–7).

    Google Scholar 

  16. M. Younas, B. Eagelstone, R. Holton “A Review of Multidatabase Transactions on the Web: From the ACID to the SACReD” British National Conference on Databases (BNCOD), Exeter, UK, July 3–5, Springer LINCS, 2000.

    Google Scholar 

  17. J. Yang, G.E. Kaiser, “JPernLite: An Extensible Transaction Server for the World Wide Web” IEEE Transation on Knowledge & Data Engineering, 1999 (639–657).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Younas, M., Eagelstone, B., Holton, R. (2000). A Formal Treatment of a SACReD Protocol for Multidatabase Web Transactions. In: Ibrahim, M., Küng, J., Revell, N. (eds) Database and Expert Systems Applications. DEXA 2000. Lecture Notes in Computer Science, vol 1873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44469-6_84

Download citation

  • DOI: https://doi.org/10.1007/3-540-44469-6_84

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67978-3

  • Online ISBN: 978-3-540-44469-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics