Logical Approach to Physical Data Independence and Query Compilation

Textbook

You can get an electronic (pdf) copy of the textbook here for free (while on UW campus network), or a hard-copy if you prefer from Amazon.

Class Schedule and Outlines:

• Lecture 1: Introduction and Background

  Reading:

  • original paper on relational model by Codd,
  • relational calculus reference (optional: in case you need to get up to speed).

• Lecture 2: Classical OBDA and Friends

  Reading:

  • Rewriting Approach,
  • Combined Approach,
  • Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791 (1984).

• Exercise 1: Background and OBDA

• Lecture 3: Query Compilation and Basic Physical Design

  Reading:

  • Chapters 1-3 and 5 from the textbook.

• Lecture 4: Advanced Physical Designs

  Reading:

  • Chapter 4 from the textbook.

• Exercise 2: Physical Design

• Lecture 5: Query Compilation Techniques, Database Add-ons

  Reading:

  • Chapters 5 from the textbook,
  • Tableaux based Interpolation in FOL.

• Lecture 6: Updating Data, Future Directions et al.

  Reading:

  • Chapters 6 from the textbook,
  • Constant Complement.

• Exercise 3: Query execution and Compilation; Update

  ---