Re: Datalog (DLV) question

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