Tightened Transitive Closure of Integer Addition Constraints.
Peter Z. ReveszPublished in: SARA (2009)
Keyphrases
- transitive closure
- datalog queries
- expressive power
- first order logic
- query evaluation
- recursive queries
- directed acyclic graph
- query containment
- constraint databases
- query language
- spatial databases
- machine learning
- database
- relational algebra
- data analysis
- multi dimensional
- natural language processing
- relational databases
- linear constraints
- knowledge base