Keyphrases
- structural learning
- quantifier elimination
- constraint propagation
- presburger arithmetic
- directed acyclic graph
- functional programming
- graphical models
- cardinality constraints
- constraint databases
- first order logic
- bayesian networks
- linear programming
- probabilistic model
- machine learning
- query language
- execution model
- data model
- objective function
- database systems