80 © 2007 Univ,Karlsruhe, IPD, Prof. Lockemann/Prof. BöhmTAV 5 Prefix commit closure (1) Remember: A schedule s is X-serializable if there exists a se
{"Image DocumentName": "Prefix commit closure (1)", "Image ImageDescription": "Remember: A schedule s is X-serializable if there exists a serial history hs s.t. \uf024hs serial: CP(s) \uf0baX hs. Problem: The outcome of active transactions is unknown. Desirable property: Whatever the outcome (abort or commit), it should not invalidate the correctness of already committed transactions. Formal criterion: All committed prefixes of correct schedules are correct.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}