DLVDB
DLVDB colma il divario tra specifiche basate sulla logica e DBMS. DLVDB è un’estensione di DLV che fornisce interfacce flessibili e facili con database esterni.
DLVDB riduce lo sfruttamento delle risorse di memoria principale durante le attività di ragionamento.
DLVDB supporta l’esecuzione diretta di database (valutazione di programmi nel database) di normali programmi stratificati e l’esecuzione in memoria principale, che carica i dati di input da diversi database (possibilmente distribuiti) ed esegue i programmi.
DLVDB è 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.
DLVDB è 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.
| 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 |
- 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)