Conditional transactions: A model of computation for active databases

Jaideep Srivastava; Kuo Wei Hwang; Wei Tek Tsai

doi:10.1109/CMPSAC.1991.170149

Conditional transactions: A model of computation for active databases

Jaideep Srivastava, Kuo Wei Hwang, Wei Tek Tsai

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper introduces a transaction model for active databases. Concurrent execution of rules needs to be carefully managed to ensure consistent semantics. It is shown that serializability is not always sufficient for correctness. A new criterion, conditional conflict serializability (CCS) is developed and shown to ensure the desired correctness. A graph based scheduler for it is presented. Practical schedulers should also be recoverable, which the graph based scheduler is not. We next prove that conventional 2-phase locking also achieves CCS, and can thus be used in practice.

Original language	English (US)
Title of host publication	Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991
Publisher	IEEE Computer Society
Pages	36-41
Number of pages	6
ISBN (Electronic)	0818621524
DOIs	https://doi.org/10.1109/CMPSAC.1991.170149
State	Published - 1991
Event	15th Annual International Computer Software and Applications Conference, CMPSAC 1991 - Tokyo, Japan Duration: Sep 11 1991 → Sep 13 1991

Publication series

Name	Proceedings - International Computer Software and Applications Conference
ISSN (Print)	0730-3157

Conference

Conference	15th Annual International Computer Software and Applications Conference, CMPSAC 1991
Country/Territory	Japan
City	Tokyo
Period	9/11/91 → 9/13/91

Bibliographical note

Publisher Copyright:
© 1991 IEEE.

Publisher link

10.1109/CMPSAC.1991.170149

Find It

Find It at U of M Libraries

Cite this

Srivastava, J., Hwang, K. W., & Tsai, W. T. (1991). Conditional transactions: A model of computation for active databases. In Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991 (pp. 36-41). Article 170149 (Proceedings - International Computer Software and Applications Conference). IEEE Computer Society. https://doi.org/10.1109/CMPSAC.1991.170149

Conditional transactions: A model of computation for active databases. / Srivastava, Jaideep; Hwang, Kuo Wei; Tsai, Wei Tek.
Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991. IEEE Computer Society, 1991. p. 36-41 170149 (Proceedings - International Computer Software and Applications Conference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Srivastava, J, Hwang, KW & Tsai, WT 1991, Conditional transactions: A model of computation for active databases. in Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991., 170149, Proceedings - International Computer Software and Applications Conference, IEEE Computer Society, pp. 36-41, 15th Annual International Computer Software and Applications Conference, CMPSAC 1991, Tokyo, Japan, 9/11/91. https://doi.org/10.1109/CMPSAC.1991.170149

@inproceedings{fe5bc847bf8f41479218a1d8326ad85c,

title = "Conditional transactions: A model of computation for active databases",

abstract = "This paper introduces a transaction model for active databases. Concurrent execution of rules needs to be carefully managed to ensure consistent semantics. It is shown that serializability is not always sufficient for correctness. A new criterion, conditional conflict serializability (CCS) is developed and shown to ensure the desired correctness. A graph based scheduler for it is presented. Practical schedulers should also be recoverable, which the graph based scheduler is not. We next prove that conventional 2-phase locking also achieves CCS, and can thus be used in practice.",

author = "Jaideep Srivastava and Hwang, {Kuo Wei} and Tsai, {Wei Tek}",

note = "Publisher Copyright: {\textcopyright} 1991 IEEE.; 15th Annual International Computer Software and Applications Conference, CMPSAC 1991 ; Conference date: 11-09-1991 Through 13-09-1991",

year = "1991",

doi = "10.1109/CMPSAC.1991.170149",

language = "English (US)",

series = "Proceedings - International Computer Software and Applications Conference",

publisher = "IEEE Computer Society",

pages = "36--41",

booktitle = "Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991",

}

TY - GEN

T1 - Conditional transactions

T2 - 15th Annual International Computer Software and Applications Conference, CMPSAC 1991

AU - Srivastava, Jaideep

AU - Hwang, Kuo Wei

AU - Tsai, Wei Tek

PY - 1991

Y1 - 1991

N2 - This paper introduces a transaction model for active databases. Concurrent execution of rules needs to be carefully managed to ensure consistent semantics. It is shown that serializability is not always sufficient for correctness. A new criterion, conditional conflict serializability (CCS) is developed and shown to ensure the desired correctness. A graph based scheduler for it is presented. Practical schedulers should also be recoverable, which the graph based scheduler is not. We next prove that conventional 2-phase locking also achieves CCS, and can thus be used in practice.

AB - This paper introduces a transaction model for active databases. Concurrent execution of rules needs to be carefully managed to ensure consistent semantics. It is shown that serializability is not always sufficient for correctness. A new criterion, conditional conflict serializability (CCS) is developed and shown to ensure the desired correctness. A graph based scheduler for it is presented. Practical schedulers should also be recoverable, which the graph based scheduler is not. We next prove that conventional 2-phase locking also achieves CCS, and can thus be used in practice.

UR - http://www.scopus.com/inward/record.url?scp=85068056746&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85068056746&partnerID=8YFLogxK

U2 - 10.1109/CMPSAC.1991.170149

DO - 10.1109/CMPSAC.1991.170149

M3 - Conference contribution

AN - SCOPUS:85068056746

T3 - Proceedings - International Computer Software and Applications Conference

SP - 36

EP - 41

BT - Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991

PB - IEEE Computer Society

Y2 - 11 September 1991 through 13 September 1991

ER -

Conditional transactions: A model of computation for active databases

Abstract

Publication series

Conference

Bibliographical note

Publisher link

Find It

Other files and links

Fingerprint

Cite this