A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions.
Muhammad YounasBarry EaglestoneRobert HoltonPublished in: DEXA (2000)
Keyphrases
- formal treatment
- transaction model
- transaction management
- multidatabase systems
- database
- concurrency control protocols
- database systems
- website
- database transactions
- web pages
- web applications
- correctness criterion
- web resources
- locking protocol
- concurrency control
- lightweight
- web content
- web mining
- query optimization
- communication protocol
- information sources
- linked data
- transaction processing
- web documents
- semantic web
- heterogeneous database systems
- correctness criteria
- databases
- nested transactions
- multiple databases
- web technologies
- web users
- web data
- update transactions
- end users