C 3-Professur f. Informatik (Seipel)
Am Hubland, 97074 Würzburg
Other participating persons and organisations:
Research foci (and basic equipment-based research projects):
Deductive Databases use concepts from Logic Programming for
powerfull, declarative query languages and for managing
This knowledge can be given in the form of facts - which
correspond to tuples in relational databases - or general
rules for deducing new knowledge.
Rules form a significant extension to the queries and views
that are known from the standard relational query language
SQL, and also complex integrity constraints can be expressed
more easily using rules.
New application domains for knowledge bases require the
handling of uncertain or incomplete knowledge.
For instance, in disjunctive deductive databases knowledge
can be represented by facts and rules with disjunctive
In the project DisLog we develop, investigate and implement
semantics and evaluation techniques for advanced knowledge