Content deleted Content added
→View equivalence: improved the definitions for equivalent schedules |
→Serializable: added superscripts to make it more clear |
||
Line 125:
===Serializable===<!-- This section is linked from [[Concurrency control]] -->
A schedule is '''serializable''' if it is equivalent (in its outcome) to a serial schedule.
In schedule E, the order in which the actions of the transactions are executed is not the same as in D, but in the end, E gives the same result as D.
Line 242:
Additionally, two view-equivalent schedules must involve the same set of transactions such that each transaction has the same actions in the same order.
In the example below, the schedules S1 and S2 are view-equivalent, but
{| class="wikitable"
!S1: T1
Line 265:
|
|-
|R(B)<sup>(1)</sup>
|
|
Line 281:
|Com.
|
|R(B)<sup>(1)</sup>
|
|
Line 301:
|-
|
|R(B)<sup>(2)</sup>
|
|R(B)<sup>(2)</sup>
|W(B)<sup>(3)</sup>
|
|-
|
|W(B)<sup>(3)</sup>
|
|W(B)<sup>(3)</sup>
|Com.
|
|