DES: A Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
A deductive database with datalog and SQL query languages
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Outer Joins in a Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
This paper presents a logic language, called NP Datalog for NP search and optimization problems. The 驴search驴 language extends stratified Datalog with constraints and partition rules defining (nondeterministically) partition of relations. NP optimization problems are then formulated by adding a max(or min) construct to select the solution (stable model) which maximizes (resp., minimizes) the result of a polynomial function applied to the answer relation. We show that NP Datalog queries can be easily evaluated by translating them into ILOG programs which are next solved by means of the ILOG OPL Studio suite. To prove the effectiveness of our proposal, we have implemented a module, written in Sicstus Prolog, which takes in input a NP Datalog query and outputs an equivalent ILOG program. Several experiments comparing the computation of queries by different logic systems have been also performed.