181.140 Database Theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023W, VU, 2.0h, 3.0EC, to be held in blocked form
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to

  • enumerate various research areas of database theory research
  • explain the most important questions concerning query languages
  • analyse themselves the complexity and expressive power of query languages

Subject of course

Fundamental Aspects of database query languages:
*) relational query languages (introduction)
*) Datalog
*) Codd's Theorem: relational calculus, relational algebra, datalog
*) Trakhtenbrot's theorem
*) Complexity of query evaluation
*) Conjunctive queries
*) Expressive power, Ehrenfeucht-Fraisse games

Teaching methods

The first part of the course consists in presentations by the lecturer on the aspects of database query languages mentioned above.

In the second part of the course, the students have to present one research article each from this area

 

 

Mode of examination

Immanent

Additional information

ECTS Breakdown

 2 h quiz 
23 h lecture (10 classes including preparation)
35 h research article (report, presentation)
 15 h preparation for oral exam
-----------------------------------------------------------
75 h = 3 Ects

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue09:00 - 11:0003.10.2023 - 23.01.2024Seminarraum FAV EG C (Seminarraum Gödel) lecture
Database Theory - Single appointments
DayDateTimeLocationDescription
Tue03.10.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue10.10.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue17.10.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue24.10.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue31.10.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue07.11.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue14.11.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue21.11.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue28.11.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue05.12.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue12.12.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue19.12.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue09.01.202409:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Tue23.01.202409:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) lecture
Course is held blocked

Examination modalities

Assessment is based on the presentation of the research article and an oral exam.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue11:00 - 12:0011.02.2025 Inst. Logic and Compuation, Favoritenstrasse 9-11, Stairs 3, 3rd Floororal21.01.2025 00:00 - 07.02.2025 00:00TISSoral exam
Thu13:00 - 14:0013.02.2025 Inst.Logic and Compuation, Favoritenstrasse 9-11, Stairs 3,3rd Floororal21.01.2025 00:00 - 07.02.2025 00:00TISSoral exam

Course registration

Begin End Deregistration end
18.09.2023 00:00 05.10.2023 00:00 23.10.2023 00:00

Curricula

Literature

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley, 1995, ISBN 0-201-53771-0.

Previous knowledge

Students are assumed to have a basic knowledge in mathematical logic and to be familiar with basic concepts of complexity theory (to the extent taught in the course "Formale Methoden der Informatik").

Language

English