Das Beispiel mit der Überweisung klappt nicht. Wenn im verschränkten ein Abort bei A passiert führt es zu einem anderen Ergebnis als beim unverschränkten
Sie widersprechen sich doch bei der Definition von Serialisierbaren Schedules oder? Laut ihrer Definition ist ein Schedule serialisierbar, wenn die TA verschränkt ausgeführt werden und ein serieller Schedule mit identischen Effekt existiert. bei Ihrem Beispiel jedoch heißt es man findet einen seriellen Schedule mit identischem Effekt, aber der ursprüngliche Schedule war/ist nicht serialisierbar.
