CSE4700

Formal methods in database systems (6 points)

(IT)

Leader: A Zaslavsky

Offered:
Not offered in 2003.

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%

Contact Hours: 4 hours per week

Prohibitions: COT4700