Advertisement

Serializability problems of interleaved database transactions

  • Georg Lausen
Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 123)

Abstract

The interleaved execution of database transactions produces correctness problems. It is called correct — or serializable —, if it is equivalent to a serial execution of the same transactions. An execution of a set of transactions is described by the sequence of the read/write actions — called schedule —, a reads-from rolation ϕ and an overwrite relation ω.

A database model is assumed, in which old values of the variables are still available. In this environment for a given schedule there exist a set of possible reads-from relations φ and a set of possible overwrite relations ω.

Three serializability problems are formulated and discussed:
  1. 1.

    For a given schedule x, does there exist ϕOεφ, ωOεω, such that the execution described by (x,ϕO,ωO) is serializable?

     
  2. 2.

    For a given schedule x and given ϕOεφ, does there exist a ωOεω, such that the execution described by (x,ϕO,ωO) is serializable?

     
  3. 3.

    For a given schedule x and given ωOεω, does there exist a ϕOεφ, such that the execution described by (x,ϕO,ωO) is serializable?

     

Keywords

Linear Order Concurrency Control Read Action Database Model Database Transaction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. [BeGo80]
    Bernstein,P.A., Goodman,N. Timestamp-based algorithms for concurrency control in distributed database systems VLDB 1980Google Scholar
  2. [BSW79]
    Bernstein,P.A. et al. Formal aspects of serializability in database concurrency control IEEE TOSE, vol. 5, no.3, 1979Google Scholar
  3. [EGLT76]
    Eswaran,K.P. et al. The notion of consistency and predicate locks in a database system CACM, vol.19, no.11, 1976Google Scholar
  4. [Lau80]
    Lausen,G. On database transaction schedulers with a high degree of parallelism Bericht 97, November 1980, Institut für Angewandte Informatik und Formale Beschreibungsverfahren Universität KarlsruheGoogle Scholar
  5. [Lau81]
    Lausen,G. The write fixed serializability problem WG81 Linz, 1981, to appearGoogle Scholar
  6. [Papa79]
    Papadimitriou,C.M. Serializability of concurrent database updates JACM, vol.26, no.4, 1979Google Scholar
  7. [Sch178]
    Schlageter,G. Process synchronization in database systems ACM TODS, vol.3, no.3, 1978Google Scholar
  8. [SLR76]
    Stearns, R.E. et al. Concurrency control for database systems 17th. Ann. IEEE Symp. FOCS 1976Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Georg Lausen
    • 1
  1. 1.Institut für Angewandte Informatik und Formale BeschreibungsverfahrenUniversität Karlsruhe (TH)Karlsruhe 1West-Germany

Personalised recommendations