Datalog Unchained
Datalog Unchained
复制标题
DOI：
10.1145/3452021.3458815
复制
发表时间：
2021-06
期刊：
影响因子：
--
通讯作者：
V. Vianu
中科院分区：
文献类型：
--
作者：
V. Vianu
本文是《PODS的精华》系列演讲的配套论文，回顾了从1988年的PODS开始，具有过程性、正向链接语义的类Datalog语言家族的发展，为经典的声明性、模型论语义提供了替代方案。这些语言还提供了统一的形式体系，可以表示重要的查询类，包括固定点、While和所有可计算的查询。它们还可以自然地将更新和不确定性结合在一起。具有正向链接语义的Datalog变体已在各种环境中采用，包括主动数据库、生产系统、分布式数据交换和数据驱动的反应式系统。
This is the companion paper of a talk in the Gems of PODS series, that reviews the development, starting at PODS 1988, of a family of Datalog-like languages with procedural, forward chaining semantics, providing an alternative to the classical declarative, model-theoretic semantics. These languages also provide a unified formalism that can express important classes of queries including fixpoint, while, and all computable queries. They can also incorporate in a natural fashion updates and nondeterminism. Datalog variants with forward chaining semantics have been adopted in a variety of settings, including active databases, production systems, distributed data exchange, and data-driven reactive systems.