Skip to Main content Skip to Navigation
New interface
Conference papers

Datalog Unchained

Victor Vianu 1 
1 VALDA - Value from Data
DI-ENS - Département d'informatique - ENS Paris, Inria de Paris
Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-03381199
Contributor : Victor Vianu Connect in order to contact the contributor
Submitted on : Saturday, October 16, 2021 - 12:51:18 AM
Last modification on : Wednesday, June 8, 2022 - 12:50:06 PM
Long-term archiving on: : Monday, January 17, 2022 - 6:07:27 PM

File

pods101gm.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Victor Vianu. Datalog Unchained. SIGMOD/PODS '21- International Conference on Management of Data, Jun 2021, Xi'an, Shaanxi / Virtual Event China, China. pp.57-69, ⟨10.1145/3452021.3458815⟩. ⟨hal-03381199⟩

Share

Metrics

Record views

21

Files downloads

153