Lost Update Prevention

Lost Update Prevention is a concurrency control mechanism in transaction management that ensures modifications by one transaction are not overwritten by another concurrent transaction through the enforcement of isolation properties, thereby preserving data integrity during simultaneous access.

1

Publications

18

Citations

5

Authors

2

Institutions

Publications per year

2017–2026

1

Authors

5

  1. PC
    Peter Csaba Ölveczky

    University of Oslo, Norway

    1 publications · 18 citations

    1

    h-index

  2. IG
    Indranil Gupta

    University of Illinois Urbana-Champaign, United States

    1 publications · 18 citations

    1

    h-index

  3. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    1 publications · 18 citations

    1

    h-index

  4. SL
    Si Liu

    University of Illinois Urbana-Champaign, United States

    1 publications · 18 citations

    1

    h-index

  5. QW
    Qi Wang

    Tsinghua University, China

    1 publications · 18 citations

    1

    h-index

1–5 of 5

Institutions

2

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    1 h-index

    4 publications

    72 citations

  2. University of Oslo

    Oslo, Norway

    1 h-index

    1 publications

    18 citations

1–2 of 2

Venues

  1. Formal Aspects of Computing

    1 publications · 18 citations

    1

    h-index

1–1