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

2019S, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

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

Aim of course

Inntroduction to Database Theory: Understanding of basic notions, concepts, methods, and results.

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

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

Examination modalities

presentation of a research article and oral exam

Course registration

Begin End Deregistration end
11.02.2019 00:00 05.03.2019 23:55 19.03.2019 23:55

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").

Miscellaneous

Language

English