6 citations · 6 across the 2 of their papers we have counts for
Showing cs.DBShow all
2 papers · 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…
cs.DB2003★ 6 cited
The Lowell Database Research Self Assessment
Serge Abiteboul, Rakesh Agrawal, Phil Bernstein +26
A group of senior database researchers gathers every few years to assess the state of database research and to point out problem areas that deserve additional focus. This report su…