Foundations of Database Systems
The slides of the course are in PDF and cover the following topics:
-
Relational Query Languages
(Slides,
Handouts)
-
Relational Query Languages with Negation
(Slides,
Handouts)
-
Query Optimization
(Slides,
Handouts)
-
Datalog
(Slides,
Handouts)
-
Datalog Evaluation
(Slides,
Handouts)
These are exercises that we have discussed in the lab sessions.
-
Queries in Predicate Logic and in SQL
-
Properties of Relational Queries
These are exercises that students do as coursework.
-
Formalising Databases and Queries
(Assignment)
-
Conjunctive Queries
(Assignment)
-
Satisfiability, Active Domain Semantics and
Safety
(Assignment)
-
Containment and Minimization of
Conjunctive Queries
(Assignment)
-
Containment of Conjunctive Queries (2)
(Assignment)
-
Datalog
(Assignment)
At the last lecture, we discussed the following
The
has been
marked.
The course is based on the book:
Serge Abiteboul, Richard Hull, Victor Vianu.
Foundations of Databases.
Addison-Wesley, Reading, Massachusetts, 1995.
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