Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution.
Bahareh Sadat ArabBoris GlavicPublished in: TaPP (2017)
Keyphrases
- symbolic execution
- answering queries
- static analysis
- query processing
- query language
- test generation
- test data generation
- database
- query evaluation
- artificial intelligence
- source code
- specification language
- fine grained
- approximate answers
- query answering
- general purpose
- data warehouse
- object oriented
- provenance information
- relational databases
- decision trees
- neural network