Controlo de concorrência

16 dezembro 2016, 15:30 • Pável Pereira Calado

• Noção de escalonamento serializável em conflitos (conflict-serializable)
• Noção de lock, tipos de lock (leitura e escrita), transacções bem formadas para resolução de anomalias
• Protcolo two-phase locking (2PL) e variantes: strict 2PL, rigorous 2PL e conservative 2PL para garantia da propriedade de isolamento da transacção
• Tratamento de deadlocks: prevenção (baseado em timestamping) e tratamento (timeout ou grafo de espera)
• Níveis de isolamento em SQL que permitem relaxamento da propriedade de isolamento
• Aquisição automática de locks.

Controlo de concorrência

16 dezembro 2016, 10:00 • Pável Pereira Calado

• Noção de escalonamento serializável em conflitos (conflict-serializable)
• Noção de lock, tipos de lock (leitura e escrita), transacções bem formadas para resolução de anomalias
• Protcolo two-phase locking (2PL) e variantes: strict 2PL, rigorous 2PL e conservative 2PL para garantia da propriedade de isolamento da transacção
• Tratamento de deadlocks: prevenção (baseado em timestamping) e tratamento (timeout ou grafo de espera)
• Níveis de isolamento em SQL que permitem relaxamento da propriedade de isolamento
• Aquisição automática de locks.

Apoio ao projecto

16 dezembro 2016, 08:30 • Helena Galhardas

Resolução do exercício 10 do guia lab. 12 e esclarecimento de dúvidas sobre o projecto.

Apoio ao projecto

15 dezembro 2016, 08:30 • Helena Galhardas

Esclarecimento de dúvidas sobre o projecto.

Apoio ao projecto

14 dezembro 2016, 14:00 • Helena Galhardas

Resolução dos exercícios 9 e 10 do guia de lab. sobre data warehousing e esclarecimento de dúvidas sobre o projecto.