research report      name index      key word index      corresp.unit            Page in german      Imprint + Privacy Policy   

Research focus:  

C 3-Professur f. Informatik (Seipel)
Am Hubland, 97074 Würzburg

Scientific members:


   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


Databases and Logic Programming