Skip to Content

Path: DBAI > education > Datenbanktheorie

---

Datenbanktheorie

181.140 VU SS 2.0 -- Sommersemester 2008
Prof. Dr. Georg Gottlob

Nur für Magister- und Doktoratsstudien

Contents:

• Querying databases in First Order Logic
• Complexity of database querying
• Trakhtenbrot's Theorem: The algorithmic impossibility of a perfect query optimizer.
• Conjunctive queries
• Query containment and equivalence for Conjunctive Queries
• Conjunctive query minimization
• Acyclic queries
• Tree decompositions, query decompositions, and hypertree decompositions
• Expressive power of query languages
• Ehrenfeucht Fraissee-Games
• Recursive query languages (Datalog, Fixpoint Queries)
• Monadic Logic for querying semistructured data
• Additional topics time permitting

Dates:

The lecture is held in one block and two introductory lectures:

Date	Time	Location	Content
13.03.2008	15-17	Seminarraum 184/2	Organization and introduction
16.04.2008	11-13	Seminarraum 184/2	Introduction to Datalog
21.04.2008	11-13	Seminarraum 184/2
22.04.2008	11-13	Seminarraum 184/2
23.04.2008	11-13	Seminarraum 184/3
24.04.2008	11-13	Seminarraum 184/3
25.04.2008	11-13	Seminarraum 184/2
26.04.2008	11-13	Seminarraum 184/2
23.06.2008	10-13	Seminarraum 184/2	Presentation
24.06.2008	10-13	Seminarraum 184/2	Presentation

Registration:

TUWIS ++ from 18.02.2008 to 07.03.2008.

Course Information:

Courses:

8 classes + homework

Exam:

Prepare 24 exercises form the problemsheets (the list is available here). Please send your composition to seyr@dbai.tuwien.ac.at. Deadline for the submission is Monday, 2.6. For each day you miss the deadline you will get 5 points less. Everyone has to present one exercise during the presentation phase. You will find a list which exercise you have to present on this web site after the marking of the composition on Monday, 16.6. For the presentation you get 10 extra points. The grading will be as follows:

points	0-50%	50,1%-62%	62.1%-75%	75.1%-87%	87.1%-100%
grade	N5	G4	B3	U2	S1

Slides and Book:

The slides of the lecture and the book: Abiteboul, Hull, Vianu: Foundations of Databases, Addison-Wesley, 1995 (out of print, but e-version available) can be downloaded here

---

Last changes: 25.04.2008

---

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