COT4700

Formal methods in database systems

(IT)

A Zaslavsky

6 points + 4 hours per week + First, second semester + Caulfield

Synopsis: Relational query languages, static analysis and optimisation, semantic data models, database constraints and dependencies, datalog semantics, complex and incomplete values in databases, functional and temporal dependencies, spatial databases, formal definition of object-oriented databases, dynamic aspects of database systems, active databases, advanced transaction models and formalisms, simulation methods in databases, database concurrency theory and recovery.

Assessment: Research papers and literature survey: 50% + Oral presentations: 15% + Practical work: 35%