Академический Документы
Профессиональный Документы
Культура Документы
Exercício 1
R.: O conflito entre transações ocorre quando mais de uma transação tenta
acessar o mesmo item de dado.
Atomicidade
A propriedade de atomicidade garante que as transações sejam atômicas
(indivisíveis). A transação será executada totalmente ou não será executada.
Consistência
A propriedade de consistência garante que o banco de dados passará de uma
forma consistente para outra forma consistente.
Isolamento
A propriedade de isolamento garante que a transação não será interferida por
nenhuma outra transação concorrente.
Durabilidade
A propriedade de durabilidade garante que o que foi salvo, não será mais
perdido.
Ativa
Em processo de efetivação
Efetivada
Concluída
R.: S´=r3(y) r1(y) r1(x) r2(x) w1(y) r2(y) w2(x) r3(x) w3(z)
T3
T1=r1(y)r1(x)w1(y)
T2=r2(x)r2(y)w2(x)
T3=r3(y)r3(x)w3(z)
T1 T2
e assim podemos definir que o schedule S é serializável por conflito, pois não
produz um grafo cíclico.
TEOREMA: Um schedule S é serializável por conflito ⇔ o grafo de serialização de S não contém
ciclos.