BOOK-CHAPTER

The expressiveness of Datalog cicuits (DAC)

Foto AfratiIrène GuessarianMichel de Rougemont

Year: 1997 Lecture notes in computer science Pages: 117-128   Publisher: Springer Science+Business Media
Keywords:
Datalog Computer science Extension (predicate logic) Programming language Logic program Theoretical computer science Deductive database Logic programming

Metrics

0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
8
Refs
0.15
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Computability, Logic, AI Algorithms
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Advanced Database Systems and Queries
Physical Sciences →  Computer Science →  Computer Networks and Communications
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Expressiveness within Sequence Datalog

Heba AamerJan HiddersJan ParedaensJan Van den Bussche

Journal:   ACM Transactions on Database Systems Year: 2025 Vol: 50 (3)Pages: 1-38
JOURNAL ARTICLE

Datalog expressiveness of chain queries

Guozhu Dong

Year: 1992 Pages: 81-90
JOURNAL ARTICLE

The expressiveness of DAC

Foto AfratiIrène GuessarianMichel de Rougemont

Journal:   Theoretical Computer Science Year: 2002 Vol: 286 (1)Pages: 3-32
DISSERTATION

Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability

Pierfrancesco VeltriNicola LeoneGiorgio Terracina

University:   Archive of Doctoral Theses and Digital Collections (University of Calabria) Year: 2012
© 2026 ScienceGate Book Chapters — All rights reserved.