Foundations of Databases
On this page I will publish slides, exercises and other material for the course.
-
Introduction and Motivation
(Slides)
-
Databases and Queries
(Slides)
-
First-order Query Languages
(Slides)
-
Conjunctive Queries
(Slides)
-
Incomplete Databases
(Slides)
-
Datalog
(Slides)
-
Datalog with Negation
(Slides)
These are exercises that we have discussed in the lab sessions.
-
Queries in Calculus, Algebra, and SQL
To refresh your memories about relational algebra,
have a look a these
slides
from an earlier undergraduate course on database systems.
To run the SQL queries you wrote, download this
a main memory dbms,
which already contains data for the movie database.
-
Satisfiability of Comparisons
-
Datalog
(DLV Lab)
Here are the questions for the coursework:
-
Satisfiability, Safety, and Containment
(Assignment)
-
Positive and Conjunctive Queries
(Assignment)
-
Evaluation and Containment of Conjunctive Queries
(Assignment
)
-
Containment and Minimization of Conjunctive Queries and Their Unions
(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 to my Teaching page