有限模型论的纽带

模型论作为数学逻辑的一部分诞生并发展。它有诸多应用领域，但不从属于其中任何一个。先验地，被称为有限模型论的研究领域本应是模型论的一部分，但事实并非如此。有一个应用领域——关系数据库管理——在有限模型论的早期相当长一段时期内是其依附所在，当时数据库为有限模型论提供了动机并是其最主要的应用目标。可以说，有限模型论受复杂性理论的激励甚至更多。但本文的主题是关系数据库理论如何影响有限模型论。这不是一篇对该学科恰当的、给予所有参与者应有署名的学术史。我最初的意图仅是涵盖我所见证或参与的发展。为使叙述连贯的需要，迫使我补充了一些额外的发展。