What you can and cannot say in SQL or proving folk theorems in database theory

L. Libkin
Abstract:
What problem does this paper attempt to address?