Art

J-GLOBAL ID：200902268030311536   Reference number：09A0792622

Studying Concurrency Correctness Criteria by Dividing Consistency and Isolation Properties

一貫性と隔離性の細分による並行実行の正当性の検証

Author (3)： XU Haiyan (福岡工大 情報工) ,  FURUKAWA TETSUYA (九大 大学院経済学研究院) ,  SHI Yihua (西南学院大 商)
Material： 情報処理学会論文誌トランザクション(CD-ROM)  (情報処理学会論文誌 Computer Vision and Applications(CD-ROM))
Volume： 2008  Issue： 2  Page： VOL.2NO.1,22-32  Publication year： Apr. 15, 2009 
JST Material Number： L7379A  ISSN： 1882-7772  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *transaction processing ,  integrity ,  *information retrieval ,  verification ,  semantics ,  property ,  *concurrent processing
Semi thesaurus term： 隔離性 ,  直列可能性 ,  correctness

JST classification (3)： Database systems  (JD03030U) ,  Retrieval technology  (AC06020S) ,  Digital computer systems in general  (JC02010O)

Reference (15)：

• Agrawal, D., Abbadi, A. E. and Singh, A. K.: Consistency and Orderability: Semantics-Based Correctness Criteria for Databases, ACM Trans. Database Syst., Vol.18, No.3, pp. 460-486(1993).
• Bernstein, P. A., Hadzilacos, V. and Goodman, N.: Concurrency Control and Recovery in Database Systems, Addison-Wesley (1987).
• Business Transaction Protocol (BTP)(2002). http://www.oasis-open.org/committees/tc home. php? wg abbrev= business-transaction
• Elmagarmid, A. K.(Ed.): Database Transaction Models for Advanced Applications, Morgan Kaufmann (1992).
• Haustein, M. P. and Harder, T.: Optimizing Lock Protocols for Native XML Processing, Data & Knowledge Eng., Vol.65, pp. 147-173(2008).

Terms in the title (4)： 隔離 ,  並行 ,  正当性 ,  検証