Tentative schedule

Week 1: Orientation and Review of the Relational Model and Queries

• Topics:
  Relational Model: review of standard results and possible extensions: complex objects, recursion, interpreted structures.
• Reading (optional):
  Foundations of Databases (Abiteboul, Hull, and Vianu, Addison-Welsley)

Week 2-3: Temporal Databases and Query Languages

• Topics:
  Abstract models, compact representation in secondary storage, query languages (temporal logic vs. first-order logic), practical proposals (points vs. intervals), efficient query evaluation, histories of relational databases.
• Reading:
  Temporal Query Languages: a Survey (Chomicki)
  Temporal Logic in Information Systems (Chomicki and Toman, in Logics for Databases and Information systems, Kluwer 1998)
  A Comparison of Access Methods for Time Evolving Data (Salzberg and Tsotras, Computing Surveys to appear)
  
• Projects:
  Implementation of a temporal extension of SQL

Week 4-5: Constraint Query Languages

• Topics:
  Constraint representation, queries, query evaluation and constraint algebras, applications (e.g., to spatial databases and GIS), recursion and termination.
• Reading:
  Constraint Query Languages (Kanellakis, Kuper, and Revesz, JCSS 51(1) 1995)
  Constraint Query Algebras (Goldin and Kanellakis, Constraints 1(1), 1997)
  Languages for Relational Databases over Interpreted Structures (Benedikt and Libkin, PODS'97)
  
• Projects:
  Memoing evaluation of constraint extension(s) of Datalog
  Closure properties of queries and encodings
  Termination for constraint extensions of Datalog
  

Week 6: Temporal Integrity Constraints

• Topics:
  What does it really mean that a history satisfies a constraint? (and the consequences), general properties of histories, temporal Logics as specification languages, bounded encodings and active databases.
• Reading:
  On the Feasibility of Checking Temporal Integrity Constraints. (Chomicki and Niwinski, JCSS 51(3), 1995)
  Deriving Integrity Maintaining Triggers from Transition Graphs. (Gertz and Lipeck, ICDE'93)
  Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. (Chomicki, TODS 20(2), 1995)
  

Week 7-8: OLAP

• Topics:
  What's the difference from OLTP, the Data Cube, algorithms for efficient (re-)computation of queries, queries over histories of databases.
• Reading:
  OLAP and Statistical Databases: Similarities and Differences (Shoshani, PODS'97)
  Alberto Mendelzon's reading list on OLAP and DW (list of papers)

Week 9-10: Data Mining

• Topics:
  Exploratory statistics and data mining, efficient algorithms for data mining.
• Reading:
  IBM Almaden publications on Data Mining (list of papers)
  
• Projects:
  Statistical methods in data mining
  

Week 11-12: Information Integration and Data Warehousing

• Topics:
  Integration of heterogeneous sources of data, data warehouses and materialized views, data quality
• Reading:
  Information Manifold: Data Model and Query Evaluation in Global Information System (Levy at. al.)
  The TSIMMIS approach to mediation: Data models and Languages (Gracia-Molina et. al., Journal of Intelligent IS, 1997)
  Alberto Mendelzon's reading list on OLAP and DW (list of papers)

Week 13: Project presentations

• (to be filled later)

Slack:

• Approximate query answering
• Nested, complex-object, and object-oriented approaches
• Description logics for query optimization
• Managing change in databases, logics of change