The umbilical cord of finite model theory

IF 0.7 4区数学 Q3 COMPUTER SCIENCE, THEORY & METHODS

Journal of Logic and Computation Pub Date : 2023-09-01 DOI:10.1093/logcom/exad055

Yuri Gurevich

引用次数: 0

Abstract

Abstract 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 it 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.

查看原文本刊更多论文

有限模型理论的脐带

模型论是作为数理逻辑的一部分而诞生和发展起来的。它具有各种应用程序域，但不依赖于其中任何一个。先验地，有限模型理论的研究领域只是模型理论的一部分但事实并非如此。有一个应用领域，即关系数据库管理，在数据库为有限模型理论提供动力和主要应用目标的相当早的时期，有限模型理论一直致力于此。可以说，有限模型理论更多地受到复杂性理论的推动。但本文的主题是关系数据库理论对有限模型理论的影响。这不是一个学术历史的主题，适当的荣誉给所有参与者。我最初的意图只是报道我目睹或参与的发展。为了使故事连贯，我不得不报道一些额外的进展。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Logic and Computation 工程技术-计算机：理论方法

CiteScore

1.90

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.