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

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

1 2 3 ... 11 12 13 next

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

1 2 3 ... 11 12 13 next