théorie: Transaction sérialisation

Question

Hy, J'apprends à mes examens et est venu à la question suivante:

Prenez le History (ou annexe)

H = w1[x] w2[x] w2[y] c2 w1[y] w3[x] w3[y] c3 w1[z] c1 

où w1[x] signifie: Transaction 1 écriture à l'objet de données X (r1[x] signifie lire) et c1 signifie: La transaction 1 est validée. Pourquoi cette transaction est ?

Pour la vue Sérialisabilité, l'historique H doit être équivalent à une exécution séquentielle de la transaction 1,2,3. Ainsi, futher, les derniers de chaque-écriture de données objet doit être le même que dans une exécution séquentielle de la transaction de l'histoire H. Ainsi, les derniers-H sont de Rédige:

• Transation 3 pour x et y et
• Transation 1 pour z

Mais, en aucune exécution séquentielle les derniers-écritures sont distribués comme celui-ci, de sorte que l'histoire H ne peut pas être vue sérialisable.

Où est mon erreur?

Merci à tous.

Answer 1

D'accord, trouvé moi-même: La dernière phrase si mal de cours:

En fait, l'exécution séquentielle 1,2,3 conduit à cette histoire:

w1[x] w1[y] w1[z] c1 w2[x] w2[y] c2 w3[x] w3[y] c3 

et follogint last-Rédige :

• Transaction 3 pour x et y et
• Transaction 1 pour z

qui est la même que les dernières écritures de l'histoire H