{"id":"https://openalex.org/W3175217296","doi":"https://doi.org/10.1145/3448016.3457262","title":"SIA","display_name":"SIA","publication_year":2021,"publication_date":"2021-06-09","ids":{"openalex":"https://openalex.org/W3175217296","doi":"https://doi.org/10.1145/3448016.3457262","mag":"3175217296"},"language":"en","primary_location":{"id":"doi:10.1145/3448016.3457262","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3448016.3457262","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 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/A5034240514","display_name":"Qi Zhou","orcid":"https://orcid.org/0000-0003-2591-395X"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Qi Zhou","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060680349","display_name":"Joy Arulraj","orcid":"https://orcid.org/0000-0002-7706-6978"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joy Arulraj","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027462416","display_name":"Shamkant B. Navathe","orcid":"https://orcid.org/0000-0002-6666-0031"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shamkant Navathe","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030836304","display_name":"William R. Harris","orcid":"https://orcid.org/0000-0002-7667-1287"},"institutions":[{"id":"https://openalex.org/I4210140281","display_name":"Galois (United States)","ror":"https://ror.org/03g8y8161","country_code":"US","type":"company","lineage":["https://openalex.org/I4210140281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William Harris","raw_affiliation_strings":["Galois Inc, Portland, OR, USA"],"affiliations":[{"raw_affiliation_string":"Galois Inc, Portland, OR, USA","institution_ids":["https://openalex.org/I4210140281"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071021486","display_name":"Jinpeng Wu","orcid":"https://orcid.org/0000-0002-7082-4123"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinpeng Wu","raw_affiliation_strings":["Alibaba Group, HangZhou, China"],"affiliations":[{"raw_affiliation_string":"Alibaba Group, HangZhou, China","institution_ids":["https://openalex.org/I45928872"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5034240514"],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":1.3754,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.81850763,"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":"2169","last_page":"2181"},"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.9991000294685364,"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.9991000294685364,"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/T11106","display_name":"Data Management and Algorithms","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9983999729156494,"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/predicate","display_name":"Predicate (mathematical logic)","score":0.7927741408348083},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7778339385986328},{"id":"https://openalex.org/keywords/predicate-abstraction","display_name":"Predicate abstraction","score":0.5869770050048828},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5090057849884033},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5021464824676514},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.465711385011673},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43606334924697876},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4345976710319519},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41938620805740356},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38297852873802185},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3377748131752014},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.18663039803504944},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1436712145805359},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.08497917652130127}],"concepts":[{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7927741408348083},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7778339385986328},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.5869770050048828},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5090057849884033},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5021464824676514},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.465711385011673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43606334924697876},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4345976710319519},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41938620805740356},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38297852873802185},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3377748131752014},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.18663039803504944},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1436712145805359},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.08497917652130127}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3448016.3457262","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3448016.3457262","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 International Conference on Management of Data","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W74317754","https://openalex.org/W1128447031","https://openalex.org/W1480909796","https://openalex.org/W1503149859","https://openalex.org/W1562973422","https://openalex.org/W1565898282","https://openalex.org/W1596717185","https://openalex.org/W1633805695","https://openalex.org/W1835281610","https://openalex.org/W1966267272","https://openalex.org/W2026354416","https://openalex.org/W2102489964","https://openalex.org/W2111687586","https://openalex.org/W2118017131","https://openalex.org/W2122406210","https://openalex.org/W2122599614","https://openalex.org/W2134770942","https://openalex.org/W2153635508","https://openalex.org/W2154984259","https://openalex.org/W2158493209","https://openalex.org/W2170199760","https://openalex.org/W2171831739","https://openalex.org/W2185676247","https://openalex.org/W2280703106","https://openalex.org/W2293685560","https://openalex.org/W2612705754","https://openalex.org/W2786278116","https://openalex.org/W2798232457","https://openalex.org/W2798609500","https://openalex.org/W2951100097","https://openalex.org/W2971026710","https://openalex.org/W2992496917"],"related_works":["https://openalex.org/W2531460317","https://openalex.org/W1521022632","https://openalex.org/W2126626789","https://openalex.org/W54610100","https://openalex.org/W2472194816","https://openalex.org/W2157449911","https://openalex.org/W2951913576","https://openalex.org/W1815155750","https://openalex.org/W2158277132","https://openalex.org/W4298483060"],"abstract_inverted_index":{"Predicate-centric":[0],"rules":[1,35,93,104],"for":[2,109,161],"rewriting":[3],"queries":[4,243,253,261],"is":[5,180],"a":[6,43,72,159,170,195,228,239],"key":[7,178,206],"technique":[8],"in":[9,136,215],"optimizing":[10,25],"queries.":[11],"These":[12],"include":[13],"pushing":[14],"down":[15],"the":[16,19,26,40,52,55,58,67,81,84,87,125,128,137,148,205,246],"predicate":[17,41,53,59,73,150],"below":[18,54],"join":[20,56],"and":[21,79,105,169,189,217,221],"aggregation":[22],"operators,":[23],"or":[24],"order":[27],"of":[28,33,46,66,83,130,208,231,241,258],"evaluating":[29],"predicates.":[30,112,210,256],"However,":[31,113],"many":[32],"these":[34,76,114,175,259],"are":[36],"only":[37,61],"applicable":[38,97],"when":[39],"uses":[42],"certain":[44],"set":[45,129,230],"columns.":[47],"For":[48],"example,":[49],"to":[50,181,186,192,235],"move":[51],"operator,":[57],"must":[60],"use":[62,190],"columns":[63,131],"from":[64,117,245],"one":[65],"joined":[68],"tables.":[69],"By":[70],"generating":[71],"that":[74,94,132,147,173,225],"satisfies":[75],"column":[77],"constraints":[78],"preserves":[80,151],"semantics":[82],"original":[85],"query,":[86],"optimizer":[88,126],"may":[89,133],"leverage":[90,182],"additional":[91],"predicate-centric":[92],"were":[95],"not":[96,123,145],"before.":[98],"Researchers":[99],"have":[100],"proposed":[101],"syntax-driven":[102],"rewrite":[103],"machine":[106,141],"learning":[107,142,162],"algorithms":[108,143],"inferring":[110],"such":[111],"techniques":[115],"suffer":[116],"two":[118],"limitations.":[119,176],"First,":[120],"they":[121],"do":[122,144],"let":[124],"constrain":[127],"be":[134],"used":[135],"learned":[138,149,255],"predicate.":[139,198],"Second,":[140],"guarantee":[146],"semantics.":[152],"In":[153],"this":[154,201],"paper,":[155],"we":[156],"present":[157],"SIA,":[158],"system":[160],"predicates":[163,233],"while":[164],"being":[165],"guided":[166],"by":[167,203],"counter-examples":[168,188],"verification":[171],"technique,":[172],"addresses":[174],"The":[177],"idea":[179],"satisfiability":[183],"modulo":[184],"theories":[185],"generate":[187],"them":[191],"iteratively":[193],"learn":[194],"valid,":[196],"optimal":[197],"We":[199,211,223],"formalize":[200],"problem":[202],"proving":[204],"properties":[207],"synthesized":[209],"implement":[212],"our":[213],"approach":[214],"SIA":[216,249],"evaluate":[218],"its":[219],"efficacy":[220],"efficiency.":[222],"demonstrate":[224],"it":[226],"synthesizes":[227],"larger":[229],"valid":[232],"compared":[234],"prior":[236],"approaches.":[237],"On":[238],"collection":[240],"200":[242],"derived":[244],"TPC-H":[247],"benchmark,":[248],"successfully":[250],"rewrites":[251],"114":[252],"with":[254],"66":[257],"rewritten":[260],"exhibit":[262],"more":[263],"than":[264],"2X":[265],"speed":[266],"up.":[267]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2021-07-05T00:00:00"}