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

Showing results 1 to 20 of 256.
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. Scharpfenecker, Patrick: Bounded-depth succinct encodings and the structure they imply on graphs (2018)
  5. Bahmani, Zeinab; Bertossi, Leopoldo; Vasiloglou, Nikolaos: ERBlox: combining matching dependencies with machine learning for entity resolution (2017)
  6. Bertossi, Leopoldo; Bravo, Loreto: Consistency and trust in peer data exchange systems (2017)
  7. Bertossi, Leopoldo; Salimi, Babak: Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints (2017)
  8. Das, Bireswar; Scharpfenecker, Patrick; Torán, Jacobo: CNF and DNF succinct graph encodings (2017)
  9. Gottlob, Georg; Koch, Christoph; Pieris, Andreas: Logic, languages, and rules for web data extraction and reasoning over data (2017)
  10. Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc: kProbLog: an algebraic prolog for machine learning (2017)
  11. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  12. Zhang, Heng; Zhang, Yan: Expressiveness of logic programs under the general stable model semantics (2017)
  13. Arntzenius, Michael; Krishnaswami, Neelakantan R.: Datafun: a functional Datalog (2016)
  14. Brochenin, Remi; Maratea, Marco; Lierler, Yuliya: Disjunctive answer set solvers via templates (2016)
  15. Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina: Using linear constraints for logic program termination analysis (2016)
  16. Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco: Design and results of the Fifth Answer Set Programming Competition (2016)
  17. Deagustini, Cristhian Ariel D.; Martinez, Maria Vanina; Falappa, Marcelo A.; Simari, Guillermo R.: Datalog$^\pm$ ontology consolidation (2016)
  18. 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)
  19. Giordano, Laura; Dupré, Daniele Theseider: ASP for minimal entailment in a rational extension of \itSROEL (2016)
  20. Greco, Sergio; Molinaro, Cristian: Datalog and logic databases (2016)

1 2 3 ... 11 12 13 next