Serializability (cont)
Two formulations of serializability:
- conflict serializibility
- i.e. conflicting R/W operations occur in the "right order"
- check via precedence graph; look for absence of cycles
- view serializibility
- i.e. read operations see the correct version of data
- checked via VS conditions on likely equivalent schedules
View serializability is strictly weaker than conflict serializability.
|
![[prev]](icon/prev.gif){kind=icon}
![[next]](icon/next.gif){kind=icon}