NP Datalog
𝒩𝒫𝒟atalog: A logic language for expressing 𝒩𝒫 search and optimization problems. This paper presents a logic language for expressing 𝒩𝒫 search and optimization problems. Specifically, first a language obtained by extending (positive) DATALOG with intuitive and efficient constructs (namely, stratified negation, constraints, and exclusive disjunction) is introduced. Next, a further restricted language only using a restricted form of disjunction to define (nondeterministically) subsets (or partitions) of relations is investigated. This language, called 𝒩𝒫𝒟atalog, captures the power of DATALOG ¬ in expressing search and optimization problems. A system prototype implementing 𝒩𝒫𝒟atalog is presented. The system translates 𝒩𝒫𝒟atalog queries into Optimization Programming Language (OPL) programs which are executed by the ILOG OPL Development Studio. Our proposal combines easy formulation of problems, expressed by means of a declarative logic language, with the efficiency of the ILOG System. Several experiments show the effectiveness of this approach.
Keywords for this software
References in zbMATH (referenced in 9 articles , 1 standard article )
Showing results 1 to 9 of 9.
Sorted by year (- Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina: Using linear constraints for logic program termination analysis (2016)
- Greco, Sergio; Parisi, Francesco: Incremental computation of deterministic extensions for dynamic argumentation frameworks (2016)
- Ameloot, Tom J.; Van den Bussche, Jan: Positive Dedalus programs tolerate non-causality (2014)
- Sáenz-Pérez, Fernando: Outer joins in a deductive database system (2012) ioport
- Sáenz-Pérez, Fernando: DES: a deductive database system (2011) ioport
- Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina; Zumpano, Ester: (\mathcalNPD)atalog: A logic language for expressing (\mathcalNP) search and optimization problems (2010)
- Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina; Zumpano, Ester: NP Datalog: a logic language for expressing NP search and optimization problems (2009) ioport
- Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola: Magic Sets and their application to data integration (2007)
- Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola: Magic sets and their application to data integration (2005)
Further publications can be found at: http://wwwinfo.deis.unical.it/npdatalog/bibliography/bibliography.htm