Model theory was born and developed as a part of mathematical logic. It has various application domains but is not beholden to any of them. A priori, the research area known as finite model theory would be just a part of model theory but didn't turn out that way. There is one application domain -- relational database management -- that finite model theory had been beholden to during a substantial early period when databases provided the motivation and were the main application target for finite model theory. Arguably, finite model theory was motivated even more by complexity theory. But the subject of this paper is how relational database theory influenced finite model theory. This is NOT a scholarly history of the subject with proper credits to all participants. My original intent was to cover just the developments that I witnessed or participated in. The need to make the story coherent forced me to cover some additional developments.
翻译:模型理论是作为数学逻辑的一部分诞生和开发的。 它有多种应用领域, 但却不归于其中任何领域。 首先, 被称为有限模型理论的研究领域只是模型理论的一部分, 但结果并非如此。 有一个应用领域 -- -- 关系数据库管理 -- -- 在数据库提供动力和成为有限模型理论主要应用目标的很早的时期, 有限模型理论一直被人们所认识。 可以说, 有限模型理论更受复杂理论的驱动。 但本文的主题是关系数据库理论如何影响有限模型理论。 这不是一个对所有与会者有适当信用的关于该主题的学术史。 我最初的意图是只涵盖我所目睹或参与的发展。 有必要使这个故事连贯一致, 迫使我涵盖一些新的发展。