×

Datalog

swMATH ID: 20023
Software Authors: Ceri, S., Gottlob, G., Tanca, L
Description: Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.[1] Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases.[2] David Maier is credited with coining the term Datalog. (wikipedia)
Homepage: https://en.wikipedia.org/wiki/Datalog
Related Software: ASSAT; Gringo; Clingo; WASP; Smodels; DLV; Cmodels; XSB; SPARQL; Potassco; XPath; DLV2; Vadalog; clasp; Ltur; GraphLog; GASP; Ontop; LUBM; NoMoRe
Cited in: 282 Documents
all top 5

Cited by 449 Authors

16 Gottlob, Georg
14 Eiter, Thomas
14 Leone, Nicola
10 Greco, Sergio
9 Faber, Wolfgang
8 Saccà, Domenico
6 Achs, Ágnes
6 Gurevich, Yuri
6 Martinez, Maria Vanina
5 Abiteboul, Serge
5 Alviano, Mario
5 Dong, Guozhu
5 Gergatsoulis, Manolis
5 Lukasiewicz, Thomas
5 Veith, Helmut
5 Woltran, Stefan
5 Zaniolo, Carlo
4 Afrati, Foto N.
4 Dodaro, Carmine
4 Grädel, Erich
4 Greco, Gianluigi
4 Guessarian, Irène
4 Hegner, Stephen J.
4 Maratea, Marco
4 Ortiz, Magdalena
4 Pieris, Andreas
4 Revesz, Peter Z.
4 Ricca, Francesco
4 Rondogiannis, Panos
4 Sáenz-Pérez, Fernando
4 Simari, Gerardo I.
4 Šimkus, Mantas
4 Vianu, Victor
3 Bertossi, Leopoldo E.
3 Blass, Andreas Raphael
3 Bodirsky, Manuel
3 Bonatti, Piero Andrea
3 Bonner, Anthony J.
3 Chaudhuri, Surajit
3 Chen, Yangjun
3 Cuenca Grau, Bernardo
3 Dalmau, Víctor
3 Foustoucos, Eugénie
3 Horrocks, Ian
3 Kaminski, Mark
3 Kiss, Attila
3 Koch, Christoph T.
3 Molinaro, Cristian
3 Niemelä, Ilkka N. F.
3 Palopoli, Luigi
3 Pfeifer, Gerald
3 Sagiv, Yehoshua
3 Shmueli, Oded
3 Tanca, Letizia
3 Vardi, Moshe Ya’akov
3 Witkowski, Adam
3 Zhang, Yan
2 Ahmetaj, Shqiponja
2 Asuncion, Vernon
2 Balcázar, José Luis
2 Bjørner, Nikolaj S.
2 Bourhis, Pierre
2 Bourreau, Pierre
2 Brass, Stefan
2 Brewka, Gerhard
2 Brisaboa, Nieves R.
2 Caballero, Rafael E.
2 Calimeri, Francesco
2 Cantone, Domenico
2 Consens, Mariano P.
2 Cosmadakis, Stavros S.
2 Deagustini, Cristhian Ariel D.
2 Dvořák, Wolfgang
2 Falappa, Marcelo Alejandro
2 Fink, Michael
2 Formisano, Andrea
2 Gallaire, Hervé
2 García-Ruiz, Yolanda
2 Gerasimova, Olga
2 Ginsburg, Seymour
2 González, Agustín E.
2 Halfeld Ferrari Alves, Mírian
2 Hernández, Héctor J.
2 Heymans, Stijn
2 Ibaraki, Toshihide
2 Interlandi, Matteo
2 Kikot, Stanislav
2 Lam, Monica S.
2 Liu, Yanhong Annie
2 Lutz, Carsten
2 Makino, Kazuhisa
2 Mazowiecki, Filip
2 McColm, Gregory L.
2 Mendelzon, Alberto O.
2 Meskes, Michael
2 Minker, Jack
2 Motik, Boris
2 Murlak, Filip
2 Nenov, Yavor
2 Nicolas, Jean-Marie
...and 349 more Authors
all top 5

Cited in 50 Serials

24 Artificial Intelligence
24 Theory and Practice of Logic Programming
20 Theoretical Computer Science
15 Journal of Computer and System Sciences
11 Annals of Mathematics and Artificial Intelligence
9 The Journal of Logic Programming
9 Information and Computation
7 Information Processing Letters
6 Logical Methods in Computer Science
4 Journal of Computer Science and Technology
4 International Journal of Approximate Reasoning
4 The Journal of Artificial Intelligence Research (JAIR)
4 ACM Transactions on Computational Logic
3 Acta Informatica
3 Annals of Pure and Applied Logic
3 Fundamenta Informaticae
2 Discrete Applied Mathematics
2 Acta Cybernetica
2 Programming and Computer Software
2 SIAM Journal on Computing
2 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
2 Computers and Artificial Intelligence
2 New Generation Computing
2 Journal of Automated Reasoning
2 Data & Knowledge Engineering
2 Machine Learning
2 Journal of Logic and Computation
2 Alkalmazott Matematikai Lapok. A Magyar Tudomanyos Akademia. Matematikai es Fizikai Tudomanyok Osztalyanak Közlemenyei
2 Constraints
2 Theory of Computing Systems
2 Journal of the ACM
2 Bulletin of the European Association for Theoretical Computer Science EATCS
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Foundations and Trends in Databases
1 Computers & Mathematics with Applications
1 Information Sciences
1 Journal of the Association for Computing Machinery
1 Journal of Algorithms
1 Mathematical and Computer Modelling
1 AI Communications
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Computing Surveys
1 IEEE Transactions on Systems, Man, and Cybernetics
1 Information Systems
1 RAIRO. Theoretical Informatics and Applications
1 The Journal of Logic and Algebraic Programming
1 Lecture Notes in Computer Science
1 Computer Science Review
1 Synthesis Lectures on Data Management

Citations by Year