activity
20132023
most citedScaling Package Queries to a Billion Tuples via Hierarchical Partitioning and Customized Optimization

2 citations · 8 across the 8 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.DB2013

Learning and Verifying Quantified Boolean Queries by Example

Azza Abouzied, Dana Angluin, Christos Papadimitriou +2

To help a user specify and verify quantified queries --- a class of database queries known to be very challenging for all but the most expert users --- one can question the user on…