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 280 articles )

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

1 2 3 ... 12 13 14 next

  1. Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (2020)
  2. Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger: The Vadalog System: Datalog-based Reasoning for Knowledge Graphs (2020) arXiv
  3. Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco: Abstract solvers for computing cautious consequences of ASP programs (2019)
  4. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  5. Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin: Debugging non-ground ASP programs: technique and graphical tools (2019)
  6. Feier, Cristina; Kuusisto, Antti; Lutz, Carsten: Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics (2019)
  7. Lutz, Carsten; Seylan, Inanc; Wolter, Frank: The data complexity of ontology-mediated queries with closed predicates (2019)
  8. Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Rewriting guarded existential rules into small Datalog programs (2018)
  9. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)
  10. 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)
  11. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: A logic-based framework for analytic reasoning over streams (2018)
  12. Bonifati, Angela; Dumbrava, Stefania; Arias, Emilio Jesús Gallego: Certified graph view maintenance with regular Datalog (2018)
  13. Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo: Scaling-up reasoning and advanced analytics on bigdata (2018)
  14. Deagustini, Cristhian A. D.; Martinez, M. Vanina; Falappa, Marcelo A.; Simari, Guillermo R.: How does incoherence affect inconsistency-tolerant semantics for Datalog(^\pm)? (2018)
  15. Engels, Christiane; Behrend, Andreas; Brass, Stefan: A rule-based approach to analyzing database schema objects with Datalog (2018)
  16. Fazzinga, Bettina; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I.; Tifrea-Marciuska, Oana: Ontological query answering under many-valued group preferences in Datalog+/- (2018)
  17. Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe: Reasoning on Datalog(^\pm) ontologies with abductive logic programming (2018)
  18. Interlandi, Matteo; Tanca, Letizia: A datalog-based computational model for coordination-free, data-parallel systems (2018)
  19. Kazda, Alexandr: (n)-permutability and linear Datalog implies symmetric Datalog (2018)
  20. Scharpfenecker, Patrick: Bounded-depth succinct encodings and the structure they imply on graphs (2018)

1 2 3 ... 12 13 14 next