2009/06/29 by Leonid Libkin · 1 citation
Computer Science · #Complexity and Algorithms in Graphs #Advanced Graph Theory Research #Cryptography and Data Security #Toolbox #Computer science #Key (lock) #Database theory #Database model #Database design #Database #Data model (GIS) #Data modeling #Theoretical computer science #Artificial intelligence #Programming language
paper · doi:10.1145/1559795.1559807
openalex publication_date 2009/06/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
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.