Advertisement

Translating Datalog-Like Optimization Queries into ILOG Programs

  • G. Greco
  • S. Greco
  • I. Trubitsyna
  • E. Zumpano
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2664)

Abstract

This paper presents a logic language, called \( \mathcal{N}\mathcal{P}{\mathbf{ }}Datalog \) suitable for expressing NP search and optimization problems. The ‘search’ language extends stratified Datalog with constraints and allows disjunction to define nondeterministically partitions of relations. It’s well known that \( \mathcal{N}\mathcal{P} \) search problems can be formulated as unstratified DATALOG queries under nondeterministic stable model semantics so that each stable model corresponds to a possible solution. \( \mathcal{N}\mathcal{P} \) optimization problems are then formulated by adding a max (or min) construct to select the stable model (thus, the solution) which maximizes (resp., minimizes) the result of a polynomial function applied to the answer relation. The problem in using DATALOG¬ to express search and optimization problems is that the unrestricted negation in programs is often neither simple nor intuitive and, besides, it does not allow to discipline the expressive power. Thus, we consider restricted forms of negation which force user to write programs in a more disciplined way without loosing of expressive power. More specifically, we consider the language \( \mathcal{N}\mathcal{P}{\mathbf{ }}Datalog \) which extends DATALOG¬s with two simple forms of unstratified negation embedded into built-in constructs: head disjunction and constraints. Thus the core of our language is stratified Datalog extended with two constructs allowing nondeterministic selections and with query goals enforcing conditions to be satisfied by stable models.

References

  1. 1.
    Greco, S., and Saccà, D., NP-Optimization Problems in Datalog. Proc. Int. Logic Programming Symp., 1997, 181–195.Google Scholar
  2. 2.
    Kolaitis, P. G., and Thakur, M. N., Logical Definability of NP Optimization Problems. Information and Computation, No. 115, 1994, 321–353.Google Scholar
  3. 3.
    Van Hentenryck, P., The OPL Optimization Programming Language Mit Press, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • G. Greco
    • 1
  • S. Greco
    • 1
  • I. Trubitsyna
    • 1
  • E. Zumpano
    • 1
  1. 1.DEISUniv. della CalabriaRendeItaly

Personalised recommendations