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) Wintersemester 2019/20

Reinhard Pichler


Table of Contents
News
There will be a class on Monday, 28 October.
The classes on 4/5 November have been cancelled.

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

Lecture Date/Place Topic Slides Supplementary material
1 Tuesday, 08 October
9:00 - 11:00
Seminarraum FAV EG B
General Information
short recapitulation of block 1 of the lecture
Formale Methoden der Informatik (185.291)
dbt00, 4x1
cc02, 4x1

Thursday, 10 October
09:00 - 11:00
EI 5 Hochenegg HS
Quiz, first attempt

2 Tuesday, 15 October
9:00 - 11:00
Seminarraum FAV EG B
Introduction: Relational Query Languages
dbt01, 4x1
Thursday, 17 October
09:00 - 11:00
EI 5 Hochenegg HS
Quiz, second attempt


3 Monday, 21 October
9:00 - 11:00
Seminarraum FAV 01 B
Introduction to Datalog
dbt02, 4x1
4 Tuesday, 22 October
9:00 - 11:00
Seminarraum FAV EG B
Codd's Theorem dbt03, 4x1
5 Monday, 28 October
9:00 - 11:00
Seminarraum FAV 01 B
Trakhtenbrot's Theorem
Information on the Report and Presentation
dbt04, 4x1
report, 4x1

29 October no class


4/5 November no class


11/12 November no class


6 Monday, 18 November
9:00 - 11:00
Seminarraum FAV 01 B
Complexity of Query Evaluation


7 Tuesday, 19 November
9:00 - 11:00
Seminarraum FAV EG B
Conjunctive Queries
8 Monday, 25 November
9:00 - 11:00
Seminarraum FAV 01 B
Conjunctive Queries (continued)

9 Tuesday, 26 November
9:00 - 11:00
Seminarraum FAV EG B
Ehrenfeucht-Fraïssé Games
10 Monday, 2 December
9:00 - 11:00
Seminarraum FAV 01 B
Ehrenfeucht-Fraïssé Games
(continued)


11 Tuesday, 3 December
9:00 - 11:00
Seminarraum FAV EG B
Beyond relational data

12 Monday, 9 December
9:00 - 11:00
Seminarraum FAV 01 B
students' presentations, part 1

13 Tuesday, 10 December
9:00 - 11:00
Seminarraum FAV EG B
students' presentations, part 2

14 Monday, 16 December
9:00 - 11:00
Seminarraum FAV 01 B
reserve

Assessment

Assessment will be based on students' presentations and an oral exam in the last week before the Christmas holidays.

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 22 October, 2019

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung