Technical Report CS0387

Title: Concurent Execution of Syntatically Identical Transactions
Authors: Ouri Wolfson
Abstract: Syntactically identical transactions, or copies of a transaction, execute concurrently when a task has to be performed at the same time by multiple database users (e.g. airline seat reservation): We assume a distributed database which controls concurency by locking, and present the following two results. In order to determine whether an arbitrarily large set of copies is deadlock free or not at least m copies must be tested for deadlock freedom, where m is the number of referenced database entities. On the other hand, to determine whether such a set ensures serializability it suffices to test only two copies.
CopyrightThe above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (, rather than to the URL of the PDF files directly. The latter URLs may change without notice.

To the list of the CS technical reports of 1985
To the main CS technical reports page

Computer science department, Technion