Keywords:
Computer science
;
Models and Principles
;
Computer Science
Description / Table of Contents:
Database systems -- General purpose schedulers -- Logs -- Correctness criteria for general purpose schedulers -- Constructing general purpose schedulers -- Conflict-preserving schedulers -- Database description -- Database manipulation -- Concurrent dynamic logic -- Correctness of transaction systems -- Conclusions and directions for future work.
Type of Medium:
Online Resource
Pages:
Online-Ressource (VII, 175 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540387473
Series Statement:
Lecture notes in computer science 116
URL:
http://www.springerlink.com/content/q4u61516l100
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-10845-0
URL:
http://dx.doi.org/10.1007/3-540-10845-9
URL:
https://doi.org/10.1007/3-540-10845-9
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DE004B87B7DE1F26B30ABC1257A030060AB72.pdf
DOI:
10.1007/3-540-10845-9
Language:
English
Note:
Literaturverz. S. [170] - 175
Permalink