{"id":3509,"date":"2019-12-15T16:18:03","date_gmt":"2019-12-15T15:18:03","guid":{"rendered":"http:\/\/www.dlvsystem.it\/dlvsite\/?page_id=3509"},"modified":"2022-03-09T11:25:45","modified_gmt":"2022-03-09T10:25:45","slug":"dlvdb","status":"publish","type":"page","link":"https:\/\/www.dlvsystem.it\/dlvsite\/dlvdb\/","title":{"rendered":"DLVDB<\/sup>"},"content":{"rendered":"
<\/div><\/div><\/span>

DLVDB<\/sup><\/h2><\/span>
<\/div><\/div><\/div>
<\/div>
<\/div>
<\/div>
<\/div>

DLVDB<\/sup> bridges the gap between logic-based specifications and DBMSs. DLVDB<\/sup> is an extension of DLV that provides flexible and user-friendly interfaces with external databases.<\/p>\n

DLVDB<\/sup> reduces the exploitation of main memory resources during the reasoning tasks.<\/p>\n

DLVDB<\/sup> 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.<\/p>\n

In both cases, interoperation with databases is provided by ODBC connections.<\/span><\/p>\n<\/div>

<\/i><\/i><\/span>Licensing<\/span><\/a><\/h4><\/div>
\n

DLVDB<\/sup> is free for academic and non-commerical educational use, as well as for use by non-profit organisations.
<\/span>Licences for commercial use can be requested by writing to info@dlvsystem.com<\/span><\/p>\n<\/div><\/div><\/div>

<\/i><\/i><\/span>Download<\/span><\/a><\/h4><\/div>
\n

DLVDB<\/sup> is available in command-line versions for the platforms listed below.
For enterprise optimized versions please send us an email to info@dlvsystem.com.<\/span><\/p>\n\n

\n\n\n\n\n\n\n
DLVDB<\/sup> (latest release March 23th, 2012)<\/th>\n<\/tr>\n<\/thead>\n
GNU\/Linux i386 version<\/strong><\/td>\nGNU\/Linux x86-64 version<\/strong><\/td>\nWindows version<\/strong><\/td>\n<\/tr>\n
dlvdb_unixlike.tar.gz<\/a><\/td>\ndlvdb_unixlike_x86-64.tar.gz<\/a><\/td>\ndlvdb_win32.zip<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n\n<\/div><\/div><\/div>

<\/i><\/i><\/span>Documentation<\/span><\/a><\/h4><\/div>
\n

The DLVDB<\/sup> manual is available here<\/a><\/p>\n<\/div><\/div><\/div>

<\/i><\/i><\/span>Research & Publications<\/span><\/a><\/h4><\/div>
\n