Академический Документы
Профессиональный Документы
Культура Документы
Conceitos
Padro ANSI para arquitetura de SGBD;
Modelo relacional de dados;
lgebra relacional e Clculo relacional;
Formas Normais;
Transao;
Commit em duas fases, Serializao;
Bloqueios
Exclusivos / Compartilhados
Granularidade
de inteno
Mtodo otimista de controle de concorrncia;
- Uma relao se encontra na Primeira Forma Normal (1FN) se todos os atributos possuem
apenas valores atmicos (indivisveis).
- A 1FN no permite a construo de relaes que apresentem atributos compostos e nem
possibilita a existncia de atributos multivalorados em suas tuplas.
- Os nicos valores de atributos permitidos devem ser simples e atmicos.
- Colocar uma relao na 1FN significa eliminar os atributos multivalorados.
- Relaes que no esto na 1FN so chamadas de "Nested Relations" (relaes dentro de
relaes).
- A Forma Normal relacionada a uma tabela, ou seja, uma tabela est em uma
determinada forma normal.
O banco de dados tem de estar consistente antes do incio de uma transao e aps seu
trmino. claro que durante a execuo de uma transao (depois de iniciada e antes de
seu trmino), o banco de dados pode estar temporariamente inconsistente.
No caso de atomicidade, esta propriedade deve ser garantida pelo SGBD, atravs do
componente Gerncia de Transao.
No caso de consistncia, esta propriedade deve ser garantida pela aplicao, podendo
ser facilitada pelas restries de integridade ou triggers.
No caso de durabilidade, aps o trmino da transao e notificao ao usurio que a
mesma foi concluda com sucesso, o SGBD tem de garantir a persistncia dos dados.
Quando uma transao teve sua execuo normal, deve ser committed. Uma
transao committed no pode ter suas atualizaes desfeitas pelo SGBD, mas apenas
por uma transao chamada de compensatria, de responsabilidade do usurio.
Parcialmente
Committed Committed
Ativada
Falhada Abortada
Execues Concorrentes.
A motivao para uso de concorrncia em banco de dados a mesma usada em
multiprogramao em sistemas operacionais, ou seja, permitir executar mais transaes
no mesmo espao de tempo.
A questo chave garantir consistncia mesmo com a execuo concorrente de
transaes. O problema que mesmo que cada transao individual esteja correta, na
execuo concorrente a consistncia pode no ser preservada.
Se uma transao falha, necessrio desfazer todos seus efeitos para garantir a
propriedade de atomicidade.
Para garantir isso, necessrio estabelecer restries sobre o tipo de escalonamentos
que sero permitidos pelo sistema.
Neste caso, a propriedade de atomicidade, poderia ser garantida das seguintes formas:
Desfazer todas as alteraes parciais da transao que j tiverem sido gravadas em
disco;
Garantir a gravao em disco dos blocos que ainda estavam em memria na hora
da falha.
Log uma seqncia de registros (registros de log) que mantm informaes sobre
cada atividade de atualizao do banco de dados.
Quando ocorre uma falha, basta o sistema percorrer o arquivo de log para trs at
encontrar o primeiro registro de checkpoint.
Leitura Suja (Dirty Read) a transao l valores escritos por outra transao que
ainda no foi confirmada.
Por exemplo, uma transao T1 modifica uma linha. Uma outra transao T2 l essa linha antes que T1 faa um
commit. Se T1 executar um rollback, T2 ter lido uma linha com uma alterao no confirmada que pode ser
considerado como se ela nunca tivesse existido.
Leitura Fantasma (Phantom) uma transao reexecuta uma consulta que retorna
um conjunto de linhas que satisfazem uma determinada condio e descobre que o
conjunto de linhas mudou como resultado de outra transao confirmada recentemente.
Granularidade Fina
poro pequena do BD muitos itens de dados;
maior nmero de itens de dados a serem bloqueados e controlados pelo
scheduler;
maior concorrncia.
Granularidade Grossa
poro grande do BD menos itens de dados;
menor nmero de itens de dados a serem bloqueados e controlados pelo
scheduler;
menor concorrncia.