{"id":"https://openalex.org/W6887760051","doi":"https://doi.org/10.17619/unipb/1-1858","title":"On the membership and correctness problem for state serializability and value opacity","display_name":"On the membership and correctness problem for state serializability and value opacity","publication_year":2023,"publication_date":"2023-09-26","ids":{"openalex":"https://openalex.org/W6887760051","doi":"https://doi.org/10.17619/unipb/1-1858"},"language":"de","primary_location":{"id":"pmh:oai:digital.ub.uni-paderborn.de:7346202","is_oa":true,"landing_page_url":"https://digital.ub.uni-paderborn.de/doi/10.17619/UNIPB/1-1858","pdf_url":"https://digital.ub.uni-paderborn.de/hs/content/titleinfo/7346202/full.pdf","source":{"id":"https://openalex.org/S4306402316","display_name":"Amtliche Mitteilungen (Universit\u00e4tsbibliothek Paderborn)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I206945453","host_organization_name":"Paderborn University","host_organization_lineage":["https://openalex.org/I206945453"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://digital.ub.uni-paderborn.de/hs/content/titleinfo/7346202/full.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"K\u00f6nig, J\u00fcrgen","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"K\u00f6nig, J\u00fcrgen","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31408981,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.7937999963760376,"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.7937999963760376,"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/T10142","display_name":"Formal Methods in Verification","score":0.042399998754262924,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12029","display_name":"DNA and Biological Computing","score":0.016599999740719795,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nucleofection","display_name":"Nucleofection","score":0.3635999858379364},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.2354000061750412},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.21289999783039093},{"id":"https://openalex.org/keywords/tsg101","display_name":"TSG101","score":0.21050000190734863}],"concepts":[{"id":"https://openalex.org/C144251240","wikidata":"https://www.wikidata.org/wiki/Q7068229","display_name":"Nucleofection","level":4,"score":0.3635999858379364},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.2354000061750412},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.21289999783039093},{"id":"https://openalex.org/C2778283623","wikidata":"https://www.wikidata.org/wiki/Q18032200","display_name":"TSG101","level":5,"score":0.21050000190734863},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2012999951839447},{"id":"https://openalex.org/C180938184","wikidata":"https://www.wikidata.org/wiki/Q2142270","display_name":"Liquation","level":3,"score":0.19840000569820404},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.19200000166893005},{"id":"https://openalex.org/C2781032047","wikidata":"https://www.wikidata.org/wiki/Q938793","display_name":"Articular cartilage damage","level":5,"score":0.18770000338554382},{"id":"https://openalex.org/C2776356786","wikidata":"https://www.wikidata.org/wiki/Q1048573","display_name":"Tubulopathy","level":3,"score":0.18209999799728394},{"id":"https://openalex.org/C133074676","wikidata":"https://www.wikidata.org/wiki/Q428729","display_name":"Fusible alloy","level":2,"score":0.1784999966621399}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:digital.ub.uni-paderborn.de:7346202","is_oa":true,"landing_page_url":"https://digital.ub.uni-paderborn.de/doi/10.17619/UNIPB/1-1858","pdf_url":"https://digital.ub.uni-paderborn.de/hs/content/titleinfo/7346202/full.pdf","source":{"id":"https://openalex.org/S4306402316","display_name":"Amtliche Mitteilungen (Universit\u00e4tsbibliothek Paderborn)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I206945453","host_organization_name":"Paderborn University","host_organization_lineage":["https://openalex.org/I206945453"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.17619/unipb/1-1858","is_oa":true,"landing_page_url":"https://doi.org/10.17619/unipb/1-1858","pdf_url":null,"source":{"id":"https://openalex.org/S4306401930","display_name":"University Library Bielefeld Digital Collections (Bielefeld University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20121455","host_organization_name":"Bielefeld University","host_organization_lineage":["https://openalex.org/I20121455"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:digital.ub.uni-paderborn.de:7346202","is_oa":true,"landing_page_url":"https://digital.ub.uni-paderborn.de/doi/10.17619/UNIPB/1-1858","pdf_url":"https://digital.ub.uni-paderborn.de/hs/content/titleinfo/7346202/full.pdf","source":{"id":"https://openalex.org/S4306402316","display_name":"Amtliche Mitteilungen (Universit\u00e4tsbibliothek Paderborn)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I206945453","host_organization_name":"Paderborn University","host_organization_lineage":["https://openalex.org/I206945453"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6887760051.pdf","grobid_xml":"https://content.openalex.org/works/W6887760051.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Transaktionaler":[0],"Speicher":[1,18,26],"(TS)":[2],"ist":[3,99],"ein":[4],"Konzept":[5],"zur":[6,141],"Kontrolle":[7],"von":[8,13,92,177,184,212],"Nebenl\u00e4ufigkeit,":[9],"das":[10,84,109,119,187,199,218],"die":[11,24,62,70,138,157],"Zugriffe":[12],"mehreren":[14],"Threads":[15,20],"auf":[16,29,156,217],"geteilten":[17],"verwaltet.":[19],"k\u00f6nnen":[21],"Transaktionen":[22,55],"ausf\u00fchren,":[23],"vom":[25],"lesen":[27],"und":[28,118,145,168,226],"ihn":[30],"schreiben":[31],"k\u00f6nnen.":[32],"Jede":[33],"Transaktion":[34],"soll":[35],"nach":[36,59],"au\u00dfen":[37,60,74],"so":[38],"aussehen,":[39],"als":[40],"ob":[41,86,112,122],"sie":[42],"in":[43],"einem":[44],"atomaren":[45],"Block":[46],"ausgef\u00fchrt":[47],"wurde.":[48],"Trotzdem":[49],"kann":[50],"eine":[51,113,175,180,209],"TS":[52],"Implementation":[53,126],"mehrere":[54,68],"nebenl\u00e4ufig":[56],"ausf\u00fchren":[57],"solange":[58],"hin":[61,75],"Ausf\u00fchrung":[63,115],"korrekt":[64,76,116,127],"erscheint.":[65],"Es":[66],"gibt":[67],"Korrektheitsbedingungen,":[69,155],"formalisieren":[71],"was":[72],"\"nach":[73],"erscheinen\"":[77],"bedeutet.":[78],"Obwohl":[79],"schon":[80],"viele":[81],"Ans\u00e4tze":[82],"f\u00fcr":[83,150,189,201,206,224],"\u00dcberpr\u00fcfen,":[85],"einzelne":[87,114],"Ausf\u00fchrungen":[88,124],"oder":[89],"ganze":[90],"Implementationen":[91],"TSs":[93],"diesen":[94],"Bedinungen":[95],"gen\u00fcgen,":[96],"vorgestellt":[97],"wurden,":[98],"den":[100],"zugrundeliegenden":[101],"theoretischen":[102],"Problemen":[103],"weniger":[104,181],"Aufmerksamkeit":[105],"zuteilgeworden.":[106],"Diese":[107],"sind":[108,163],"Membershipproblem":[110,188,200],"(\u00fcberpr\u00fcfen,":[111,121],"ist)":[117],"Correctnessproblem":[120,219],"alle":[123],"einer":[125],"sind).":[128],"In":[129,215],"dieser":[130,143,152],"Arbeit":[131],"geben":[132],"wir":[133,158,195,221],"einen":[134],"detaillierten":[135],"\u00dcberblick":[136],"\u00fcber":[137],"existierenden":[139],"Ergebnisse":[140,149],"Komplexit\u00e4t":[142],"Probleme":[144],"pr\u00e4sentieren":[146,194],"zwei":[147],"eigene":[148],"jedes":[151],"Probleme.":[153],"Die":[154],"uns":[159],"hier":[160],"konzentriert":[161],"haben,":[162],"Strict":[164],"State":[165,178],"Serializability":[166],"(SSR)":[167],"Value":[169],"Opacity":[170],"(VO).":[171],"Wir":[172],"zeigen":[173,220],"durch":[174],"Reduktion":[176],"Serializability,":[179],"strenge":[182],"Version":[183],"SSR,":[185],"dass":[186],"VO":[190,202,227],"NP-vollst\u00e4ndig":[191],"ist.":[192,214],"Au\u00dferdem":[193],"Annahmen,":[196],"unter":[197,228],"denen":[198],"\u00e4quivalent":[203],"zu":[204],"dem":[205],"Conflict":[207],"Opacity,":[208],"simplere":[210],"Variante":[211],"VO,":[213],"Bezug":[216],"seine":[222],"Entscheidbarkeit":[223],"SSR":[225],"einschr\u00e4nkenden":[229],"Annahmen.":[230]},"counts_by_year":[],"updated_date":"2026-03-14T08:43:22.919905","created_date":"2025-10-10T00:00:00"}