On the correct and complete enumeration of the core search space

Guido Moerkotte, Pit Fender, Marius Eich. On the correct and complete enumeration of the core search space. In Kenneth A. Ross, Divesh Srivastava, Dimitris Papadias, editors, Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2013, New York, NY, USA, June 22-27, 2013. pages 493-504, ACM, 2013. [doi]

Abstract

Abstract is missing.