DLVDB it

DLV^DB

DLVDB colma il divario tra le specifiche logiche di alto livello e i tradizionali sistemi di gestione di database (DBMS). Questa estensione di DLV è progettata per offrire un’interfaccia flessibile e performante verso i dati esterni, permettendo l’integrazione diretta con le infrastrutture dati aziendali esistenti.

Il sistema ottimizza drasticamente l’uso della memoria centrale (RAM) durante i processi di ragionamento, scaricando parte del carico computazionale direttamente sul database. DLVDB supporta due modalità operative: l’esecuzione diretta nel database (per programmi stratificati) e l’esecuzione in memoria principale, capace di caricare e incrociare input provenienti da diverse fonti distribuite tramite connessioni ODBC standard.

Licenza

DLV^DB è gratuito per uso accademico e non commerciale, nonché per l’uso da parte di organizzazioni senza scopo di lucro.
Le licenze per uso commerciale possono essere richieste scrivendo a info@dlvsystem.com.

Download

DLV^DB è scaricabile in versione a riga di comando per le piattaforme elencate in tabella.
Per versioni enterprise ottimizzate potete contattarci all’indirizzo email info@dlvsystem.com.

DLV^DB (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

Documentazione

Il manuale di DLV^DB è disponibile qui.

Ricerca e pubblicazioni

Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta GExperimenting 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.

Applicazioni rilevanti

Marco Manna, Francesco Ricca, Giorgio Terracina Consistent Query Answering via ASP from Different Perspectives: Theory and Practice. CoRR abs/1107.4570 (2011)
Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina Efficiently Querying RDF(S) Ontologies with Answer Set Programming. J. Log. Comput. 19(4): 671-695 (2009)