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

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

1 2 3 ... 11 12 13 next

  1. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)
  2. 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)
  3. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: A logic-based framework for analytic reasoning over streams (2018)
  4. Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo: Scaling-up reasoning and advanced analytics on bigdata (2018)
  5. Interlandi, Matteo; Tanca, Letizia: A datalog-based computational model for coordination-free, data-parallel systems (2018)
  6. Scharpfenecker, Patrick: Bounded-depth succinct encodings and the structure they imply on graphs (2018)
  7. Bahmani, Zeinab; Bertossi, Leopoldo; Vasiloglou, Nikolaos: ERBlox: combining matching dependencies with machine learning for entity resolution (2017)
  8. Bertossi, Leopoldo; Bravo, Loreto: Consistency and trust in peer data exchange systems (2017)
  9. Bertossi, Leopoldo; Salimi, Babak: Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints (2017)
  10. Das, Bireswar; Scharpfenecker, Patrick; Torán, Jacobo: CNF and DNF succinct graph encodings (2017)
  11. Gottlob, Georg; Koch, Christoph; Pieris, Andreas: Logic, languages, and rules for web data extraction and reasoning over data (2017)
  12. Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc: kProbLog: an algebraic prolog for machine learning (2017)
  13. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  14. Zhang, Heng; Zhang, Yan: Expressiveness of logic programs under the general stable model semantics (2017)
  15. Arntzenius, Michael; Krishnaswami, Neelakantan R.: Datafun: a functional Datalog (2016)
  16. Brochenin, Remi; Maratea, Marco; Lierler, Yuliya: Disjunctive answer set solvers via templates (2016)
  17. Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina: Using linear constraints for logic program termination analysis (2016)
  18. Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco: Design and results of the Fifth Answer Set Programming Competition (2016)
  19. Deagustini, Cristhian Ariel D.; Martinez, Maria Vanina; Falappa, Marcelo A.; Simari, Guillermo R.: Datalog$^\pm$ ontology consolidation (2016)
  20. Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter: A model building framework for answer set programming with external computations (2016)

1 2 3 ... 11 12 13 next