Logical Approach to Physical Data Independence and Query Compilation	Technische Universität Dresden Institute for theoretical Computer Science Chair for Automata Theory
	Prof. David Toman

Announcement:

Topic of the lecture

The focus of the lectures is on enabling the use of database (mostly relational) technology in areas that are not well served by traditional relational implementations, such as Oracle or DB2. The central theme of the course be centered around conceptual vs. physical database design issues and will demonstrate how advanced physical designs can be used in non-traditional settings, such as main-memory databases and embedded systems. The class also introduces tools that allow executing queries/updates over such advanced physical designs with the goal of competing with hand-crafted C code in performance.

Outline of the lecture

1. Introduction Goals and Current Practice.
2. Physical Design and Schema Languages.
3. How do we execute queries? (take 1: conjunctive queries)
4. How do we execute queries? (take 2: first-order queries)
5. Look into the Future (discussion/seminar)

The lecture material can be found here.

Preliminary schedule

The lecture starts on Wednesday, April 9th, at 9:20pm 16:40pm in room 3027 of the computer science building. The lecture is held as a block lecture in the room 005 and room 3027 at the following dates:

	Monday, 14:50-16:20 (DS 5) 16:40-18:10 (DS 6) Room: E 005	Tuesday, 14:50-16:20 (DS 5) Room: E 005	Wednesday, 16:40-18:10 (DS 6) Room: 3027	Thursday, 14:50-16:20 (DS 5) Room: E 005
7 April to 11 April	-	-	Lecture	Lecture
14 April to 18 April	Exercise, Lecture	-	Lecture	Exercise
21 April to 25 April	-	Lecture	Lecture	Exercise

Position in the Curriculum

Depending on your course of studies, you can use this lecture for the following modules:

• Computational Logic: MCL-KR, MCL-PI, MCL-TCSL; 3 credit points

Prerequisites

Basic knowledge in computational complexity is helpful.
For computer science students: “Formale Systeme” or “Grundlagen der Theoretischen Informatik”

Language

The language of the lecture is English.

Contact

The lecture is held by guest Professor Prof. David Toman.