Presentation 1998/12/17
A Transaction Model with Consistency of Operations
Tetsuya Furukawa, Haiyan Xu, Yihua Shi,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) During cooperative work, participants need to exchange information among them. Such a kind of cooperative work, however, is not allowed by traditional transaction technologies. Furthermore, transactions in CAD/CAM applications are more easily interrupted by failures or deadlocks because of their long execution time. When a failure or deadlock occurs, the effects of the transaction on the database must be undone, which causes a lost of result problem for long-lived transactions. To solve these problems, this paper introduces a processbased transaction model, in which each subtransaction called a toolkit guarantees the consistency of transactions. Based on this transaction model, we discuss the correctness criterion of cooperative work formally and propose a concurrency control protocol and a recovery protocol. The protocols permit users to exchange information each other and to relieve the loss of result problem.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) concurrency control / transaction / serializability / locking protocol / recovery protocol / rollback
Paper # DE98-39
Date of Issue

Conference Information
Committee DE
Conference Date 1998/12/17(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Data Engineering (DE)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) A Transaction Model with Consistency of Operations
Sub Title (in English)
Keyword(1) concurrency control
Keyword(2) transaction
Keyword(3) serializability
Keyword(4) locking protocol
Keyword(5) recovery protocol
Keyword(6) rollback
1st Author's Name Tetsuya Furukawa
1st Author's Affiliation Kyusyu University()
2nd Author's Name Haiyan Xu
2nd Author's Affiliation Fukuoka Inst. Tech.
3rd Author's Name Yihua Shi
3rd Author's Affiliation Fukuoka Junior College of Tech.
Date 1998/12/17
Paper # DE98-39
Volume (vol) vol.98
Number (no) 486
Page pp.pp.-
#Pages 8
Date of Issue