Datalog

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)


References in zbMATH (referenced in 282 articles )

Showing results 1 to 20 of 282.
Sorted by year (citations)

1 2 3 ... 13 14 15 next

  1. Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (2020)
  2. Cozman, Fabio Gagliardi; Mauá, Denis Deratani: The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (2020)
  3. Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger: The Vadalog System: Datalog-based Reasoning for Knowledge Graphs (2020) arXiv
  4. Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco: Abstract solvers for computing cautious consequences of ASP programs (2019)
  5. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  6. Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin: Debugging non-ground ASP programs: technique and graphical tools (2019)
  7. Feier, Cristina; Kuusisto, Antti; Lutz, Carsten: Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics (2019)
  8. Gerasimova, Olga; Kikot, Stanislav; Zakharyaschev, Michael: Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna (2019)
  9. Lutz, Carsten; Seylan, Inanc; Wolter, Frank: The data complexity of ontology-mediated queries with closed predicates (2019)
  10. Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Rewriting guarded existential rules into small Datalog programs (2018)
  11. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)
  12. Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Sellis, Timos; Tsai, Pei-Wei: A trajectory calculus for qualitative spatial reasoning using answer set programming (2018)
  13. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: a logic-based framework for analytic reasoning over streams (2018)
  14. Bonifati, Angela; Dumbrava, Stefania; Gallego Arias, Emilio Jesús: Certified graph view maintenance with regular Datalog (2018)
  15. Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo: Scaling-up reasoning and advanced analytics on BigData (2018)
  16. Deagustini, Cristhian A. D.; Martinez, M. Vanina; Falappa, Marcelo A.; Simari, Guillermo R.: How does incoherence affect inconsistency-tolerant semantics for Datalog(^\pm)? (2018)
  17. Engels, Christiane; Behrend, Andreas; Brass, Stefan: A rule-based approach to analyzing database schema objects with Datalog (2018)
  18. Fazzinga, Bettina; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I.; Tifrea-Marciuska, Oana: Ontological query answering under many-valued group preferences in Datalog+/- (2018)
  19. Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe: Reasoning on Datalog(^\pm) ontologies with abductive logic programming (2018)
  20. Interlandi, Matteo; Tanca, Letizia: A Datalog-based computational model for coordination-free, data-parallel systems (2018)

1 2 3 ... 13 14 15 next