Speeding up symbolic reasoning for relational queries.
Chenglong WangAlvin CheungRastislav BodíkPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- relational queries
- symbolic reasoning
- symbolic representation
- sql queries
- production rules
- probabilistic databases
- answering queries
- conjunctive queries
- xml queries
- query answering
- relational databases
- artificial intelligence
- query evaluation
- data exchange
- knowledge based systems
- distance measure
- knowledge representation
- execution plan
- data analysis
- data streams