{"id":"https://openalex.org/W3030774843","doi":"https://doi.org/10.1145/3318464.3389712","title":"Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing","display_name":"Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing","publication_year":2020,"publication_date":"2020-05-29","ids":{"openalex":"https://openalex.org/W3030774843","doi":"https://doi.org/10.1145/3318464.3389712","mag":"3030774843"},"language":"en","primary_location":{"id":"doi:10.1145/3318464.3389712","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3318464.3389712","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data","raw_type":"proceedings-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/A5052641511","display_name":"Qiange Wang","orcid":"https://orcid.org/0000-0002-4847-6070"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qiange Wang","raw_affiliation_strings":["Northeastern University, Shenyang, China"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100367496","display_name":"Yanfeng Zhang","orcid":"https://orcid.org/0000-0002-9871-0304"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanfeng Zhang","raw_affiliation_strings":["Northeastern University, Shenyang, China"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050002532","display_name":"Hao Wang","orcid":"https://orcid.org/0000-0003-3557-6301"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hao Wang","raw_affiliation_strings":["Ohio State University, Columbus, OH, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, Columbus, OH, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102873661","display_name":"Liang Geng","orcid":"https://orcid.org/0000-0002-6123-2353"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Geng","raw_affiliation_strings":["Northeastern University, Shenyang, China"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089560181","display_name":"Rubao Lee","orcid":"https://orcid.org/0009-0006-3588-0193"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rubao Lee","raw_affiliation_strings":["Ohio State University, Columbus, OH, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, Columbus, OH, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100376210","display_name":"Xiaodong Zhang","orcid":"https://orcid.org/0000-0002-5717-4111"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaodong Zhang","raw_affiliation_strings":["Ohio State University, Columbus, OH, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, Columbus, OH, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072406974","display_name":"Ge Yu","orcid":"https://orcid.org/0000-0002-3171-8889"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ge Yu","raw_affiliation_strings":["Northeastern University, Shenyang, China"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5052641511"],"corresponding_institution_ids":["https://openalex.org/I9224756"],"apc_list":null,"apc_paid":null,"fwci":2.1585,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.88171808,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"2439","last_page":"2454"},"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.9987000226974487,"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.9987000226974487,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8659936785697937},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.694064736366272},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6890959739685059},{"id":"https://openalex.org/keywords/aggregate","display_name":"Aggregate (composite)","score":0.6667729616165161},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.6451548337936401},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4933578073978424},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.4813328683376312},{"id":"https://openalex.org/keywords/sync","display_name":"sync","score":0.43232131004333496},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43040427565574646},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4146745204925537},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3715972900390625},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3298543095588684}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8659936785697937},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.694064736366272},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6890959739685059},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.6667729616165161},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.6451548337936401},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4933578073978424},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.4813328683376312},{"id":"https://openalex.org/C3913047","wikidata":"https://www.wikidata.org/wiki/Q1956265","display_name":"sync","level":3,"score":0.43232131004333496},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43040427565574646},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4146745204925537},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3715972900390625},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3298543095588684},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"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/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3318464.3389712","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3318464.3389712","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3103204153","display_name":null,"funder_award_id":"61672141, U1811261","funder_id":"https://openalex.org/F4320327720","funder_display_name":"Foundation for Innovative Research Groups of the National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320327720","display_name":"Foundation for Innovative Research Groups of the National Natural Science Foundation of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W78077100","https://openalex.org/W217817341","https://openalex.org/W1448681276","https://openalex.org/W1511011071","https://openalex.org/W1595443289","https://openalex.org/W1846087057","https://openalex.org/W1854214752","https://openalex.org/W2001340865","https://openalex.org/W2008865455","https://openalex.org/W2014478203","https://openalex.org/W2016531106","https://openalex.org/W2026417691","https://openalex.org/W2036631599","https://openalex.org/W2045271686","https://openalex.org/W2046946959","https://openalex.org/W2056021151","https://openalex.org/W2056116767","https://openalex.org/W2057112598","https://openalex.org/W2073074467","https://openalex.org/W2082021597","https://openalex.org/W2096544401","https://openalex.org/W2096650850","https://openalex.org/W2101310065","https://openalex.org/W2115022330","https://openalex.org/W2117831564","https://openalex.org/W2118668463","https://openalex.org/W2132202037","https://openalex.org/W2132737349","https://openalex.org/W2134321625","https://openalex.org/W2137813581","https://openalex.org/W2141711298","https://openalex.org/W2145067417","https://openalex.org/W2156094048","https://openalex.org/W2156536027","https://openalex.org/W2170616854","https://openalex.org/W2170814508","https://openalex.org/W2171329192","https://openalex.org/W2215524946","https://openalex.org/W2263157912","https://openalex.org/W2433992225","https://openalex.org/W2519887557","https://openalex.org/W2581090187","https://openalex.org/W2585196727","https://openalex.org/W2613088476","https://openalex.org/W2613159091","https://openalex.org/W2798738742","https://openalex.org/W2885840893","https://openalex.org/W2912007486","https://openalex.org/W2948416929","https://openalex.org/W2948906765","https://openalex.org/W2964250337","https://openalex.org/W2964338167","https://openalex.org/W6639055396"],"related_works":["https://openalex.org/W2955734379","https://openalex.org/W2049216635","https://openalex.org/W3121709727","https://openalex.org/W1537382653","https://openalex.org/W2517279098","https://openalex.org/W2309621853","https://openalex.org/W2030105170","https://openalex.org/W2145813209","https://openalex.org/W2893316903","https://openalex.org/W2169907154"],"abstract_inverted_index":{"In":[0,78],"database":[1],"and":[2,23,54,61,75,105,113,174],"large-scale":[3],"data":[4,36],"analytics,":[5],"recursive":[6,34,92,176],"aggregate":[7,35,93],"processing":[8,40,58],"plays":[9],"an":[10,83],"important":[11],"role,":[12],"which":[13],"is":[14,42,59,96],"generally":[15],"implemented":[16],"under":[17],"a":[18,91,115,124,133,154],"framework":[19],"of":[20,73],"incremental":[21],"computing":[22],"executed":[24,103],"synchronously":[25],"and/or":[26],"asynchronously.":[27],"We":[28,111,130],"identify":[29],"three":[30,167],"barriers":[31],"in":[32],"existing":[33],"processing.":[37],"First,":[38],"the":[39,128],"scope":[41],"largely":[43],"limited":[44],"to":[45,71,88,137],"monotonic":[46,97,173],"programs.":[47,177],"Second,":[48],"checking":[49],"on":[50,171],"conditions":[51,87],"for":[52,56,86,141],"monotonicity":[53],"correctness":[55],"async":[57,76],"sophisticated":[60],"manually":[62],"done.":[63],"Third,":[64],"execution":[65],"engines":[66],"may":[67],"be":[68,102],"suboptimal":[69],"due":[70],"separation":[72],"sync":[74],"execution.":[77],"this":[79],"paper,":[80],"we":[81,151],"lay":[82],"analytical":[84],"foundation":[85],"check":[89,122],"if":[90,123],"program":[94,126],"that":[95,119,163],"or":[98],"even":[99],"non-monotonic":[100,175],"can":[101,120,165],"incrementally":[104],"asynchronously":[106],"with":[107],"its":[108],"correct":[109],"result.":[110],"design":[112],"implement":[114],"condition":[116],"verification":[117],"tool":[118],"automatically":[121],"given":[125],"satisfies":[127],"conditions.":[129],"further":[131],"propose":[132],"unified":[134],"sync-async":[135],"engine":[136],"execute":[138],"these":[139,147],"programs":[140],"high":[142],"performance.":[143],"To":[144],"integrate":[145],"all":[146],"effective":[148],"methods":[149],"together,":[150],"have":[152],"developed":[153],"distributed":[155],"Datalog":[156,169],"system,":[157],"called":[158],"PowerLog.":[159],"Our":[160],"evaluation":[161],"shows":[162],"PowerLog":[164],"outperform":[166],"representative":[168],"systems":[170],"both":[172]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}