184.247 Deduktive Datenbanken
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2010W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

Verständnis der Sprache Datalog und Erweiterungen um Negation und Disjunktion. Fähigkeit zur Modellierung von Problemen mittels dieser Sprachen. HINWEIS: Die LVA wird voraussichtlich in Englisch abgehalten.

Inhalt der Lehrveranstaltung

Datalog, Logik und Datenbanken (Wiederholung und Vertiefung) Datalog mit Negation, Stratifikation, Semantik nichtstratifizierbarer Programme Datalog mit Disjunktion, Semantik disjunktiver Programme Modellierung verschiedener Problemstellungen Evaluierung von Datalogprogrammen, Optimierungen

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.10:00 - 11:0003.11.2010 - 03.11.2010Seminarraum FAV EG C (Seminarraum Gödel) Vorbesprechung
Di.09:00 - 12:0009.11.2010Seminarraum FAV EG B (Seminarraum von Neumann) 184.247: Deduktive Datenbanken
Di.09:00 - 12:0016.11.2010Seminarraum FAV EG B (Seminarraum von Neumann) 184.247: Deduktive Datenbanken
Di.09:00 - 12:0023.11.2010Seminarraum FAV EG B (Seminarraum von Neumann) 184.247: Deduktive Datenbanken
Do.09:00 - 12:0025.11.2010Seminarraum FAV 01 A (Seminarraum 183/2) 184.247: Deduktive Datenbanken
Do.09:00 - 12:0002.12.2010Seminarraum FAV 01 C (Seminarraum 188/2) 184.247: Deduktive Datenbanken

LVA-Anmeldung

Von Bis Abmeldung bis
02.11.2010 00:00

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Computational Intelligence Gebundenes Wahlfach
066 936 Medizinische Informatik Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach

Literatur

Folien Teil1: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part1.pdf

Folien Teil2: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part2.pdf

Folien Teil3: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part3.pdf

Folien Teil4: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part4.pdf

Folien Teil5: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part5.pdf

Zusätzl. Material: http://www.dbai.tuwien.ac.at/staff/woltran/additional_material.pdf

 

Sprache

Deutsch