SHARON@SU-SCORE.ARPA@sri-unix.UUCP (07/20/83)
From: Sharon Bergman <SHARON@SU-SCORE.ARPA>
SPECIAL SEMINAR
Thursday - July 21 - 2 P.M.
Margaret Jacks Hall (Bldg. 460) - Room 352
CONCURRENCY CONTROL THEORY FOR NESTED TRANSACTIONS
C. Beeri
Nested transactions occur in many situations, including explicit
nesting in application programs and implicit nesting in computing
systems. E.g., database systems are usually implemented as multilevel
systems where operations of a high level language are translated in
several stages into programs using low level operations. This creates
a nested transaction structure. The same applies to systems that
support atomic data types, or concurrent access to search structures.
Synchronization of concurrent transactions can be performed at one or
more levels. The existing theory does not provide a framework for
reasoning about concurrency in systems that support nesting.
In the talk, a general nested transaction model will be described.
The model can accomodate most of the nested transaction systems
currently known. Tools for proving the serilizability of
computations, hence the correctness of the algorithms generating
them, wil be presented. In particular, it will be shown that the
p r a c t i c a l theory of CPSR logs can be easily generalized
so that previously known results (e.g., correctness of 2PL) can
be used. Examples will be presented.sts@ssc-vax.UUCP (Stanley T Shebs) (07/25/83)
Would someone tell the ARPANET people to keep the classifications straight! Since when is discussion of databases relevant to net.ai!! stan the leprechaun hacker ssc-vax!sts (soon utah-cs) ps say, how many ai researchers are there on USENET but not on ARPANET? All I know of are us at Boeing Aerospace, TRW and Univ Maryland. Public replies please, so everybody can find out...