A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions

  • Authors:
  • Muhammad Younas;Barry Eaglestone;Robert Holton

  • Affiliations:
  • -;-;-

  • Venue:
  • DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

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.