{"id":"https://openalex.org/W2893316903","doi":"https://doi.org/10.1145/3191315.3191317","title":"Datalog: concepts, history, and outlook","display_name":"Datalog: concepts, history, and outlook","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2893316903","doi":"https://doi.org/10.1145/3191315.3191317","mag":"2893316903"},"language":"en","primary_location":{"id":"doi:10.1145/3191315.3191317","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3191315.3191317","pdf_url":null,"source":{"id":"https://openalex.org/S4306462769","display_name":"ACM eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Declarative Logic Programming: Theory, Systems, and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014301644","display_name":"David Maier","orcid":"https://orcid.org/0000-0003-4790-5619"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Maier","raw_affiliation_strings":[""],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026724371","display_name":"K. Tuncay Tekle","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"K. Tuncay Tekle","raw_affiliation_strings":[""],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059918476","display_name":"Michael Kifer","orcid":"https://orcid.org/0000-0003-3177-5792"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Kifer","raw_affiliation_strings":[""],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055338447","display_name":"David S. Warren","orcid":"https://orcid.org/0000-0001-7567-8156"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David S. Warren","raw_affiliation_strings":[""],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.9579,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.96643341,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9700999855995178,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9700999855995178,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9463000297546387,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9444000124931335,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.9974946975708008},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7061508297920227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6601905822753906},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.6590218544006348},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6483137011528015},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4617706835269928},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4238995313644409},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.4177302420139313}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9974946975708008},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7061508297920227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6601905822753906},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.6590218544006348},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6483137011528015},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4617706835269928},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4238995313644409},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.4177302420139313}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3191315.3191317","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3191315.3191317","pdf_url":null,"source":{"id":"https://openalex.org/S4306462769","display_name":"ACM eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Declarative Logic Programming: Theory, Systems, and Applications","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7200000286102295}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2109031030","https://openalex.org/W1565767456","https://openalex.org/W4242285398","https://openalex.org/W79246384","https://openalex.org/W2593015871","https://openalex.org/W1552372479","https://openalex.org/W1532845068","https://openalex.org/W2474462291","https://openalex.org/W2793596619","https://openalex.org/W2184636143"],"abstract_inverted_index":{"This":[0],"chapter":[1],"is":[2],"a":[3,139],"survey":[4],"of":[5,12,50,57,64,92,107,110,141,148,161,163],"the":[6,9,19,34,48,55,58,62,93,117,120,123,126,129,132,159],"history":[7],"and":[8,21,27,42,52,75,77,86,99,109,131,156],"main":[10,94],"concepts":[11],"Datalog.We":[13],"begin":[14],"with":[15,66,145],"an":[16,90],"introduction":[17],"to":[18,47,96],"language":[20,70,127],"its":[22,135],"use":[23],"for":[24,119,134],"database":[25,113],"definition":[26],"querying.":[28],"We":[29,60],"then":[30,102],"look":[31,78],"back":[32],"at":[33,79],"threads":[35],"from":[36],"logic":[37],"languages,":[38],"databases,":[39],"artificial":[40],"intelligence,":[41],"expert":[43],"systems":[44,150],"that":[45],"led":[46],"emergence":[49],"Datalog":[51,97,108,155],"reminiscence":[53],"about":[54],"origin":[56],"name.":[59],"consider":[61],"interaction":[63],"recursion":[65],"other":[67,80],"common":[68],"data":[69],"features,":[71],"such":[72,82],"as":[73,83],"negation":[74],"aggregation,":[76],"extensions,":[81],"constraints,":[84],"updates,":[85],"object-oriented":[87],"features.We":[88],"provide":[89],"overview":[91],"approaches":[95],"evaluation":[98],"their":[100],"variants,":[101],"recount":[103],"some":[104,162],"early":[105],"implementations":[106],"similar":[111],"deductive":[112],"systems.We":[114],"speculate":[115],"on":[116,152],"reasons":[118],"decline":[121],"in":[122,125,128,138],"interest":[124],"1990s":[130],"causes":[133],"later":[136],"resurgence":[137],"number":[140],"application":[142],"areas.We":[143],"conclude":[144],"several":[146],"examples":[147],"current":[149],"based":[151],"or":[153],"supporting":[154],"briefly":[157],"examine":[158],"performance":[160],"them.":[164]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}