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
Year: 2021 Pages: 70-81
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
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