@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}",
year = "1991",
month = jan,
day = "1",
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",
note = "15th Annual International Computer Software and Applications Conference, CMPSAC 1991 ; Conference date: 11-09-1991 Through 13-09-1991",
}