CS239: SPRING 1996

Temporal Databases, Temporal Logic and Dynamic Models

Instructor:

Carlo Zaniolo BH-3532

(Office hours: WD, 1:30-3:30)

Syllabus

• Introduction
• Temporal issues in intelligent information systems
• An ontology of time
• Temporal constructs in SQL
• storage structures query optimization for temporal DBs
• Time-series
• Temporal logics, Datalog_1S and logic based systems
• modeling database dynamics (petri nets state charts)
• midterm
• architectures and implementations
• advanced topics-- students' presentations.

Grade Basis:

• Midterm
• Presentations
• take-home project+final.

Required Background

Students must have completed cs240A or equivalent.

Recommended Books

Tansel a. et al., Temporal databases: theory design implementation. Benjamin/Cumming, 1993.

R. T. Snodgrass, The TSQL2 Temporal Query Language, Kluwer Academic Publishers, 1995.