Sudeepa Roy, Dan Suciu. A formal approach to finding explanations for database queries. In Curtis E. Dyreson, Feifei Li, M. Tamer Özsu, editors, International Conference on Management of Data, SIGMOD 2014, Snowbird, UT, USA, June 22-27, 2014. pages 1579-1590, ACM, 2014. [doi]
Abstract is missing.