The finite model theory toolbox of a database theoretician

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

Abstract

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
PublisherACM
Pages65-76
Number of pages12
ISBN (Print)978-1-60558-553-6
DOIs
Publication statusPublished - 2009

Fingerprint

Dive into the research topics of 'The finite model theory toolbox of a database theoretician'. Together they form a unique fingerprint.

Cite this