Constructing Expressive Relational Queries with Dual-Specification Synthesis

Christopher Baik, Zhongjun Jin, Michael J. Cafarella, H. V. Jagadish