Synthesizing Conjunctive Queries for Code Search.
Chengpeng WangPeisen YaoWensheng TangGang FanCharles ZhangPublished in: ECOOP (2023)
Keyphrases
- conjunctive queries
- query answering
- integrity constraints
- query evaluation
- np complete
- data complexity
- special case
- data exchange
- query language
- containment of conjunctive queries
- search algorithm
- query containment
- probabilistic databases
- query rewriting
- regular path queries
- boolean expressions
- decision problems
- query processing
- computational complexity