| What you Always Wanted to Know About Datalog (And Never Dared to Ask) |
S. Ceri and G. Gottlob and L. Tanca |
1989 |
659 |
70 |
| Disjunctive datalog |
Thomas Eiter and G. Gottlob and H. Mannila |
1997 |
517 |
36 |
| codeQuest: Scalable Source Code Queries with Datalog |
Elnar Hajiyev and M. Verbaere and O. Moor |
2006 |
211 |
10 |
| Dedalus: Datalog in Time and Space |
P. Alvaro and William R. Marczak and Neil Conway and J. Hellerstein and D. Maier and R. Sears |
2010 |
138 |
15 |
| SociaLite: Datalog extensions for efficient social network analysis |
Jiwon Seo and Stephen Guo and M. Lam |
2013 |
101 |
16 |
| Workflow, transactions and datalog |
A. Bonner |
1999 |
77 |
10 |
| From Datalog to flix: a declarative language for fixed points on lattices |
Magnus Madsen and Ming-Ho Yee and O. Lhoták |
2016 |
72 |
11 |
| The Disjunctive Datalog System DLV |
Mario Alviano and Wolfgang Faber and N. Leone and S. Perri and G. Pfeifer and G. Terracina |
2010 |
69 |
4 |
| Dyna: Extending Datalog for Modern AI |
Jason Eisner and N. Filardo |
2010 |
61 |
1 |
| CodeQuest: querying source code with datalog |
Elnar Hajiyev and M. Verbaere and O. Moor and K. Volder |
2005 |
39 |
4 |
| Functional description of geoprocessing services as conjunctive datalog queries |
D. Fitzner and J. Hoffmann and E. Klien |
2011 |
34 |
5 |
| SociaLite: An Efficient Graph Query Language Based on Datalog |
Jiwon Seo and Stephen Guo and M. Lam |
2015 |
34 |
3 |
| A Theoretical Framework for the Declarative Debugging of Datalog Programs |
R. Caballero and Y. GarcÃa-Ruiz and F. Sáenz-Pérez |
2008 |
33 |
0 |
| Synthesizing Datalog Programs Using Numerical Relaxation |
X. Si and Mukund Raghothaman and K. Heo and M. Naik |
2019 |
32 |
2 |
| Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues |
Mario Alviano and Wolfgang Faber and N. Leone and M. Manna |
2012 |
30 |
5 |
| Datafun: a functional Datalog |
Michael Arntzenius and N. Krishnaswami |
2016 |
22 |
2 |
| Datalog and Logic Databases |
S. Greco and Cristian Molinaro |
2015 |
20 |
1 |
| Datalog in Academia and Industry |
P. Barceló and R. Pichler |
2012 |
10 |
1 |
| Fixpoints for the masses: programming with first-class Datalog constraints |
Magnus Madsen and O. Lhoták |
2020 |
8 |
0 |
| Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method |
Stefan Brass and H. Stephan |
2017 |
7 |
0 |
| Stratified Negation in Limit Datalog Programs |
M. Kaminski and B. C. Grau and Egor V. Kostylev and B. Motik and I. Horrocks |
2018 |
7 |
0 |
| A Fuzzy Datalog Deductive Database System |
Pascual Julián-Iranzo and F. Sáenz-Pérez |
2018 |
7 |
0 |
| Generative Datalog with Continuous Distributions |
Martin Grohe and Benjamin Lucien Kaminski and J. Katoen and P. Lindner |
2020 |
7 |
0 |
| Formulog: Datalog for SMT-based static analysis |
Aaron Bembenek and M. Greenberg and Stephen Chong |
2020 |
7 |
1 |
| Debugging of wrong and missing answers for datalog programs with constraint handling rules |
R. Caballero and Y. GarcÃa-Ruiz and F. Sáenz-Pérez |
2015 |
6 |
0 |
| Declarative Programming for Microcontrollers - Datalog on Arduino |
Mario Wenzel and Stefan Brass |
2019 |
6 |
0 |
| SolverBlox: algebraic modeling in datalog |
Conrado Borraz-Sánchez and D. Klabjan and E. Pasalic and M. Aref |
2018 |
5 |
0 |
| Datalog as a pointcut language in aspect-oriented programming |
Elnar Hajiyev and Neil Ongkingco and Pavel Avgustinov and O. Moor and D. Sereni and J. Tibble and M. Verbaere |
2006 |
4 |
0 |
| Precise complexity guarantees for pointer analysis via Datalog with extensions* |
K. T. Tekle and Yanhong A. Liu |
2016 |
3 |
0 |
| From Datalog to flix: a declarative language for fixed points on lattices |
MadsenMagnus and YeeMing-Ho and LhotákOndřej |
2016 |
3 |
0 |
| DatalogRA: datalog with recursive aggregation in the spark RDD model |
Marek Rogala and J. Hidders and J. Sroka |
2016 |
2 |
0 |
| A process framework for inducing and explaining Datalog theories |
Mark Gromowski and M. Siebers and Ute Schmid |
2021 |
2 |
0 |
| Extending Datalog Intelligence |
B. Kimelfeld |
2015 |
1 |
0 |
| Informing Datalog through Language Intelligence - A Personal Perspective |
V. Dahl |
2010 |
1 |
0 |
| A Counterexample-Guided Debugger for Non-recursive Datalog |
Van-Dang Tran and H. Kato and Zhenjiang Hu |
2020 |
1 |
0 |
| Integrity Constraints for Microcontroller Programming in Datalog |
Stefan Brass and Mario Wenzel |
2021 |
1 |
0 |