Decidable Optimization Problems for Database Logic Programs (Preliminary Report)
Stavros S. CosmadakisHaim GaifmanParis C. KanellakisMoshe Y. VardiPublished in: STOC (1988)
Keyphrases
- logic programs
- database
- optimization problems
- logic programming
- function symbols
- existentially quantified
- answer sets
- answer set programming
- databases
- stable models
- fixpoint
- background knowledge
- database systems
- prolog programs
- evolutionary algorithm
- computational properties
- relational databases
- data management
- inductive logic programming
- normal logic programs
- partial deduction
- strong equivalence
- metaheuristic
- term rewriting systems
- functional programs
- incomplete information
- polynomial hierarchy
- monotonicity constraints
- data model
- database queries
- fixpoint semantics
- query language
- object oriented
- logic program updates