{"id":4030,"date":"2020-04-05T16:26:43","date_gmt":"2020-04-05T14:26:43","guid":{"rendered":"http:\/\/www.dlvsystem.it\/dlvsite\/?page_id=4030"},"modified":"2026-02-12T17:20:28","modified_gmt":"2026-02-12T16:20:28","slug":"dlvdb_it","status":"publish","type":"page","link":"https:\/\/www.dlvsystem.it\/dlvsite\/it\/dlvdb_it\/","title":{"rendered":"DLV<sup>DB<\/sup> it"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-background-position:left top;--awb-border-sizes-top:0px;--awb-border-sizes-bottom:0px;--awb-border-sizes-left:0px;--awb-border-sizes-right:0px;--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-bottom:60px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-one-full fusion-column-first fusion-column-last fusion-column-no-min-height\" style=\"--awb-bg-size:cover;--awb-margin-bottom:0px;\"><div class=\"fusion-column-wrapper fusion-flex-column-wrapper-legacy\"><div class=\"fusion-title title fusion-title-1 fusion-title-center fusion-title-text fusion-title-size-two\"><div class=\"title-sep-container title-sep-container-left\"><div class=\"title-sep sep- sep-solid\" style=\"border-color:#e2e2e2;\"><\/div><\/div><span class=\"awb-title-spacer\"><\/span><h2 class=\"fusion-title-heading title-heading-center fusion-responsive-typography-calculated\" style=\"margin:0;--fontSize:48;line-height:1.2;\">DLV<sup>DB<\/sup><\/h2><span class=\"awb-title-spacer\"><\/span><div class=\"title-sep-container title-sep-container-right\"><div class=\"title-sep sep- sep-solid\" style=\"border-color:#e2e2e2;\"><\/div><\/div><\/div><div class=\"fusion-text fusion-text-1\"><\/div><div class=\"fusion-sep-clear\"><\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"margin-left: auto;margin-right: auto;margin-top:18px;width:100%;\"><\/div><div class=\"fusion-sep-clear\"><\/div><div class=\"fusion-text fusion-text-2\"><p style=\"text-align: justify; \">DLVDB colma il divario tra le specifiche logiche di alto livello e i tradizionali sistemi di gestione di database (DBMS). Questa estensione di DLV \u00e8 progettata per offrire un&#8217;interfaccia flessibile e performante verso i dati esterni, permettendo l&#8217;integrazione diretta con le infrastrutture dati aziendali esistenti.<\/p>\n<p style=\"text-align: justify; \">Il sistema ottimizza drasticamente l&#8217;uso della memoria centrale (RAM) durante i processi di ragionamento, scaricando parte del carico computazionale direttamente sul database. DLVDB supporta due modalit\u00e0 operative: l&#8217;esecuzione diretta nel database (per programmi stratificati) e l&#8217;esecuzione in memoria principale, capace di caricare e incrociare input provenienti da diverse fonti distribuite tramite connessioni ODBC standard.<\/p>\n<\/div><div class=\"accordian fusion-accordian\" style=\"--awb-border-size:1px;--awb-icon-size:13px;--awb-content-font-size:21px;--awb-icon-alignment:left;--awb-hover-color:#f9f9f9;--awb-border-color:#cccccc;--awb-background-color:#ffffff;--awb-divider-color:#e0dede;--awb-divider-hover-color:#e0dede;--awb-icon-color:#ffffff;--awb-title-color:#333333;--awb-content-color:#646464;--awb-icon-box-color:#007aa6;--awb-toggle-hover-accent-color:#007aa6;--awb-title-font-family:&quot;PT Sans&quot;;--awb-title-font-weight:400;--awb-title-font-style:normal;--awb-title-font-size:20px;--awb-content-font-family:&quot;PT Sans&quot;;--awb-content-font-style:normal;--awb-content-font-weight:regular;\"><div class=\"panel-group fusion-toggle-icon-boxed\" id=\"accordion-4030-1\"><div class=\"fusion-panel panel-default panel-350ce48a83522e4f9 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_350ce48a83522e4f9\"><a aria-expanded=\"false\" aria-controls=\"350ce48a83522e4f9\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-4030-1\" data-target=\"#350ce48a83522e4f9\" href=\"#350ce48a83522e4f9\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Licenza<\/span><\/a><\/h4><\/div><div id=\"350ce48a83522e4f9\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_350ce48a83522e4f9\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p>DLV<sup>DB<\/sup> \u00e8 gratuito per uso accademico e non commerciale, nonch\u00e9 per l&#8217;uso da parte di organizzazioni senza scopo di lucro.<br \/>\nLe licenze per uso commerciale possono essere richieste scrivendo a info@dlvsystem.com.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-0a5c88b6a82dec0b3 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_0a5c88b6a82dec0b3\"><a aria-expanded=\"false\" aria-controls=\"0a5c88b6a82dec0b3\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-4030-1\" data-target=\"#0a5c88b6a82dec0b3\" href=\"#0a5c88b6a82dec0b3\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Download<\/span><\/a><\/h4><\/div><div id=\"0a5c88b6a82dec0b3\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_0a5c88b6a82dec0b3\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p>DLV<sup>DB<\/sup> \u00e8 scaricabile in versione a riga di comando per le piattaforme elencate in tabella.<br \/>Per versioni enterprise ottimizzate potete contattarci all&#8217;indirizzo email info@dlvsystem.com.<\/p>\n\n<div class=\"table-1\">\n<table width=\"100%\">\n<thead>\n<tr>\n<th style=\"text-align: center;\" colspan=\"3\" align=\"left\">DLV<sup>DB<\/sup> (latest release March 23th, 2012)<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td align=\"left\"><strong>GNU\/Linux i386 version<\/strong><\/td>\n<td align=\"left\"><strong>GNU\/Linux x86-64 version<\/strong><\/td>\n<td align=\"left\"><strong>Windows version<\/strong><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><a href=\"https:\/\/www.dlvsystem.it\/files\/dlvdb_unixlike.tar.gz\">dlvdb_unixlike.tar.gz<\/a><\/td>\n<td align=\"left\"><a href=\"https:\/\/www.dlvsystem.it\/files\/dlvdb_unixlike_x86-64.tar.gz\">dlvdb_unixlike_x86-64.tar.gz<\/a><\/td>\n<td align=\"left\"><a href=\"https:\/\/www.dlvsystem.it\/files\/dlvdb_win32.zip\">dlvdb_win32.zip<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n\n<\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-b42005e0e3a7a445e fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_b42005e0e3a7a445e\"><a aria-expanded=\"false\" aria-controls=\"b42005e0e3a7a445e\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-4030-1\" data-target=\"#b42005e0e3a7a445e\" href=\"#b42005e0e3a7a445e\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Documentazione<\/span><\/a><\/h4><\/div><div id=\"b42005e0e3a7a445e\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_b42005e0e3a7a445e\"><div class=\"panel-body toggle-content fusion-clearfix\">Il manuale di DLV<sup>DB<\/sup> \u00e8 disponibile <a href=\"https:\/\/www.dlvsystem.it\/dlvsite\/dlvdb-user-manual\/\" target=\"_blank\" rel=\"noopener noreferrer\">qui<\/a>.<\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-65299fa95236a12a6 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_65299fa95236a12a6\"><a aria-expanded=\"false\" aria-controls=\"65299fa95236a12a6\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-4030-1\" data-target=\"#65299fa95236a12a6\" href=\"#65299fa95236a12a6\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Ricerca e pubblicazioni<\/span><\/a><\/h4><\/div><div id=\"65299fa95236a12a6\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_65299fa95236a12a6\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<ul>\n<li>Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta <a href=\"https:\/\/doi.org\/10.1017\/S1471068407003158\"><span style=\"font-weight: 400;\">GExperimenting with recursive queries in database and logic programming systems. Theory Pract. Log. Program. 8(2): 129-165 (2008)<\/span><\/a><\/li>\n<\/ul>\n<ul>\n<li>G. Terracina, E. De Francesco, C. Panetta, N. Leone <a href=\"https:\/\/doi.org\/10.1007\/978-3-540-88737-9_10\"><span style=\"font-weight: 400;\"> Enhancing a DLP System for Advanced Database Applications, Proc. of International Conference on Web Reasoning and Rule Systems (RR\u201908), 119-134, Karlsruhe, Germany, 2008, Lecture Notes in Computer Science, Springer.<\/span><\/a><\/li>\n<\/ul>\n<p>Applicazioni rilevanti<\/p>\n<ul>\n<li>Marco Manna, Francesco Ricca, Giorgio Terracina <a href=\"http:\/\/arxiv.org\/abs\/1107.4570\"><span style=\"font-weight: 400;\">Consistent Query Answering via ASP from Different Perspectives: Theory and Practice. CoRR abs\/1107.4570 (2011)<\/span><\/a><\/li>\n<li>Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina <a href=\"https:\/\/doi.org\/10.1093\/logcom\/exn043\"><span style=\"font-weight: 400;\">Efficiently Querying RDF(S) Ontologies with Answer Set Programming. J. Log. Comput. 19(4): 671-695 (2009)<\/span><\/a><\/li>\n<\/ul>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-clearfix\"><\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-4030","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/4030","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/comments?post=4030"}],"version-history":[{"count":12,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/4030\/revisions"}],"predecessor-version":[{"id":5372,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/4030\/revisions\/5372"}],"wp:attachment":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/media?parent=4030"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}