Registry
Module Specifications
Current Academic Year 2012 - 2013
Please note that this information is subject to change.
| |||||||||||||||||||||||||||||||||||||||||||||
| Description | |||||||||||||||||||||||||||||||||||||||||||||
|
INACTIVE - Students learn the theory, principles and practice of transaction processing systems, particularly with respect to algorithms and protocols for centralised and distributed database management systems (DBMSs). | |||||||||||||||||||||||||||||||||||||||||||||
| Learning Outcomes | |||||||||||||||||||||||||||||||||||||||||||||
|
1. Abstract key architectural principles from the implementation of modern database management systems, including both centralised and distributed systems 2. Analyse the correctness of database management systems with respect to transaction processing in centralised database management systems, including proofs thereof 3. Analyse the correctness of database management systems with respect to transaction processing in distributed database management systems, including proofs thereof 4. Identify correct and incorrect interleavings of parallel and/or concurrent transaction executions 5. Recommend algorithms to ensure correctness in parallel and/or concurrent transaction executions 6. Prove the correctness of algorithms that ensure correctness in parallel and/or concurrent transaction executions | |||||||||||||||||||||||||||||||||||||||||||||
All module information is indicative and subject to change. For further information,students are advised to refer to the University's Marks and Standards and Programme Specific Regulations at: http://www.dcu.ie/registry/examinations/index.shtml |
|||||||||||||||||||||||||||||||||||||||||||||
| Indicative Content and Learning Activities | |||||||||||||||||||||||||||||||||||||||||||||
|
Centralised DBMS architecture. An abstract model of the transaction-processing architecture of modern centralised DBMS systems. Distributed DBMS architecture. An abstract model of the transaction-processing architecture of modern distributed DBMS systems. Correctness criteria 1. Recoverability, avoiding cascading aborts, strictness. Correctness criteria 2. Serialisability, conflict serialisability, view serialisability. Centralised concurrency control. Two phase locking (including variants), timestamp-based concurrency control, correctness proofs. Distributed concurrency control. Distributed variants of concurrency-control protocols. Recovery principles. Undo rule, redo rule, architecture of a DBMS recovery subsystem. Centralised recovery. Shadow paging, write-ahead logging, recovery algorithms. Distributed recovery. two-phase commit, three-phase commit. | |||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||
| Indicative Reading List | |||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||
| Other Resources | |||||||||||||||||||||||||||||||||||||||||||||
| None | |||||||||||||||||||||||||||||||||||||||||||||
| Array | |||||||||||||||||||||||||||||||||||||||||||||
| Programme or List of Programmes | |||||||||||||||||||||||||||||||||||||||||||||
| BSSA | Study Abroad (DCU Business School) | ||||||||||||||||||||||||||||||||||||||||||||
| BSSAO | Study Abroad (DCU Business School) | ||||||||||||||||||||||||||||||||||||||||||||
| ECSA | Study Abroad (Engineering & Computing) | ||||||||||||||||||||||||||||||||||||||||||||
| ECSAO | Study Abroad (Engineering & Computing) | ||||||||||||||||||||||||||||||||||||||||||||
| HMSA | Study Abroad (Humanities & Soc Science) | ||||||||||||||||||||||||||||||||||||||||||||
| HMSAO | Study Abroad (Humanities & Soc Science) | ||||||||||||||||||||||||||||||||||||||||||||
| MS | BSc in Mathematical Sciences | ||||||||||||||||||||||||||||||||||||||||||||
| SHSA | Study Abroad (Science & Health) | ||||||||||||||||||||||||||||||||||||||||||||
| SHSAO | Study Abroad (Science & Health) | ||||||||||||||||||||||||||||||||||||||||||||
| Timetable this semester: Timetable for CA420 | |||||||||||||||||||||||||||||||||||||||||||||
| Date of Last Revision | 12-OCT-04 | ||||||||||||||||||||||||||||||||||||||||||||
| Archives: |
| ||||||||||||||||||||||||||||||||||||||||||||









