Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > education > Datenbanktheorie

Tools: Drucken


Datenbanktheorie

VU 181.140 (2.0) Sommersemester 2015

Reinhard Pichler


Table of Contents
News
Registration in TISS is open.
Please register until 2 March 2015.

General information


Registration and Admission


Course overview

In this course, some fundamental aspects of query languages will be touched on. The following topics will be covered (as time permits):


Schedule of lectures (preliminary plan)

Lecture Date/Place Topic Slides Supplementary material
1 Tuesday, 03-March
9:00 - 11:00
Seminarraum 188/2
General Information
Introduction: Relational Query Languages
dbt00, 4x1
dbt01, 4x1

Thursday, 05-March
16:00 - 18:00
HS11 Paul Ludwik,
Main Building
Quiz, first attempt


2 Tuesday, 10-March
9:00 - 11:00
Seminarraum 188/2
Introduction to Datalog
dbt02, 4x1
Thursday, 12-March
16:00 - 18:00
HS11 Paul Ludwik,
Main Building
Quiz, second attempt


3 Tuesday, 17-March
9:00 - 11:00
Seminarraum 188/2
Codd's Theorem
4 Tuesday, 24-March
9:00 - 11:00
Seminarraum 188/2
Trakhtenbrot's Theorem
Information on the Report and Presentation

5 Tuesday, 14-April
9:00 - 11:00
Seminarraum 188/2
Complexity of Query Evaluation

6 Tuesday, 21-April
9:00 - 11:00
Seminarraum 188/2
Conjunctive Queries
7 Tuesday, 28-April
9:00 - 11:00
Seminarraum 188/2
Conjunctive Queries (continued)


8 Tuesday, 5-May
9:00 - 11:00
Seminarraum 188/2
Ehrenfeucht-Fraïssé Games
9 Tuesday, 12-May
9:00 - 11:00
Seminarraum 188/2
Ehrenfeucht-Fraïssé Games
(continued)

10 Tuesday, 19-May
9:00 - 11:00
Seminarraum 188/2
Beyond relational data
Tuesday, 26-May no class


Tuesday, 2-June no class


11 Tuesday, 09-June
9:00 - 11:00
Seminarraum 188/2
Classical results of first-order logic
12 Tuesday, 16-June
9:00 - 11:00
Seminarraum 188/2
students' presentations

13 Tuesday, 23-June
9:00 - 11:00
Seminarraum 188/2
students' presentations

Tuesday, 30-June reserve



Assessment

Assessment will be based on students' presentations and an oral exam at the end of the term. Detailed information will be provided in the first class.

Selection of References

S. Abiteboul, R. Hull, and V. Vianu: Foundations of Databases, Addison-Wesley, 1995.
G. Gottlob, N. Leone, and F. Scarcello: The Complexity of Acyclic Conjunctive Queries, J. ACM 48(3): 431-498 (2001) (acm digital library).
G. Kolaitis: On the Expressive Power of Logics on Finite Models (pdf).


Last modified 2 March, 2015