BOOK-CHAPTER

Constraint-Based Synthesis of Datalog Programs

Aws AlbarghouthiParaschos KoutrisMayur NaikCalvin Smith

Year: 2017 Lecture notes in computer science Pages: 689-706   Publisher: Springer Science+Business Media
Keywords:
Datalog Computer science Constraint (computer-aided design) Graph Programming language Solver Constraint programming Theoretical computer science Range (aeronautics) Constraint satisfaction problem Mathematical optimization Mathematics Artificial intelligence

Metrics

41
Cited By
11.66
FWCI (Field Weighted Citation Impact)
37
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Provenance-guided synthesis of Datalog programs

Mukund RaghothamanJonathan MendelsonDavid ZhaoMayur NaikBernhard Scholz

Journal:   Proceedings of the ACM on Programming Languages Year: 2019 Vol: 4 (POPL)Pages: 1-27
JOURNAL ARTICLE

SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS

Melita HajdinjakAndrej Bauer

Journal:   International Journal of Uncertainty Fuzziness and Knowledge-Based Systems Year: 2012 Vol: 20 (05)Pages: 673-700
BOOK

Optimizing Datalog Programs

Yehoshua Sagiv

Elsevier eBooks Year: 1988 Pages: 659-698
JOURNAL ARTICLE

Optimizing datalog programs

Yehoshua Sagiv

Year: 1987 Pages: 349-362
© 2026 ScienceGate Book Chapters — All rights reserved.