Teaching
| Title: | Deductive Databases |
|---|---|
| Type: | Lecture with exercises |
| Abbr. / No.: | 10-I=DDB / 129921 |
| SWS / LP: | 4V+2Ü / 8LP |
| Lecturer: | Dietmar Seipel |
| Supervisor: | Falco Nogatz |
| Dates: | Lecture: |
| Learning management system: | This course is done with the help of WueCampus. Please register here. |
| Exam dates: | (tba) |
| Description | |
| Language: | German |
| Regular cycle: | every summer term |
| Level: | Advanced |
| Content: | Syntax and semantic of logic programs; data structures, program structures and application for Prolog; analytical methods for Datalog; negation and stratification; disjunctive logic programs. |
| Learning outcomes: | The students possess expertise in handling Prolog and Datalog (including negation and disjunction). |
