The finite model theory toolbox of a database theoretician

Research output: Chapter in Book/Report/Conference proceedingConference contribution


For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By now, finite model theory has built a large arsenal of tools that can easily be used by database theoreticians without going to the basics such as combinatorial games. We survey such tools here, focusing not on how they are proved, but rather on how to apply them, as-is, in various questions that come up in database theory.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA
Number of pages12
ISBN (Print)978-1-60558-553-6
Publication statusPublished - 2009

Cite this