{"id":"https://openalex.org/W4409218499","doi":"https://doi.org/10.14778/3712221.3712247","title":"Semantic Conformance Testing of Relational DBMS","display_name":"Semantic Conformance Testing of Relational DBMS","publication_year":2024,"publication_date":"2024-11-01","ids":{"openalex":"https://openalex.org/W4409218499","doi":"https://doi.org/10.14778/3712221.3712247"},"language":"en","primary_location":{"id":"doi:10.14778/3712221.3712247","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3712221.3712247","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/A5100319073","display_name":"Shuang Liu","orcid":"https://orcid.org/0000-0001-8766-7235"},"institutions":[{"id":"https://openalex.org/I78988378","display_name":"Renmin University of China","ror":"https://ror.org/041pakw92","country_code":"CN","type":"education","lineage":["https://openalex.org/I78988378"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shuang Liu","raw_affiliation_strings":["Renmin University of China"],"affiliations":[{"raw_affiliation_string":"Renmin University of China","institution_ids":["https://openalex.org/I78988378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101080592","display_name":"Chenglin Tian","orcid":null},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenglin Tian","raw_affiliation_strings":["Beijing University of Posts and Telecommunications"],"affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100429004","display_name":"Jun Sun","orcid":"https://orcid.org/0000-0002-3545-1392"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jun Sun","raw_affiliation_strings":["Singapore Management University"],"affiliations":[{"raw_affiliation_string":"Singapore Management University","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078575532","display_name":"Ruifeng Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruifeng Wang","raw_affiliation_strings":["College of Intelligence and Computing, Tianjin University"],"affiliations":[{"raw_affiliation_string":"College of Intelligence and Computing, Tianjin University","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045807606","display_name":"Wei Lu","orcid":"https://orcid.org/0000-0003-0827-0382"},"institutions":[{"id":"https://openalex.org/I78988378","display_name":"Renmin University of China","ror":"https://ror.org/041pakw92","country_code":"CN","type":"education","lineage":["https://openalex.org/I78988378"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Lu","raw_affiliation_strings":["Renmin University of China"],"affiliations":[{"raw_affiliation_string":"Renmin University of China","institution_ids":["https://openalex.org/I78988378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013464242","display_name":"Yongxin Zhao","orcid":"https://orcid.org/0000-0001-5712-079X"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongxin Zhao","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China, Normal University"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China, Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083669929","display_name":"Yinxing Xue","orcid":"https://orcid.org/0000-0002-2979-7151"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinxing Xue","raw_affiliation_strings":["University of Science and Technology of China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021613667","display_name":"Junjie Wang","orcid":"https://orcid.org/0009-0002-3847-6760"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjie Wang","raw_affiliation_strings":["College of Intelligence and Computing, Tianjin University"],"affiliations":[{"raw_affiliation_string":"College of Intelligence and Computing, Tianjin University","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008721449","display_name":"Xiaoyong Du","orcid":"https://orcid.org/0000-0002-5757-9135"},"institutions":[{"id":"https://openalex.org/I78988378","display_name":"Renmin University of China","ror":"https://ror.org/041pakw92","country_code":"CN","type":"education","lineage":["https://openalex.org/I78988378"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyong Du","raw_affiliation_strings":["Renmin University of China"],"affiliations":[{"raw_affiliation_string":"Renmin University of China","institution_ids":["https://openalex.org/I78988378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5100319073"],"corresponding_institution_ids":["https://openalex.org/I78988378"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.34786677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"3","first_page":"850","last_page":"862"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9980999827384949,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9980999827384949,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9973000288009644,"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.6019043922424316},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5020651817321777},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.4867086708545685},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10327014327049255},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.07205811142921448}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6019043922424316},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5020651817321777},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4867086708545685},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10327014327049255},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.07205811142921448}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14778/3712221.3712247","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3712221.3712247","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W220935706","https://openalex.org/W2020949660","https://openalex.org/W2039384225","https://openalex.org/W2048417351","https://openalex.org/W2613232875","https://openalex.org/W2614913282","https://openalex.org/W2740841986","https://openalex.org/W2862455684","https://openalex.org/W2953181121","https://openalex.org/W2982547214","https://openalex.org/W3013999834","https://openalex.org/W3015405072","https://openalex.org/W3031495788","https://openalex.org/W3032341945","https://openalex.org/W3042605769","https://openalex.org/W3099032206","https://openalex.org/W3106731144","https://openalex.org/W3160235602","https://openalex.org/W3202030395","https://openalex.org/W4210660460","https://openalex.org/W4221027947","https://openalex.org/W4237471686","https://openalex.org/W4313563635"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Relational":[0],"DBMS":[1],"implementations":[2],"are":[3,12,26,84,163],"expected":[4],"to":[5,7,38,50,142],"adhere":[6],"SQL":[8,30,66,94],"standards.":[9],"However,":[10],"there":[11],"currently":[13],"no":[14],"tools":[15],"available":[16],"that":[17,54,129],"can":[18],"automatically":[19],"verify":[20],"this":[21,69],"conformance.":[22],"The":[23],"main":[24],"reasons":[25],"twofold.":[27],"First,":[28],"the":[29,65,73,90],"standard":[31],"specification,":[32],"documented":[33],"in":[34,64,98],"natural":[35],"language,":[36],"tends":[37],"be":[39],"ambiguous":[40],"and":[41,61,95,145,152,157],"is":[42,48],"not":[43],"directly":[44],"executable.":[45],"Second,":[46],"it":[47],"difficult":[49],"generate":[51],"test":[52],"queries":[53,132],"thoroughly":[55,146],"cover":[56],"all":[57,160],"aspects,":[58],"e.g.,":[59,149],"keywords":[60],"parameters,":[62],"defined":[63],"specification.":[67],"In":[68],"work,":[70],"we":[71,87,112,138],"introduce":[72],"first":[74],"method":[75],"for":[76,105],"semantic":[77,135],"conformance":[78],"testing":[79,107],"of":[80,93,161],"RDBMSs.":[81,110],"Our":[82],"contributions":[83],"threefold.":[85],"Firstly,":[86],"formally":[88],"define":[89],"denotational":[91],"semantics":[92],"implement":[96],"them":[97],"Prolog,":[99],"creating":[100],"an":[101],"executable":[102],"reference":[103],"RDBMS":[104,166],"differential":[106],"against":[108],"existing":[109],"Secondly,":[111],"propose":[113],"three":[114],"coverage":[115],"criteria":[116],"based":[117],"on":[118],"these":[119],"formal":[120],"semantics,":[121],"along":[122],"with":[123],"a":[124],"coverage-guided":[125],"query":[126],"generation":[127],"algorithm":[128],"effectively":[130],"generates":[131],"achieving":[133],"high":[134],"coverage.":[136],"Lastly,":[137],"apply":[139],"our":[140],"approach":[141],"six":[143],"widely-used":[144],"tested":[147],"RDBMSs,":[148],"MySQL,":[150],"PostgreSQL":[151],"OceanBase,":[153],"uncovering":[154],"19":[155],"bugs":[156],"13":[158],"inconsistencies,":[159],"which":[162],"confirmed":[164],"by":[165],"developers.":[167]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}