Datalog

释义 Definition

Datalog（数据逻辑语言）：一种基于形式逻辑（主要是“规则 + 事实”）的声明式查询/推理语言，常用于数据库查询、程序分析与知识推理。它可视为 Prolog 的一个受限子集，通常不包含复杂的函数项，因而更易于进行高效求值与优化。

发音 Pronunciation (IPA)

/ˈdeɪtəˌlɔːɡ/

例句 Examples

Datalog can query relationships in a database using simple rules.
Datalog 可以用简单的规则查询数据库中的关系。

By combining recursion with rule-based inference, Datalog helps compute transitive relationships like reachability in large graphs.
通过将递归与基于规则的推理结合起来，Datalog 有助于在大型图中计算“可达性”等传递关系。

词源 Etymology

Datalog 一般被理解为 “data + log(ic)” 的合成词，意为“用于数据的逻辑（语言）”。名称体现了它用逻辑规则来表达与推导数据关系的核心特点。

相关词 Related Words

• Database
• Logic
• Query
• Rule
• Predicate
• Recursion
• Prolog
• Inference
• Deduction
• Knowledge Base

文献与作品 Notable Works

• Foundations of Databases（Abiteboul, Hull, Vianu）——系统讨论数据库理论与 Datalog 相关内容
• Logic in Computer Science: Modelling and Reasoning about Systems（Huth, Ryan）——逻辑与推理背景中常提及 Datalog/类似规则系统
• Program Analysis via Logical Queries 等程序分析研究文献中——Datalog 常作为规则引擎与分析语言出现