Controle de concorrência e distribuição de dados: a teoria clássica, suas limitações e extensões modernas

• Sistemas de bancos de dados e sua evolução
• O sistema clássico
• Mobilidade de dados e computadores
• A organização deste curso

I - Abordagem clássica

• O modelo de transações
• Propriedades básicas de transações
  • As propriedades ACID
  • Propriedades do controle de concorrência
  • Critério de correção de escalonamentos
• Teoria da seriabilidade
  • Ordens parciais
  • Transações e escalonamentos
  • Escalonamentos seriáveis
  • A condição de seriação
• Bloqueios bifásicos
  • Bloqueios
  • O funcionamento básico do método BBF
  • BBF estrito
  • Travamentos
  • Aspectos de implementação do BBF
• Controle de concorrência distribuído
  • BBF distribuído
  • O protocolo de confirmação atômica
• Marcas de tempo
  • Funcionamento básico
  • MT estrito
  • MT distribuído
  • Implementação do MT

• Falhas
• O gerenciador de memória
• O gerenciador de recuperação
  • Recuperação com log
  • Recuperação com páginas sombras
• Desfazer/Refazer
• Impactos
• Recuperação distribuída
  • Confirmação atômica de transações distribuídas
  • O protocolo de confirmação bifásica

• Introdução
• Bases de dados distribuídas
  • Projeto de distribuição de base de dados
  • Bases de dados heterogêneas
  • Um exemplo de metodologia de distribuição
• Fragmentação no modelo relacional
  • Modelo de fragmentação horizontal
  • Procedimento de fragmentação horizontal primária
  • Procedimento de fragmentação horizontal derivada
• Método de fragmentação vertical
• Alocação
  • Modelo de custos de alocação

II - Abordagem não-clássica

• Hipóteses implícitas
  • A organização do assunto
• Transações aninhadas
  • Controle de concorrência em transações aninhadas
  • Comparações entre transações tradicionais e aninhadas
• Operações comutativas
  • Comutatividade e transações aninhadas
• Transações compensatórias
  • Um modelo de transações que permite compensação
  • Critérios de compensação
  • Compensação correta
  • Compensação relativamente correta

• Hipóteses implícitas revisitadas
  • Homogeneidade
  • Disponibilidade
  • A organização do assunto
• Transações partidas (split transactions)
• Transações em multibancos de dados
• O modelo de canguru de transações móveis
  • Transações canguru

• Introdução
• Processo de modularização de bases de dados
  • Coleta e análise de requisitos de modularização
  • Projeto de modularização
• Modularização através de um estudo de caso resumido

• Introdução
• Modelo de autorização sobre objetos
  • Definição dos conceitos para o modelo de autorização
  • Regras de derivação
• Modelo de compartilhamento de dados
  • Objeto fragmento para compartilhamento de dados
  • A operação de compartilhamento de dados
• Formas de reintegração de dados independentes
  • Versão de instâncias de base de dados