ADB 2003

Official Course Homepage

The course is about advanced databases

The course focuses on deductive databases which extend relational databases with declarative rules providing additional expressiveness for modelling and querying

The course also includes an introduction to the logic programming language Prolog - viewed as a database language...

Slides & Notes

Introduction Talk - SLIDES   (17 pages / 336.379 bytes)

Logic & Databases - SLIDES   (5 pages / 137.719 bytes)

The Impact of Logic Programming on Databases - SLIDES   (15 pages / 107.863 bytes)

SWI-Prolog Dummy Ident Table Embed Solve Hanoi

Logical Puzzle Solution Program

A short introduction to abduction in logic programming, its application to view update, and its implementation in CHR

Schedule - SLIDES

Meta-programming - SLIDES Sample session Program Test DCG example


www.dat.ruc.dk/~jv/ADB2003