@inproceedings{80db20cd7a664f7f9938819ff11e9655,
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 = "英语",
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",
address = "美国",
}