Advanced Data Modeling

 Lecture & Tutorials  Time & Location  Topics  Lectures & Tutorials  Assignments Credits Readings

Lecture & Tutorials

Lecturer: Prof. Dr. Steffen Staab

Teaching assistants: Renata Dividino

The lecture and tutorials will be given in English.

* Lectures from12.04.2010 - 14.06.2010

* Tutorials  from 13.04.2010 - 15.06.2010

* Exam: tba

* KLIPS: Classes & Tutorial

 Time & Locations:

Topics

Logics for Data Modeling

• Paradigm 1: Modell theoretic semantics
• Paradigm 2: Minimal model semantics
• Fittings model - a unifying paradigm

Distributed Data Modeling

• Distributed Join Processing
• Map/Reduce
• Pig

Provenance Querying

Lectures

Assignments: 

Credits

Credits are earned by passing the exam.

You may earn additional points counting towards the exam by completing the excercise assignments consisting of theoretical and practical excercises.

The assignments sum up to 90 points (10 points pro assignment)

AP >= 90% Total AP  =>   0.6 points improvement

AP >= 75%  Total AP  => 0.3 points improvement

AP - Assignment points

You should actively participate in the excercise group. Each student has to present at least 2 exercises in the backboard during the semester.

Readings

* Melvin Fitting: Fixpoint semantics for logic programming a survey. Theor. Comput. Sci. 278(1-2): 25-51 (2002).

* Leonid Libkin: The Finite Model Theory Toolbox of a Database Theoretician. Invited Tutorial at PODS-2009. ACM Press.

* Lloyd: Foundations of Logic Programming.

* François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei: Foundations of Rule-Based Query Answering. Reasoning Web 2007: 1-153. Springer Verlag, 2007.