Sumários

Controlo de concorrência

4 dezembro 2012, 11:30 Helena Galhardas

Controlo de concorrência (BoK ACM 2008 IM/TransactionProcessing[elective]):
  • Serializabilidade e Protocolo de locking de duas fases (2PL).
  • Gestão de locks
  • Tratamento de deadlocks
  • Locks com múltiplas granularidades
  • Aquisição automática de locks.


Lab 12: Índices

4 dezembro 2012, 10:00 Paulo Carreira

Revisão do funcionamento dos índices. Índice primário e índice secundário. Índice esparso e índice denso. Índice 'clustered' e índice 'non-clustered'. Resolução do guia de laboratório 9 sobre índices. Apoio ao projecto.


Lab 11: Normalização

30 novembro 2012, 14:00 Paulo Carreira

Revisão da noção de dependência funcional. A operação de fecho do conjunto de dependência funcionais. Decomposições sem perdas de informação. Outras operações de fecho. Exemplos de queries não resolúveis em SQL standard. Resolução dos exercícios 1-4 do guia de laboratório 8. 


Transacções (cont.)

30 novembro 2012, 14:00 Helena Galhardas

 (BoK ACM 2008 IM/TransactionProcessing[elective]):
  • Protocolos de controlo de concorrência
  • Transacções em SQL e diferentes níveis de isolamento
  • Gestão de recuperação: noção de log e introdução ao algoritmo Aries.


Transacções (cont.)

29 novembro 2012, 11:30 Helena Galhardas

 (BoK ACM 2008 IM/TransactionProcessing[elective]):
  • Protocolos de controlo de concorrência
  • Transacções em SQL e diferentes níveis de isolamento
  • Gestão de recuperação: noção de log e introdução ao algoritmo Aries.