DLVDB
DLVDB bridges the gap between logic-based specifications and DBMSs. DLVDB is an extension of DLV that provides flexible and user-friendly interfaces with external databases.
DLVDB reduces the exploitation of main memory resources during the reasoning tasks.
DLVDB supports direct database execution (evaluation of programs in databases) of stratified normal programs and main memory execution, which loads input data from different (possibly distributed) databases and executes programs in main memory.
In both cases, interoperation with databases is provided by ODBC connections.
DLVDB is free for academic and non-commerical educational use, as well as for use by non-profit organisations.
Licences for commercial use can be requested by writing to info@dlvsystem.com
DLVDB is available in command-line versions for the platforms listed below.
For enterprise optimized versions please send us an email to info@dlvsystem.com.
| DLVDB (latest release March 23th, 2012) | ||
|---|---|---|
| GNU/Linux i386 version | GNU/Linux x86-64 version | Windows version |
| dlvdb_unixlike.tar.gz | dlvdb_unixlike_x86-64.tar.gz | dlvdb_win32.zip |
The DLVDB manual is available here
- Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta: Experimenting with recursive queries in database and logic programming systems. Theory Pract. Log. Program. 8(2): 129-165 (2008)
- G. Terracina, E. De Francesco, C. Panetta, N. Leone, Enhancing a DLP System for Advanced Database Applications, Proc. of International Conference on Web Reasoning and Rule Systems (RR’08), 119-134, Karlsruhe, Germany, 2008, Lecture Notes in Computer Science, Springer.
Relevant Applications