-
-
-
-
CENAPAD-MGCO
A seguir: Introdução
Acima: Formulação e Prova de
Anterior: Modelos Formais: Conclusões
Fonte: The Notions of Consistency and Predicate Locks in a
Database System
K. P. Eswaran, J. N. Gray, R. A. Lorie,
I. L. Traiger, CACM, 1976
Aspectos importantíssimos de sistemas de transações, como deadlocks, recuperação de transações e tolerância a falhas não são examinados aqui .
Um tratamento formal mais completo encontra-se nos capítulos 2 e 3 do livro ``Concurrency Control and Recovery in Database Systems''[Bernstein et al., 1987]
Para saber tudo sobre sistemas de transações a referência prática e teórica é o livro ``Transaction Processing: Concepts and Techniques''[Gray and Reuter, 1993b]