{"id":"https://openalex.org/W4409219135","doi":"https://doi.org/10.14778/3712221.3712232","title":"Datalog with First-Class Facts","display_name":"Datalog with First-Class Facts","publication_year":2024,"publication_date":"2024-11-01","ids":{"openalex":"https://openalex.org/W4409219135","doi":"https://doi.org/10.14778/3712221.3712232"},"language":"en","primary_location":{"id":"doi:10.14778/3712221.3712232","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3712221.3712232","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the VLDB Endowment","raw_type":"journal-article"},"type":"article","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/A5080073613","display_name":"Thomas Gilray","orcid":"https://orcid.org/0000-0002-0393-8542"},"institutions":[{"id":"https://openalex.org/I72951846","display_name":"Washington State University","ror":"https://ror.org/05dk0ce17","country_code":"US","type":"education","lineage":["https://openalex.org/I72951846"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thomas Gilray","raw_affiliation_strings":["Washington State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Washington State University","institution_ids":["https://openalex.org/I72951846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045795712","display_name":"Arash Sahebolamri","orcid":"https://orcid.org/0000-0003-3657-093X"},"institutions":[{"id":"https://openalex.org/I70983195","display_name":"Syracuse University","ror":"https://ror.org/025r5qe02","country_code":"US","type":"education","lineage":["https://openalex.org/I70983195"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arash Sahebolamri","raw_affiliation_strings":["Syracuse University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Syracuse University","institution_ids":["https://openalex.org/I70983195"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028036559","display_name":"Yihao Sun","orcid":"https://orcid.org/0000-0003-0946-2511"},"institutions":[{"id":"https://openalex.org/I70983195","display_name":"Syracuse University","ror":"https://ror.org/025r5qe02","country_code":"US","type":"education","lineage":["https://openalex.org/I70983195"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yihao Sun","raw_affiliation_strings":["Syracuse University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Syracuse University","institution_ids":["https://openalex.org/I70983195"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114761338","display_name":"Sowmith Kunapaneni","orcid":null},"institutions":[{"id":"https://openalex.org/I72951846","display_name":"Washington State University","ror":"https://ror.org/05dk0ce17","country_code":"US","type":"education","lineage":["https://openalex.org/I72951846"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sowmith Kunapaneni","raw_affiliation_strings":["Washington State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Washington State University","institution_ids":["https://openalex.org/I72951846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101815397","display_name":"Sidharth Kumar","orcid":"https://orcid.org/0009-0007-0418-9962"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sidharth Kumar","raw_affiliation_strings":["University of Illinois at Chicago"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Chicago","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066289382","display_name":"Kristopher Micinski","orcid":"https://orcid.org/0000-0002-8650-0991"},"institutions":[{"id":"https://openalex.org/I70983195","display_name":"Syracuse University","ror":"https://ror.org/025r5qe02","country_code":"US","type":"education","lineage":["https://openalex.org/I70983195"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kristopher Micinski","raw_affiliation_strings":["Syracuse University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Syracuse University","institution_ids":["https://openalex.org/I70983195"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8241,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.91682581,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"18","issue":"3","first_page":"651","last_page":"665"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9968000054359436,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9909999966621399,"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.9324219226837158},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.7290381789207458},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41254541277885437},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37559419870376587},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3584012985229492},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32766202092170715},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17380264401435852},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13066065311431885}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9324219226837158},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.7290381789207458},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41254541277885437},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37559419870376587},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3584012985229492},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32766202092170715},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17380264401435852},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13066065311431885}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14778/3712221.3712232","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3712221.3712232","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the VLDB Endowment","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W26077777","https://openalex.org/W55962619","https://openalex.org/W145224306","https://openalex.org/W173674133","https://openalex.org/W1123101191","https://openalex.org/W1540417193","https://openalex.org/W1552694902","https://openalex.org/W1553136405","https://openalex.org/W1557561422","https://openalex.org/W1591532709","https://openalex.org/W1595443289","https://openalex.org/W1974695870","https://openalex.org/W1983178058","https://openalex.org/W1985581502","https://openalex.org/W2008865455","https://openalex.org/W2013885073","https://openalex.org/W2014764321","https://openalex.org/W2035080386","https://openalex.org/W2040566369","https://openalex.org/W2043100293","https://openalex.org/W2046213250","https://openalex.org/W2063198880","https://openalex.org/W2073074467","https://openalex.org/W2082171780","https://openalex.org/W2131613942","https://openalex.org/W2133557963","https://openalex.org/W2145813209","https://openalex.org/W2151326751","https://openalex.org/W2167541073","https://openalex.org/W2167685423","https://openalex.org/W2209684412","https://openalex.org/W2232045809","https://openalex.org/W2293299776","https://openalex.org/W2294131806","https://openalex.org/W2295244175","https://openalex.org/W2433992225","https://openalex.org/W2517799069","https://openalex.org/W2531563875","https://openalex.org/W2533772561","https://openalex.org/W2604520577","https://openalex.org/W2613579336","https://openalex.org/W2622559577","https://openalex.org/W2741421701","https://openalex.org/W2778123204","https://openalex.org/W2907184427","https://openalex.org/W2912940102","https://openalex.org/W2912997968","https://openalex.org/W2918070197","https://openalex.org/W2920918085","https://openalex.org/W2948906765","https://openalex.org/W2979967852","https://openalex.org/W3006496683","https://openalex.org/W3098470576","https://openalex.org/W3099525000","https://openalex.org/W3117137355","https://openalex.org/W3129471938","https://openalex.org/W3134140253","https://openalex.org/W3157758831","https://openalex.org/W4205872049","https://openalex.org/W4210896998","https://openalex.org/W4212957416","https://openalex.org/W4242353006","https://openalex.org/W4243700390","https://openalex.org/W4245743185","https://openalex.org/W4247889999","https://openalex.org/W4250119831","https://openalex.org/W4283397908","https://openalex.org/W4317641481","https://openalex.org/W4375928209","https://openalex.org/W4387674126","https://openalex.org/W4396892705"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2955734379","https://openalex.org/W2049216635","https://openalex.org/W3121709727","https://openalex.org/W2517279098","https://openalex.org/W2309621853","https://openalex.org/W2570392075","https://openalex.org/W1556735226","https://openalex.org/W2023906867","https://openalex.org/W2124217695"],"abstract_inverted_index":{"Datalog":[0,57,68,118],"is":[1,125],"a":[2,12,117,128,167,181,201],"popular":[3,54],"logic":[4],"programming":[5,159],"language":[6],"for":[7,81,145],"deductive":[8],"reasoning":[9,82,147],"tasks":[10],"in":[11,37,64],"wide":[13],"array":[14],"of":[15,56,175,203,212],"applications,":[16],"including":[17],"business":[18],"analytics,":[19],"program":[20],"analysis,":[21],"and":[22,85,98,105,158,198],"ontological":[23],"reasoning.":[24],"However,":[25],"Datalog's":[26,52],"restriction":[27,139,174],"to":[28,35,93,101,107,132,154,179,208,210],"flat":[29],"facts":[30],"over":[31,83,148],"atomic":[32],"constants":[33],"leads":[34],"challenges":[36],"working":[38],"with":[39,89,119,127,205],"tree-structured":[40],"data,":[41,150],"such":[42,60],"as":[43,61,166],"derivation":[44],"trees":[45],"or":[46,71],"abstract":[47],"syntax":[48],"trees.":[49],"To":[50],"ameliorate":[51],"restrictions,":[53],"extensions":[55],"support":[58,108],"features":[59],"existential":[62],"quantification":[63],"rule":[65,103],"heads":[66],"(Datalog*,":[67],"\u2203":[69],")":[70],"algebraic":[72],"data":[73,87],"types":[74],"(Souffl\u00e9).":[75],"Unfortunately,":[76],"these":[77],"are":[78],"imperfect":[79],"solutions":[80],"structured":[84],"recursive":[86],"types,":[88],"general":[90],"existentials":[91],"leading":[92,193],"complex":[94],"implementations":[95],"requiring":[96],"unification,":[97],"ADTs":[99],"unable":[100],"trigger":[102],"evaluation":[104],"failing":[106],"efficient":[109],"indexing.":[110],"We":[111,135,161,188],"present":[112],"D":[113,163,176],"L":[114,164,177],"\u2203!":[115,165,178],",":[116],"first-class":[120],"facts,":[121],"wherein":[122],"every":[123],"fact":[124],"identified":[126],"Skolem":[129],"term":[130],"unique":[131],"the":[133,172,206],"fact.":[134],"show":[136,189],"that":[137,190],"this":[138],"offers":[140],"an":[141],"attractive":[142],"price":[143],"point":[144],"Datalogbased":[146],"tree-shaped":[149],"demonstrating":[151],"its":[152],"application":[153],"databases,":[155],"artificial":[156],"intelligence,":[157],"languages.":[160],"implemented":[162],"system":[168],"Slog,":[169],"which":[170],"leverages":[171],"uniqueness":[173],"enable":[180],"communication-avoiding,":[182],"massively-parallel":[183],"implementation":[184],"built":[185],"on":[186,200],"MPI.":[187],"Slog":[191],"outperforms":[192],"systems":[194],"(Nemo,":[195],"Vlog,":[196],"RDFox,":[197],"Souffl\u00e9)":[199],"variety":[202],"benchmarks,":[204],"potential":[207],"scale":[209],"thousands":[211],"threads.":[213]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}