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

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

1 2 3 ... 13 14 15 next

  1. Eiter, Thomas; Kaminski, Tobias: Pruning external minimality checking for answer set programs using semantic dependencies (2021)
  2. Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V.: Incremental and modular context-sensitive analysis (2021)
  3. Karimi, Arash; Zhang, Heng; You, Jia-Huai: Restricted chase termination for existential rules: a hierarchical approach and experimentation (2021)
  4. Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (2020)
  5. Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan: Solving advanced argumentation problems with answer set programming (2020)
  6. Cozman, Fabio Gagliardi; Mauá, Denis Deratani: The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (2020)
  7. Gromowski, Mark; Siebers, Michael; Schmid, Ute: A process framework for inducing and explaining Datalog theories (2020)
  8. Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger: The Vadalog System: Datalog-based Reasoning for Knowledge Graphs (2020) arXiv
  9. Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco: Abstract solvers for computing cautious consequences of ASP programs (2019)
  10. Calimeri, Francesco; Perri, Simona; Zangari, Jessica: Optimizing answer set computation via heuristic-based decomposition (2019)
  11. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  12. Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin: Debugging non-ground ASP programs: technique and graphical tools (2019)
  13. Feier, Cristina; Kuusisto, Antti; Lutz, Carsten: Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics (2019)
  14. Gerasimova, Olga; Kikot, Stanislav; Zakharyaschev, Michael: Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna (2019)
  15. Lutz, Carsten; Seylan, Inanc; Wolter, Frank: The data complexity of ontology-mediated queries with closed predicates (2019)
  16. Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Rewriting guarded existential rules into small Datalog programs (2018)
  17. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)
  18. 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)
  19. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: a logic-based framework for analytic reasoning over streams (2018)
  20. Bonifati, Angela; Dumbrava, Stefania; Gallego Arias, Emilio Jesús: Certified graph view maintenance with regular Datalog (2018)

1 2 3 ... 13 14 15 next