Understanding the behavior of database operations under program control. - Juan M. Tamayo; Alex Aiken; Nathan Grasso Bronson; Mooly Sagiv (OOPSLA, 2012)