Resolution and Datalog Rewriting Under Value Invention and Equality Constraints
Bruno MarnettePublished in: CoRR (2012)
Keyphrases
- equality constraints
- datalog programs
- equality and inequality constraints
- quadratic programming problems
- linear constraints
- decomposition algorithm
- nonlinear programming
- constrained optimization problems
- karush kuhn tucker
- inequality constraints
- complex valued
- deductive databases
- query language
- query answering
- convex quadratic optimization
- constrained optimization
- conjunctive queries
- optimal solution
- optimality conditions
- real valued
- optimization method
- np hard