Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Datalog (DLV) question

Re: Datalog (DLV) question

From: <andrew_at_acooke.org>
Date: 25 Dec 2006 08:41:59 -0800
Message-ID: <1167064919.229842.104210@f1g2000cwa.googlegroups.com>


For the record, I found that the simplest solution was to load an SQL database with the information and use the foreign key constraints to do the checking I wanted (this also has the advantage of being in a format that my co-workers understand). Some stored procedures make the DB load almost identical to the original DLV declarations.

Then I loaded the DB into DLV and did the analysis, knowing that the data were correct.

More details at http://www.acooke.org/cute/DatalogDLV0.html

Andrew

andrew_at_acooke.org wrote:
> Hi,
>
> I am a software engineer trying to describe a system of interacting
> services and the messages they send, in an attempt to better understand
> and improve the messaging.

[...] Received on Mon Dec 25 2006 - 10:41:59 CST

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US