Concepedia

Datalog

Datalog is a declarative logic programming language that syntactically restricts general logic programs to function-free Horn clauses and is characterized by its use of stratified negation and fixed-point semantics for deductive databases.

481

Publications

28.9K

Citations

729

Authors

282

Institutions

Publications per year

2017–2026

80

Parents

Publications

481

The DLV system for knowledge representation and reasoning

Nicola Leone, Gerald Pfeifer, Wolfgang Faber et al. · ACM Transactions on Computational Logic · 2006 · 1.2K citations · Full text

, , +9

Provenance semirings

Todd J. Green, Grigoris Karvounarakis, Val Tannen · 2007 · 799 citations · Full text

, , +15

Design of a role-based trust-management framework

Ninghui Li, John C. Mitchell, William H. Winsborough · 2005 · 753 citations

, , +16

Computational intelligence: a logical approach

Choice Reviews Online · 1998 · 728 citations

, , +16

What you always wanted to know about Datalog (and never dared to ask)

Stefano Ceri, Georg Gottlob, Letizia Tanca · IEEE Transactions on Knowledge and Data Engineering · 1989 · 697 citations

, , +13

1–5 of 481

Authors

729

  1. GG
    Georg Gottlob

    TU Wien, Austria

    42 publications · 5.1K citations

    25

    h-index

  2. SA
    Serge Abiteboul

    Institut national de recherche en sciences et technologies du numérique, France

    17 publications · 1.1K citations

    14

    h-index

  3. TL
    Thomas Lukasiewicz

    University of Oxford, United Kingdom

    16 publications · 1.2K citations

    13

    h-index

  4. MY
    Moshe Y. Vardi

    Rice University, United States

    13 publications · 785 citations

    12

    h-index

  5. CZ
    Carlo Zaniolo

    University of California, Los Angeles, United States

    14 publications · 513 citations

    12

    h-index

1–5 of 729

Institutions

282

  1. University of Oxford

    Oxford, United Kingdom

    28 h-index

    163 publications

    7.5K citations

  2. Stanford University

    Stanford, United States

    20 h-index

    33 publications

    5.2K citations

  3. TU Wien

    Vienna, Austria

    19 h-index

    51 publications

    8.1K citations

  4. University of Calabria

    Rende, Italy

    18 h-index

    51 publications

    5.3K citations

  5. University of Washington

    Seattle, United States

    15 h-index

    34 publications

    3.3K citations

  6. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    15 h-index

    24 publications

    1.4K citations

  7. University of California, Santa Cruz

    Santa Cruz, United States

    13 h-index

    16 publications

    774 citations

  8. University of Wisconsin–Madison

    Madison, United States

    12 h-index

    27 publications

    1.8K citations

1–8 of 282

Venues

  1. Proceedings of the VLDB Endowment

    PVLDB · 15 publications · 542 citations

    15

    h-index

  2. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 16 publications · 694 citations

    13

    h-index

  3. ACM SIGMOD Record

    17 publications · 642 citations

    12

    h-index

  4. arXiv (Cornell University)

    Repository · 13 publications · 642 citations

    12

    h-index

  5. Theory and Practice of Logic Programming

    12 publications · 541 citations

    12

    h-index

1–5