{"id":"https://openalex.org/W2738908150","doi":"https://doi.org/10.1017/s1471068417000436","title":"Fixpoint semantics and optimization of recursive Datalog programs with aggregates","display_name":"Fixpoint semantics and optimization of recursive Datalog programs with aggregates","publication_year":2017,"publication_date":"2017-08-23","ids":{"openalex":"https://openalex.org/W2738908150","doi":"https://doi.org/10.1017/s1471068417000436","mag":"2738908150"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068417000436","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068417000436","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1707.05681","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113467760","display_name":"Carlo Zaniolo","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"CARLO ZANIOLO","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA, USA (e-mails:"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA, USA (e-mails:","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103075868","display_name":"Mohan Yang","orcid":"https://orcid.org/0000-0002-6886-0256"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MOHAN YANG","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA, USA (e-mails:"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA, USA (e-mails:","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103245820","display_name":"Ariyam Das","orcid":"https://orcid.org/0000-0003-0950-606X"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ARIYAM DAS","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA, USA (e-mails:"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA, USA (e-mails:","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073720497","display_name":"Alexander Shkapsky","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ALEXANDER SHKAPSKY","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA, USA (e-mails:"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA, USA (e-mails:","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014353497","display_name":"Tyson Condie","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"TYSON CONDIE","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA, USA (e-mails:"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA, USA (e-mails:","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071206013","display_name":"Matteo Interlandi","orcid":"https://orcid.org/0000-0002-5756-8321"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MATTEO INTERLANDI","raw_affiliation_strings":["Microsoft, Redmond, WA, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Microsoft, Redmond, WA, USA (e-mail:","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5113467760"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":0.8309,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80475124,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"17","issue":"5-6","first_page":"1048","last_page":"1065"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9958999752998352,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9672836065292358},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7428324222564697},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.650287926197052},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6062692403793335},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5936424136161804},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.5706565976142883},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.47747349739074707},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.464829683303833},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.45523905754089355},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4466691315174103},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4465298354625702},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.439120352268219},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.38840845227241516},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33352357149124146},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1972980797290802},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.10109388828277588}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9672836065292358},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7428324222564697},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.650287926197052},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6062692403793335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5936424136161804},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5706565976142883},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.47747349739074707},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.464829683303833},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.45523905754089355},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4466691315174103},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4465298354625702},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.439120352268219},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.38840845227241516},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33352357149124146},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1972980797290802},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10109388828277588},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068417000436","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068417000436","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1707.05681","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1707.05681","pdf_url":"https://arxiv.org/pdf/1707.05681","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2738908150","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/1707.05681","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1707.05681","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1707.05681","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1707.05681","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1707.05681","pdf_url":"https://arxiv.org/pdf/1707.05681","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332161","display_name":"National Institutes of Health","ror":"https://ror.org/01cwqze88"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2738908150.pdf","grobid_xml":"https://content.openalex.org/works/W2738908150.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W125332145","https://openalex.org/W1486392831","https://openalex.org/W1493657719","https://openalex.org/W1502641483","https://openalex.org/W1511011071","https://openalex.org/W1600378632","https://openalex.org/W1976055110","https://openalex.org/W2008865455","https://openalex.org/W2016531106","https://openalex.org/W2039491213","https://openalex.org/W2046413390","https://openalex.org/W2059245949","https://openalex.org/W2059558261","https://openalex.org/W2064864283","https://openalex.org/W2065975085","https://openalex.org/W2069156007","https://openalex.org/W2073074467","https://openalex.org/W2087032149","https://openalex.org/W2091346145","https://openalex.org/W2096650850","https://openalex.org/W2098678491","https://openalex.org/W2101310065","https://openalex.org/W2102200347","https://openalex.org/W2108911687","https://openalex.org/W2119011418","https://openalex.org/W2151485489","https://openalex.org/W2156536027","https://openalex.org/W2171899835","https://openalex.org/W2206143223","https://openalex.org/W2215524946","https://openalex.org/W2294676922","https://openalex.org/W2433992225","https://openalex.org/W2557780633","https://openalex.org/W2571995155","https://openalex.org/W4248355514","https://openalex.org/W6606692874","https://openalex.org/W6634267781"],"related_works":["https://openalex.org/W2964250337","https://openalex.org/W2096650850","https://openalex.org/W1557007858","https://openalex.org/W2480079900","https://openalex.org/W1674863979","https://openalex.org/W2980569716","https://openalex.org/W1530932890","https://openalex.org/W1586575428","https://openalex.org/W2901959279","https://openalex.org/W1521337661","https://openalex.org/W14429275","https://openalex.org/W2087475328","https://openalex.org/W2093463375","https://openalex.org/W1784178627","https://openalex.org/W1888155244","https://openalex.org/W2096472861","https://openalex.org/W2773580074","https://openalex.org/W2125653706","https://openalex.org/W2996212942","https://openalex.org/W2186849240"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"very":[2],"desirable":[3],"Datalog":[4,67,199],"extension":[5],"investigated":[6],"by":[7,65,71,118,177,222],"many":[8,66,162],"researchers":[9],"in":[10,16,32,59,82,90,147,161],"the":[11,18,21,46,55,60,84,96,101,109,148,154,187,193,213],"last":[12],"30":[13],"years":[14],"consists":[15],"allowing":[17],"use":[19,85,168],"of":[20,50,76,78,86,100,112,150,157,164,198,216],"basic":[22],"SQL":[23],"aggregates":[24,116],"min":[25,87],",":[26,28,127,245],"max":[27,89],"count":[29,113,189,208],"and":[30,114,130,134,139,184,190,195,209,219,234],"sum":[31,115],"recursive":[33,91,203],"rules.":[34,105],"In":[35,229],"this":[36],"paper,":[37],"we":[38,107],"propose":[39],"a":[40,73],"simple":[41],"comprehensive":[42],"solution":[43],"that":[44,173],"extends":[45],"declarative":[47,97],"least-fixpoint":[48],"semantics":[49,99,156,194],"Horn":[51,158],"Clauses,":[52],"along":[53],"with":[54,180,205],"optimization":[56,196],"techniques":[57,197],"used":[58],"bottom-up":[61],"implementation":[62],"approach":[63],"adopted":[64],"systems.":[68],"We":[69],"start":[70],"identifying":[72],"large":[74],"class":[75],"programs":[77,102,204],"great":[79],"practical":[80,165],"interest":[81],"which":[83],"or":[88],"rules":[92],"does":[93],"not":[94],"compromise":[95],"fixpoint":[98,155],"using":[103],"those":[104],"Then,":[106],"revisit":[108],"monotonic":[110,146],"versions":[111],"proposed":[117],"Mazuran":[119],"et":[120,225,237],"al.":[121],"(2013b,":[122],"The":[123,241],"VLDB":[124,242],"Journal":[125,243],"22":[126],"4,":[128],"471\u2013493)":[129],"named,":[131],"respectively,":[132],"mcount":[133,183],"msum":[135,141,185],".":[136,227,231,239],"Since":[137],"mcount,":[138],"also":[140],"on":[142],"positive":[143],"numbers,":[144],"are":[145,200],"lattice":[149],"set-containment,":[151],"they":[152],"preserve":[153],"Clauses.":[159],"However,":[160],"applications":[163,215],"interest,":[166],"their":[167],"can":[169,174],"lead":[170],"to":[171,202],"inefficiencies,":[172],"be":[175],"eliminated":[176],"combining":[178],"them":[179],"max,":[181,207],"whereby":[182],"become":[186],"standard":[188],"sum.":[191],"Therefore,":[192],"extended":[201],"min,":[206],"sum,":[210],"making":[211],"possible":[212],"advanced":[214],"superior":[217],"performance":[218],"scalability":[220],"demonstrated":[221],"BigDatalog":[223],"(Shkapsky":[224],"al":[226,238],"2016.":[228],"SIGMOD":[230],"ACM,":[232],"1135\u20131149)":[233],"Datalog-MC":[235],"(Yang":[236],"2017.":[240],"26":[244],"2,":[246],"229\u2013248).":[247]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2025-10-10T00:00:00"}