Issue No.11 - November (2000 vol.49)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.895940
<p><b>Abstract</b>—This paper formalizes the concept of <it>similarity</it> which has been used on an ad hoc basis by application engineers to provide more flexibility in concurrency control. We show how the usual correctness criteria of concurrency control, namely, final-state, view, and conflict serializability, can be weakened to incorporate similarity. We extend the weakened correctness criteria in [<ref type="bib" rid="bibT124116">16</ref>] for real-time applications which may run continually, have concurrent transaction executions, or skip unimportant computations. A semantic approach based on the similarity concept is then taken to propose a sufficient condition for scheduling real-time transactions without locking of data.</p>
Concurrency control, schedule correctness, real-time database, serializability, similarity.
Tei-Wei Kuo, Aloysius K. Mok, "Real-Time Data Semantics and Similarity-Based Concurrency Control", IEEE Transactions on Computers, vol.49, no. 11, pp. 1241-1254, November 2000, doi:10.1109/12.895940