Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.
Introduces the fundamentals of database management systems, covering relational model, storage options, data integrity, queries, and data manipulation languages.
Covers relational and spatial databases, including storage, management systems, ACID properties, historical typologies, primary and foreign keys, and spatial functions.