BOOK-CHAPTER

Extending Datalog with Declarative Updates

Mengchi Liu

Year: 2000 Lecture notes in computer science Pages: 752-763   Publisher: Springer Science+Business Media
Keywords:
Datalog Deductive database Computer science Programming language Logic programming Semantics (computer science) Declarative programming Simple (philosophy) Set (abstract data type) Extension (predicate logic) Stable model semantics Answer set programming Theoretical computer science Operational semantics Database Programming paradigm Inductive programming

Metrics

4
Cited By
0.38
FWCI (Field Weighted Citation Impact)
28
Refs
0.55
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Advanced Algebra and Logic
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Extending Datalog with Declarative Updates

Mengchi Liu

Journal:   Journal of Intelligent Information Systems Year: 2003 Vol: 20 (2)Pages: 107-129
JOURNAL ARTICLE

Declarative Probabilistic Programming with Datalog

Vince BárányBalder ten CateBenny KimelfeldDan OlteanuZografoula Vagena

Journal:   ACM Transactions on Database Systems Year: 2017 Vol: 42 (4)Pages: 1-35
JOURNAL ARTICLE

Declarative Probabilistic Programming with Datalog

Vince BárányBalder ten CateBenny KimelfeldDan OlteanuZografoula Vagena

Journal:   Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2016
JOURNAL ARTICLE

Extending Datalog with arrays

Sergio GrecoLuigi PalopoliEugenio Spadafora

Journal:   Data & Knowledge Engineering Year: 1995 Vol: 17 (1)Pages: 31-57
BOOK-CHAPTER

Extending Datalog Intelligence

Benny Kimelfeld

Lecture notes in computer science Year: 2015 Pages: 1-10
© 2026 ScienceGate Book Chapters — All rights reserved.