Progress Report on the Disjunctive Deductive Database System

Download PDF
Open Webpage

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Published: 01 Jan 1998, Last Modified: 12 May 2025FQAS 1998EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: dlv is a deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms. The system has been developed since the end of 1996 at Technische Universität Wien in an ongoing project funded by the Austrian Science Funds (FWF).