{"id":"https://openalex.org/W3030157523","doi":"https://doi.org/10.1145/3375395.3387655","title":"Deciding Robustness for Lower SQL Isolation Levels","display_name":"Deciding Robustness for Lower SQL Isolation Levels","publication_year":2020,"publication_date":"2020-05-29","ids":{"openalex":"https://openalex.org/W3030157523","doi":"https://doi.org/10.1145/3375395.3387655","mag":"3030157523"},"language":"en","primary_location":{"id":"doi:10.1145/3375395.3387655","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3375395.3387655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/handle/20.500.14299/177596","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028459977","display_name":"Bas Ketsman","orcid":"https://orcid.org/0000-0002-4032-0709"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Bas Ketsman","raw_affiliation_strings":["Vrije Universiteit Brussel, Brussels, Belgium"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel, Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101903922","display_name":"Christoph Koch","orcid":"https://orcid.org/0000-0002-9130-7205"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Christoph Koch","raw_affiliation_strings":["\u00c9cole polytechnique f\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"\u00c9cole polytechnique f\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022264843","display_name":"Frank Neven","orcid":"https://orcid.org/0000-0002-7143-1903"},"institutions":[{"id":"https://openalex.org/I4210127597","display_name":"Transnational University Limburg","ror":"https://ror.org/02xyaf767","country_code":"BE","type":"education","lineage":["https://openalex.org/I4210127597"]},{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Frank Neven","raw_affiliation_strings":["Hasselt University and Transnational University of Limburg, Hasselt, Belgium"],"affiliations":[{"raw_affiliation_string":"Hasselt University and Transnational University of Limburg, Hasselt, Belgium","institution_ids":["https://openalex.org/I4210127597","https://openalex.org/I878454856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028326015","display_name":"Brecht Vandevoort","orcid":"https://orcid.org/0000-0001-7212-4625"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]},{"id":"https://openalex.org/I4210127597","display_name":"Transnational University Limburg","ror":"https://ror.org/02xyaf767","country_code":"BE","type":"education","lineage":["https://openalex.org/I4210127597"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Brecht Vandevoort","raw_affiliation_strings":["Hasselt University and Transnational University of Limburg, Hasselt, Belgium"],"affiliations":[{"raw_affiliation_string":"Hasselt University and Transnational University of Limburg, Hasselt, Belgium","institution_ids":["https://openalex.org/I4210127597","https://openalex.org/I878454856"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5028459977"],"corresponding_institution_ids":["https://openalex.org/I13469542"],"apc_list":null,"apc_paid":null,"fwci":1.1321,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.79906333,"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":"315","last_page":"330"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9815999865531921,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9775000214576721,"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.76042240858078},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7592931985855103},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.69804447889328},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6567102670669556},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.544529378414154},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.4218651056289673},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.3876720070838928},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34376975893974304},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.29207485914230347},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26997697353363037},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.20021402835845947},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.09827601909637451}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.76042240858078},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7592931985855103},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.69804447889328},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6567102670669556},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.544529378414154},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.4218651056289673},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.3876720070838928},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34376975893974304},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.29207485914230347},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26997697353363037},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.20021402835845947},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.09827601909637451},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/3375395.3387655","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3375395.3387655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:131885","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/deciding-robustness-for-lower-sql-isolation-levels(5513126a-5006-471c-b3fe-37eb299edb93).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:165321","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/deciding-robustness-for-lower-sql-isolation-levels(61a87c1b-ed69-4035-afbf-bcbe919fa714).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"pmh:oai:documentserver.uhasselt.be:1942/33337","is_oa":false,"landing_page_url":"http://hdl.handle.net/1942/33337","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:documentserver.uhasselt.be:1942/34177","is_oa":false,"landing_page_url":"http://hdl.handle.net/1942/34177","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:infoscience.epfl.ch:285236","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/177596","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"WoS","raw_type":"conference proceedings"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:183712","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"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":"article"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:285236","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/177596","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"WoS","raw_type":"conference proceedings"},"sustainable_development_goals":[{"score":0.5400000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1496148388","https://openalex.org/W1601925768","https://openalex.org/W1970748906","https://openalex.org/W1989306170","https://openalex.org/W1990870868","https://openalex.org/W1996952974","https://openalex.org/W2049516232","https://openalex.org/W2099342989","https://openalex.org/W2117917070","https://openalex.org/W2133752438","https://openalex.org/W2293215590","https://openalex.org/W2493122348","https://openalex.org/W2540479136","https://openalex.org/W2945152208","https://openalex.org/W2955445014","https://openalex.org/W6629522299","https://openalex.org/W6721999761","https://openalex.org/W6734247447","https://openalex.org/W7075347363"],"related_works":["https://openalex.org/W50993356","https://openalex.org/W2084848907","https://openalex.org/W1497336670","https://openalex.org/W2383108850","https://openalex.org/W2249229821","https://openalex.org/W2034579025","https://openalex.org/W2409338718","https://openalex.org/W164845491","https://openalex.org/W2037438990","https://openalex.org/W2171076136"],"abstract_inverted_index":{"While":[0,63],"serializability":[1],"always":[2,50],"guarantees":[3,51],"application":[4,52],"correctness,":[5],"lower":[6,60,111],"isolation":[7,32,44,61,113,148],"levels":[8,114,149],"can":[9],"be":[10],"chosen":[11],"to":[12,197],"improve":[13],"transaction":[14],"throughput":[15],"at":[16],"the":[17,39,42,55,59,64,72,85,106,110,126,153,169,188,199,217,226,229,244],"risk":[18],"of":[19,25,38,58,125,138,152,155,159,171,190,202,240],"introducing":[20],"certain":[21],"anomalies.":[22],"A":[23,180,221],"set":[24],"transactions":[26,40,205],"is":[27,46,84,141,186,224,243],"robust":[28],"against":[29,98,146,232],"a":[30,93,160],"given":[31],"level":[33,45],"if":[34],"every":[35],"possible":[36],"interleaving":[37],"under":[41],"specified":[43],"serializable.":[47],"Robustness":[48],"therefore":[49],"correctness":[53],"with":[54,183],"performance":[56],"benefit":[57],"level.":[62],"robustness":[65,97,107,145,230],"problem":[66,108,231],"has":[67],"received":[68],"considerable":[69],"attention":[70],"in":[71,123,150,173,193],"literature,":[73],"only":[74],"sufficient":[75],"conditions":[76],"have":[77,196],"been":[78],"obtained.":[79],"The":[80,134,236],"most":[81],"notable":[82],"exception":[83],"seminal":[86],"work":[87],"by":[88,168],"Fekete":[89],"where":[90],"he":[91],"obtained":[92,192],"characterization":[94],"for":[95,109],"deciding":[96],"SNAPSHOT":[99],"ISOLATION.":[100],"In":[101],"this":[102,139,194,241],"paper,":[103],"we":[104,143,250],"address":[105],"SQL":[112],"READ":[115,118,209,212,233,248],"UNCOMMITTED":[116,210],"and":[117,130,164,167,211],"COMMITTED":[119,213,234],"which":[120],"are":[121],"defined":[122],"terms":[124,151],"forbidden":[127],"dirty":[128,131],"write":[129],"read":[132],"patterns.":[133],"first":[135],"main":[136,238],"contribution":[137,239],"paper":[140,195,242],"that":[142,176,187,225],"characterize":[144],"both":[147],"absence":[154,170],"counter":[156],"example":[157],"schedules":[158],"specific":[161],"form":[162],"(split":[163],"multi-split":[165],"schedules)":[166],"cycles":[172,191],"interference":[174],"graphs":[175],"satisfy":[177,216],"various":[178],"properties.":[179],"critical":[181],"difference":[182],"Fekete's":[184],"work,":[185],"properties":[189],"take":[198],"relative":[200],"ordering":[201],"operations":[203],"within":[204],"into":[206],"account":[207],"as":[208],"do":[214],"not":[215],"atomic":[218],"visibility":[219],"requirement.":[220],"particular":[222],"consequence":[223],"latter":[227],"renders":[228],"coNP-complete.":[235],"second":[237],"coNP-hardness":[245],"proof.":[246],"For":[247],"UNCOMMITTED,":[249],"obtain":[251],"LOGSPACE-completeness.":[252]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}