{"id":"https://openalex.org/W4387667035","doi":"https://doi.org/10.1145/3622847","title":"Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates","display_name":"Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387667035","doi":"https://doi.org/10.1145/3622847"},"language":"en","primary_location":{"id":"doi:10.1145/3622847","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622847","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622847","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622847","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062854587","display_name":"Aalok Thakkar","orcid":"https://orcid.org/0000-0002-3195-585X"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Aalok Thakkar","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103264260","display_name":"Nathaniel Sands","orcid":"https://orcid.org/0009-0008-5900-0036"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nathaniel Sands","raw_affiliation_strings":["University of Southern California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093069386","display_name":"George Petrou","orcid":null},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George Petrou","raw_affiliation_strings":["University of Southern California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065059795","display_name":"Rajeev Alur","orcid":"https://orcid.org/0000-0003-1733-7083"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajeev Alur","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075879790","display_name":"Mayur Naik","orcid":"https://orcid.org/0000-0003-1348-8618"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mayur Naik","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024988696","display_name":"Mukund Raghothaman","orcid":"https://orcid.org/0000-0003-2879-0932"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mukund Raghothaman","raw_affiliation_strings":["University of Southern California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, USA","institution_ids":["https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5062854587"],"corresponding_institution_ids":["https://openalex.org/I79576946","https://openalex.org/I922845939"],"apc_list":null,"apc_paid":null,"fwci":2.7378,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.9292106,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1394","last_page":"1417"},"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.9997000098228455,"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.9997000098228455,"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.9955999851226807,"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/T11719","display_name":"Data Quality and Management","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7707075476646423},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.6323941349983215},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5415035486221313},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5085412263870239},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.481627881526947},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.48048415780067444},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.4709300398826599},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.42223918437957764},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.4164621829986572},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.41610807180404663},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3137170076370239},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.1698024868965149},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16305622458457947}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7707075476646423},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.6323941349983215},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5415035486221313},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5085412263870239},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.481627881526947},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.48048415780067444},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.4709300398826599},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.42223918437957764},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.4164621829986572},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.41610807180404663},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3137170076370239},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.1698024868965149},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16305622458457947},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","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/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622847","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622847","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622847","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3622847","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622847","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622847","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.49000000953674316}],"awards":[{"id":"https://openalex.org/G2715623928","display_name":null,"funder_award_id":"CCF #2146518, #2124431, and #2107261","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4997311394","display_name":"FMitF: Track I: Synthesis of Quantitative Network Analytics: From Left-of-Launch to Right-of-Boom","funder_award_id":"2124431","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5873432550","display_name":"CAREER: Foundations of Statistical Program Reasoning","funder_award_id":"2146518","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G672701102","display_name":"Collaborative Research: SHF: Medium: Synthesis of Logic Programs for Democratizing Program Analysis","funder_award_id":"2107261","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387667035.pdf","grobid_xml":"https://content.openalex.org/works/W4387667035.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1769664091","https://openalex.org/W1905591175","https://openalex.org/W2038123353","https://openalex.org/W2158600037","https://openalex.org/W2238673293","https://openalex.org/W2502658919","https://openalex.org/W2612337100","https://openalex.org/W2612690371","https://openalex.org/W2615497679","https://openalex.org/W2768510408","https://openalex.org/W2898335306","https://openalex.org/W2899376621","https://openalex.org/W2964240296","https://openalex.org/W2965522163","https://openalex.org/W2996355221","https://openalex.org/W3033481405","https://openalex.org/W3093531652","https://openalex.org/W3130268038","https://openalex.org/W3173363254","https://openalex.org/W3173382652","https://openalex.org/W3185895498","https://openalex.org/W3205352458","https://openalex.org/W4237412827","https://openalex.org/W4251478049","https://openalex.org/W4256377773"],"related_works":["https://openalex.org/W2367630557","https://openalex.org/W101666983","https://openalex.org/W2183792531","https://openalex.org/W2595286499","https://openalex.org/W2616882931","https://openalex.org/W3174970460","https://openalex.org/W1639806124","https://openalex.org/W206482712","https://openalex.org/W2288512712","https://openalex.org/W1979093255"],"abstract_inverted_index":{"Synthesizing":[0],"relational":[1],"queries":[2,166],"from":[3],"data":[4,70,104],"is":[5,57,97],"challenging":[6,139],"in":[7,47,129,154],"the":[8,39,67,79,94,100,117,122,164],"presence":[9],"of":[10,28,69,78,137,156],"recursion":[11,45],"and":[12,42,49,88,120,151,158],"invented":[13],"predicates.":[14],"We":[15,124,160],"propose":[16],"a":[17,34,81,85,89,107,130,135],"fully":[18],"automated":[19],"approach":[20,26,128],"to":[21,52,72,112,169],"synthesize":[22],"such":[23],"queries.":[24],"Our":[25],"comprises":[27],"two":[29],"steps:":[30],"it":[31,48],"first":[32],"synthesizes":[33],"non-recursive":[35],"query":[36,90,109,141],"consistent":[37,98],"with":[38,99],"given":[40,101],"data,":[41],"then":[43],"identifies":[44],"schemes":[46],"thereby":[50],"generalizes":[51],"arbitrary":[53],"data.":[54,102,171],"This":[55],"generalization":[56],"achieved":[58],"by":[59],"an":[60],"iterative":[61],"predicate":[62],"unification":[63],"procedure":[64],"which":[65],"exploits":[66],"notion":[68],"provenance":[71,105],"accelerate":[73],"convergence.":[74],"In":[75],"each":[76],"iteration":[77],"procedure,":[80],"constraint":[82,118],"solver":[83,119],"proposes":[84],"candidate":[86],"query,":[87],"evaluator":[91],"checks":[92],"if":[93],"proposed":[95],"program":[96],"The":[103],"for":[106,116],"failed":[108],"allows":[110],"us":[111],"construct":[113],"additional":[114],"constraints":[115],"refine":[121],"search.":[123],"have":[125],"implemented":[126],"our":[127],"tool":[131],"named":[132],"Mobius.":[133],"On":[134],"suite":[136],"21":[138],"recursive":[140],"synthesis":[142],"tasks,":[143],"Mobius":[144],"outperforms":[145],"three":[146],"state-of-the-art":[147],"baselines":[148],"Gensynth,":[149],"ILASP,":[150],"Popper,":[152],"both":[153],"terms":[155],"runtime":[157],"accuracy.":[159],"also":[161],"demonstrate":[162],"that":[163],"synthesized":[165],"generalize":[167],"well":[168],"unseen":[170]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}