×

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; Ontop; ProbLog; Vadalog; clasp; Ltur; GraphLog; GASP; Graal
Cited in: 290 Documents
all top 5

Cited by 460 Authors

17 Gottlob, Georg
14 Eiter, Thomas
14 Leone, Nicola
11 Greco, Sergio
9 Faber, Wolfgang
9 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 Ortiz, Magdalena
5 Pieris, Andreas
5 Šimkus, Mantas
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 Revesz, Peter Z.
4 Ricca, Francesco
4 Rondogiannis, Panos
4 Sáenz-Pérez, Fernando
4 Simari, Gerardo I.
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, Heng
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 Karimi, Arash
2 Kikot, Stanislav
2 Lam, Monica S.
2 Liu, Yanhong Annie
2 Lutz, Carsten
2 Makino, Kazuhisa
2 Manna, Marco
2 Mazowiecki, Filip
2 McColm, Gregory L.
2 Mendelzon, Alberto O.
2 Meskes, Michael
2 Minker, Jack
2 Motik, Boris
...and 360 more Authors
all top 5

Cited in 50 Serials

26 Artificial Intelligence
24 Theory and Practice of Logic Programming
20 Theoretical Computer Science
15 Journal of Computer and System Sciences
12 Annals of Mathematics and Artificial Intelligence
10 Information and Computation
9 The Journal of Logic Programming
7 Information Processing Letters
6 Logical Methods in Computer Science
5 International Journal of Approximate Reasoning
4 Journal of Computer Science and Technology
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
all top 5

Cited in 10 Fields

287 Computer science (68-XX)
39 Mathematical logic and foundations (03-XX)
2 Combinatorics (05-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Information and communication theory, circuits (94-XX)
1 General and overarching topics; collections (00-XX)
1 General algebraic systems (08-XX)
1 Associative rings and algebras (16-XX)
1 Statistics (62-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year