Foundations of Databases 2016/17



On this page I will publish slides, exercises and other material for the course.

  1. Databases and Queries  (Slides)
  2. Relational Algebra  (Slides)
  3. First-order Query Languages  (Slides)
  4. Conjunctive Queries  (Slides)
  5. Datalog  (Slides)
  6. Datalog with Negation  (Slides)


These are exercises that we have discussed in the lab sessions.
  1. Queries in Calculus, Algebra, and SQL

    To run the SQL queries you wrote, download this main memory dbms, which already contains data for the movie database.

    To check your solutions, you may want to compare them with these sample solutions.

  2. Satisfiability of Comparisons



Here are the questions for the coursework:
  1. Satisfiability, Safety, and Containment (Assignment, Sample Solutions)
  2. Positive and Conjunctive Queries (Assignment, Sample Solutions)
  3. Evaluation and Containment of Conjunctive Queries (Assignment, Sample Solutions)
  4. Containment and Minimization of Conjunctive Queries and Their Unions (Assignment)
  5. Datalog (Assignment)


To prepare for the exam, please, do this


The textbook with background material for the course is
Serge Abiteboul, Richard Hull, Victor Vianu. Foundations of Databases.
The book is available for download at the Technical University of Vienna: Frontmatter Toc A B C D E F Bibliography Index (username "stud", password "tu")


In addition to the book, several research papers contain material that is complementary to the content of the course.



BACK Back to my Teaching page