Databases and finite-model theory
Victor Vianu · DIMACS series in discrete mathematics and theoretical computer science · 1997
Databases provide one of the main concrete scenarios for finitemodel theory within computer science. This paper presents an informal overview of database theory aimed at finite-model theorists, emphasizing the specificity of the database area. It is argued that the area of databases is a rich source of questions and vitality for finite-model theory.