Visualizza serializzabile e in conflitto serializzabile

Question

Stavo leggendo sulla serializzabilità negli elenchi di transazioni e quindi ho letto sugli orari conflict serializable e view serializable.

Ora, a causa dei conflitti serializzabile è più rigorosi di vista serializzabile, è ovvio che ci saranno programmi che sono vista serializzabili ma non conflitto serializable.In il libro che ho letto il seguente:

scrive ciechi appaiono in qualsiasi programma visualizzabile serializzabile ma non in conflitto conflitto.

Ho cercato di trovare una dimostrazione della dichiarazione precedente ma non ci sono riuscito.

La mia domanda è: Esiste una prova formale della suddetta dichiarazione?

Answer 1

Scrittura cieca indica Una transazione scrive il database, senza leggere la variabile del database.

Ciò significa, se conosciamo il nome della variabile del database. Se scriviamo usando quella variabile con alcuni valori.

La transazione è come il sotto, cioè le scritture cieche.

Esempio: -

Transaction T1       Transaction T2 

    Write(X) 
              Write(X) 
    Write(Y) 
              Write(Y) 

Nell'esempio di cui sopra, non abbiamo letto la variabile X, ma stiamo scrivendo la X.

Se scriviamo il database senza utilizzare il vecchio valore, Non c'è serializabilità di conflitto. Qui dobbiamo sostituire il vecchio valore nel database. Le scritture cieche vengono eseguite in due transazioni con l'uso dello stesso nome di variabile del database. Anche in questo caso è serializzabile.

Answer 2

L'esempio che segue è allo stesso tempo una vista serializzabile e un conflitto serializzabile schedule

Ora, se vogliamo convertirlo in programma, che è vista serializzabile ma non in conflitto serializzabile, dobbiamo o fare uno dei cambiamenti:

1. Change W(B)-W(A) in T1
2. Ch ange R(A) a W(A) in T2

Nel primo caso il programma non sarà in conflitto serializzabile come pure esso non sarà vista serializable troppo

Così 2a caso assicura il nostro compito che dà luogo ad accecare scrittura. Pertanto le scritture cieche sono necessarie.

Le scritture cieche sono necessarie per soddisfare la serializzabilità della vista e contraddire le condizioni per la serializzazione di conflitto