{"id":"https://openalex.org/W3100736589","doi":"https://doi.org/10.1109/tkde.2020.3037313","title":"Verifying the Correctness of Analytic Query Results","display_name":"Verifying the Correctness of Analytic Query Results","publication_year":2020,"publication_date":"2020-11-11","ids":{"openalex":"https://openalex.org/W3100736589","doi":"https://doi.org/10.1109/tkde.2020.3037313","mag":"3100736589"},"language":"en","primary_location":{"id":"doi:10.1109/tkde.2020.3037313","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tkde.2020.3037313","pdf_url":null,"source":{"id":"https://openalex.org/S30698027","display_name":"IEEE Transactions on Knowledge and Data Engineering","issn_l":"1041-4347","issn":["1041-4347","1558-2191","2326-3865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Knowledge and Data Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2011.11487","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Masoud Nosrati","orcid":"https://orcid.org/0000-0001-9348-2405"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Masoud Nosrati","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, USA"],"raw_orcid":"https://orcid.org/0000-0001-9348-2405","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":null,"display_name":"Ying Cai","orcid":"https://orcid.org/0000-0002-3690-2933"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ying Cai","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, USA"],"raw_orcid":"https://orcid.org/0000-0002-3690-2933","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":0.1546,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.54057185,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"34","issue":"9","first_page":"4527","last_page":"4537"},"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.628600001335144,"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.628600001335144,"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.08640000224113464,"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/T11719","display_name":"Data Quality and Management","score":0.07079999893903732,"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/correctness","display_name":"Correctness","score":0.6995999813079834},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.640500009059906},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.5619999766349792},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5615000128746033},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5013999938964844},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.4869999885559082},{"id":"https://openalex.org/keywords/rdf-query-language","display_name":"RDF query language","score":0.4805999994277954},{"id":"https://openalex.org/keywords/upload","display_name":"Upload","score":0.47130000591278076},{"id":"https://openalex.org/keywords/web-query-classification","display_name":"Web query classification","score":0.46650001406669617}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8777999877929688},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6995999813079834},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.640500009059906},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.5619999766349792},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5615000128746033},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5013999938964844},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.4869999885559082},{"id":"https://openalex.org/C96956885","wikidata":"https://www.wikidata.org/wiki/Q6138701","display_name":"RDF query language","level":5,"score":0.4805999994277954},{"id":"https://openalex.org/C71901391","wikidata":"https://www.wikidata.org/wiki/Q7126699","display_name":"Upload","level":2,"score":0.47130000591278076},{"id":"https://openalex.org/C118689300","wikidata":"https://www.wikidata.org/wiki/Q7978614","display_name":"Web query classification","level":4,"score":0.46650001406669617},{"id":"https://openalex.org/C99016210","wikidata":"https://www.wikidata.org/wiki/Q5488129","display_name":"Query expansion","level":2,"score":0.45590001344680786},{"id":"https://openalex.org/C136736807","wikidata":"https://www.wikidata.org/wiki/Q818943","display_name":"Range query (database)","level":5,"score":0.448199987411499},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.4399999976158142},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4221999943256378},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.41200000047683716},{"id":"https://openalex.org/C172722865","wikidata":"https://www.wikidata.org/wiki/Q2302053","display_name":"Spatial query","level":5,"score":0.40860000252723694},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4000999927520752},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3783999979496002},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.37209999561309814},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.3668000102043152},{"id":"https://openalex.org/C54239708","wikidata":"https://www.wikidata.org/wiki/Q1329910","display_name":"View","level":3,"score":0.36039999127388},{"id":"https://openalex.org/C46934059","wikidata":"https://www.wikidata.org/wiki/Q61515","display_name":"Outsourcing","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.3070000112056732},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.30079999566078186},{"id":"https://openalex.org/C24028149","wikidata":"https://www.wikidata.org/wiki/Q7094056","display_name":"Online aggregation","level":5,"score":0.28040000796318054},{"id":"https://openalex.org/C75684735","wikidata":"https://www.wikidata.org/wiki/Q858810","display_name":"Big data","level":2,"score":0.25999999046325684}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tkde.2020.3037313","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tkde.2020.3037313","pdf_url":null,"source":{"id":"https://openalex.org/S30698027","display_name":"IEEE Transactions on Knowledge and Data Engineering","issn_l":"1041-4347","issn":["1041-4347","1558-2191","2326-3865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Knowledge and Data Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2011.11487","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2011.11487","pdf_url":"https://arxiv.org/pdf/2011.11487","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2011.11487","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2011.11487","pdf_url":"https://arxiv.org/pdf/2011.11487","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1486370790","https://openalex.org/W1540322871","https://openalex.org/W1566345534","https://openalex.org/W1605419955","https://openalex.org/W1729172517","https://openalex.org/W1971511288","https://openalex.org/W2007693284","https://openalex.org/W2033323819","https://openalex.org/W2041948528","https://openalex.org/W2052388228","https://openalex.org/W2084945437","https://openalex.org/W2093396996","https://openalex.org/W2098433299","https://openalex.org/W2103556204","https://openalex.org/W2125941728","https://openalex.org/W2142160461","https://openalex.org/W2148740744","https://openalex.org/W2222258427","https://openalex.org/W2439128763","https://openalex.org/W2789753524","https://openalex.org/W2808536438","https://openalex.org/W6734552137"],"related_works":["https://openalex.org/W2100424584","https://openalex.org/W1522486842","https://openalex.org/W1556422878","https://openalex.org/W1784890497","https://openalex.org/W2172022734","https://openalex.org/W4238823939","https://openalex.org/W2363027842","https://openalex.org/W95017259","https://openalex.org/W4220868064","https://openalex.org/W1513692756"],"abstract_inverted_index":{"Data":[0],"outsourcing":[1],"is":[2,54,70],"a":[3,36,74,85,156],"cost-effective":[4],"solution":[5],"for":[6,26,93,166],"data":[7,27,87,120,164],"owners":[8],"to":[9,35,136,154,162],"tackle":[10],"issues":[11],"such":[12],"as":[13,73,84],"large":[14,86],"volumes":[15],"of":[16,20,133,140,143,192],"data,":[17],"huge":[18],"number":[19],"users,":[21],"and":[22,38,83,177,182,204,212],"intensive":[23],"computation":[24],"needed":[25],"analysis.":[28],"They":[29],"can":[30,58,113],"simply":[31],"upload":[32],"their":[33],"databases":[34],"cloud":[37],"let":[39],"it":[40,160],"perform":[41],"all":[42],"management":[43],"works,":[44],"including":[45,195],"query":[46,56,61,101,111,123],"processing.":[47],"One":[48],"problem":[49,132],"with":[50],"this":[51,127],"service":[52],"model":[53],"how":[55],"issuers":[57],"verify":[59,137],"the":[60,118,122,131,138,141],"results":[62,112,142],"they":[63,185],"receive":[64],"are":[65,90],"indeed":[66],"correct.":[67],"This":[68],"concern":[69],"legitimate":[71],"because,":[72],"third":[75],"party,":[76],"clouds":[77,89],"may":[78],"not":[79],"be":[80,114],"fully":[81],"trustworthy,":[82],"center,":[88],"ideal":[91],"targets":[92],"hackers.":[94],"There":[95],"has":[96],"been":[97],"significant":[98],"work":[99,186],"on":[100,188],"result":[102],"verification,":[103],"but":[104],"most":[105],"consider":[106,130],"only":[107],"simple":[108,147],"queries":[109,150],"where":[110],"attained":[115],"by":[116],"checking":[117],"raw":[119],"against":[121],"conditions":[124],"directly.":[125],"In":[126],"paper,":[128],"we":[129],"enabling":[134],"users":[135],"correctness":[139],"analytic":[144,149,193],"queries.":[145],"Unlike":[146],"queries,":[148,194,208],"involve":[151],"ranking":[152],"functions":[153],"score":[155],"database,":[157],"which":[158],"makes":[159],"difficult":[161],"build":[163],"structures":[165],"verification":[167],"purposes.":[168],"We":[169],"propose":[170],"two":[171],"approaches,":[172],"namely":[173],"<italic":[174,178,196,200,205],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[175,179,197,201,206],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">one-signature</i>":[176],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">multi-signature</i>":[180],",":[181,199,203],"show":[183],"that":[184],"well":[187],"three":[189],"representative":[190],"types":[191],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">top-k</i>":[198],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">range</i>":[202],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">KNN</i>":[207],"through":[209],"both":[210],"analysis":[211],"experiments.":[213]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2020-11-23T00:00:00"}