Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness.
Roberto BagnaraPatricia M. HillEnea ZaffanellaPublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- computationally efficient
- relational databases
- high level
- computational efficiency
- orders of magnitude
- databases
- recently developed
- times faster
- theoretical analysis
- computational cost
- computational complexity
- optimization problems
- significant improvement
- data structure
- database systems
- learning algorithm
- combinatorial optimization
- database
- relational data