{"id":"https://openalex.org/W3086891830","doi":"https://doi.org/10.14778/3415478.3415528","title":"I-Rex","display_name":"I-Rex","publication_year":2020,"publication_date":"2020-08-01","ids":{"openalex":"https://openalex.org/W3086891830","doi":"https://doi.org/10.14778/3415478.3415528","mag":"3086891830"},"language":"en","primary_location":{"id":"doi:10.14778/3415478.3415528","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3415478.3415528","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/A5087858861","display_name":"Zhengjie Miao","orcid":"https://orcid.org/0009-0008-2371-1186"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhengjie Miao","raw_affiliation_strings":["Duke University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032897954","display_name":"Tiangang Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tiangang Chen","raw_affiliation_strings":["Duke University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009760836","display_name":"Alexander Bendeck","orcid":"https://orcid.org/0000-0002-9799-2194"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Bendeck","raw_affiliation_strings":["Duke University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044040858","display_name":"Kevin Day","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Day","raw_affiliation_strings":["Duke University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110322079","display_name":"Sudeepa Roy","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sudeepa Roy","raw_affiliation_strings":["Duke University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101801967","display_name":"Jun Yang","orcid":"https://orcid.org/0000-0001-7888-2187"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jun Yang","raw_affiliation_strings":["Duke University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I170897317"],"apc_list":null,"apc_paid":null,"fwci":4.8275,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.95595166,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"13","issue":"12","first_page":"2997","last_page":"3000"},"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.9998999834060669,"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.9998999834060669,"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/T11937","display_name":"Research Data Management Practices","score":0.989799976348877,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.987500011920929,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8526879549026489},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.7766834497451782},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6643880605697632},{"id":"https://openalex.org/keywords/query-by-example","display_name":"Query by Example","score":0.6407936811447144},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5654058456420898},{"id":"https://openalex.org/keywords/language-integrated-query","display_name":"Language Integrated Query","score":0.5246670246124268},{"id":"https://openalex.org/keywords/stored-procedure","display_name":"Stored procedure","score":0.5213188529014587},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5129196643829346},{"id":"https://openalex.org/keywords/sql-injection","display_name":"SQL injection","score":0.50374835729599},{"id":"https://openalex.org/keywords/sql/psm","display_name":"SQL/PSM","score":0.48926517367362976},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.47733834385871887},{"id":"https://openalex.org/keywords/null","display_name":"Null (SQL)","score":0.4540853798389435},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.4391452372074127},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.4386473596096039},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.30429762601852417},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.2604265809059143}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8526879549026489},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.7766834497451782},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6643880605697632},{"id":"https://openalex.org/C194222762","wikidata":"https://www.wikidata.org/wiki/Q114486","display_name":"Query by Example","level":4,"score":0.6407936811447144},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5654058456420898},{"id":"https://openalex.org/C179531526","wikidata":"https://www.wikidata.org/wiki/Q595637","display_name":"Language Integrated Query","level":5,"score":0.5246670246124268},{"id":"https://openalex.org/C154420247","wikidata":"https://www.wikidata.org/wiki/Q846619","display_name":"Stored procedure","level":5,"score":0.5213188529014587},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5129196643829346},{"id":"https://openalex.org/C150451098","wikidata":"https://www.wikidata.org/wiki/Q506059","display_name":"SQL injection","level":5,"score":0.50374835729599},{"id":"https://openalex.org/C167544706","wikidata":"https://www.wikidata.org/wiki/Q360842","display_name":"SQL/PSM","level":5,"score":0.48926517367362976},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.47733834385871887},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.4540853798389435},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.4391452372074127},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4386473596096039},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.30429762601852417},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.2604265809059143},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14778/3415478.3415528","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3415478.3415528","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":[{"score":0.800000011920929,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1970548936","https://openalex.org/W2119325664","https://openalex.org/W2293299776","https://openalex.org/W2964115955"],"related_works":["https://openalex.org/W2912795851","https://openalex.org/W1890845846","https://openalex.org/W638381921","https://openalex.org/W2240099544","https://openalex.org/W3209496184","https://openalex.org/W4238156210","https://openalex.org/W2512476881","https://openalex.org/W2738342198","https://openalex.org/W3014278207","https://openalex.org/W2340883001"],"abstract_inverted_index":{"We":[0],"demonstrate":[1],"I-Rex":[2,19,35,78,139,186,209],"1":[3],",":[4],"a":[5,39,48,52,74,123,141,150,173],"system":[6],"designed":[7],"to":[8,47,121,153,195],"help":[9],"users":[10,21,80,211],"understand":[11,212],"SQL":[12,17,28,104,125,146,191,215],"query":[13,40,50,147,199],"evaluation":[14,25,148],"and":[15,61,168,213],"debug":[16,214],"queries.":[18,99,216],"lets":[20,79],"interactively":[22],"\"trace\"":[23],"the":[24,67,87,97,181],"of":[26,166,183],"complex":[27,161],"queries,":[29],"including":[30],"those":[31],"with":[32,45,197],"correlated":[33],"subqueries.":[34],"also":[36],"explains":[37],"why":[38],"returns":[41],"an":[42],"incorrect":[43],"answer":[44],"respect":[46],"reference":[49],"over":[51,73],"test":[53],"database":[54,76],"instance---a":[55],"common":[56],"use":[57,205],"case":[58],"in":[59,86,149,192,207],"education":[60],"software":[62],"regression":[63],"testing.":[64],"To":[65],"avoid":[66],"cognitive":[68],"overload":[69],"caused":[70],"by":[71],"debugging":[72,112],"large":[75,88],"instance,":[77],"focus":[81],"on":[82],"smaller":[83],"instances":[84],"contained":[85],"one":[89],"(which":[90],"we":[91,171],"call":[92],"\"counterexamples\")":[93],"that":[94,179],"still":[95],"distinguish":[96],"two":[98,107],"Supporting":[100],"these":[101],"features":[102],"for":[103,113,144,160,175,190],"queries":[105,155,162],"poses":[106],"key":[108],"challenges.":[109],"First,":[110],"unlike":[111],"procedural":[114],"languages,":[115],"it":[116,135],"is":[117],"not":[118],"clear":[119],"how":[120,134,154],"trace":[122],"declarative":[124],"query,":[126],"because":[127],"its":[128],"execution":[129],"plan":[130],"often":[131],"differs":[132],"from":[133],"was":[136],"originally":[137],"written.":[138],"offers":[140],"novel":[142],"interface":[143],"tracing":[145],"way":[151],"faithful":[152],"are":[156],"written":[157],"syntactically,":[158],"even":[159],"involving":[163],"multiple":[164],"levels":[165],"nesting":[167],"correlation.":[169],"Second,":[170],"need":[172],"method":[174],"finding":[176],"small":[177],"counterexamples":[178],"handles":[180],"complexity":[182],"practical":[184],"SQL.":[185],"extends":[187],"provenance":[188],"support":[189],"non-trivial":[193],"ways":[194],"work":[196],"various":[198],"constructs.":[200],"This":[201],"demonstration":[202],"walks":[203],"through":[204],"cases":[206],"which":[208],"helps":[210]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2020-09-21T00:00:00"}