FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3139989314> ?p ?o ?g. }

• W3139989314 endingPage "117" @default.
• W3139989314 startingPage "87" @default.
• W3139989314 abstract "Abstract Concurrent accesses to databases are typically encapsulated in transactions in order to enable isolation from other concurrent computations and resilience to failures. Modern databases provide transactions with various semantics corresponding to different trade-offs between consistency and availability. Since a weaker consistency model provides better performance, an important issue is investigating the weakest level of consistency needed by a given program (to satisfy its specification). As a way of dealing with this issue, we investigate the problem of checking whether a given program has the same set of behaviors when replacing a consistency model with a weaker one. This property known as robustness generally implies that any specification of the program is preserved when weakening the consistency. We focus on the robustness problem for consistency models which are weaker than standard serializability, namely, causal consistency, prefix consistency, and snapshot isolation. We show that checking robustness between these models is polynomial time reducible to a state reachability problem under serializability. We use this reduction to also derive a pragmatic proof technique based on Lipton’s reduction theory that allows to prove programs robust. We have applied our techniques to several challenging applications drawn from the literature of distributed systems and databases." @default.
• W3139989314 created "2021-04-13" @default.
• W3139989314 creator A5040528930 @default.
• W3139989314 creator A5045477471 @default.
• W3139989314 creator A5084186424 @default.
• W3139989314 date "2021-01-01" @default.
• W3139989314 modified "2023-09-30" @default.
• W3139989314 title "Checking Robustness Between Weak Transactional Consistency Models" @default.
• W3139989314 cites W123460966 @default.
• W3139989314 cites W1430872261 @default.
• W3139989314 cites W149053240 @default.
• W3139989314 cites W1602156367 @default.
• W3139989314 cites W1606177908 @default.
• W3139989314 cites W1913137593 @default.
• W3139989314 cites W196827001 @default.
• W3139989314 cites W1971332773 @default.
• W3139989314 cites W2023304911 @default.
• W3139989314 cites W2039509099 @default.
• W3139989314 cites W2039529128 @default.
• W3139989314 cites W2046654145 @default.
• W3139989314 cites W2055081868 @default.
• W3139989314 cites W2072062729 @default.
• W3139989314 cites W2117917070 @default.
• W3139989314 cites W2143725230 @default.
• W3139989314 cites W2240667924 @default.
• W3139989314 cites W2248727051 @default.
• W3139989314 cites W2274598213 @default.
• W3139989314 cites W2282477915 @default.
• W3139989314 cites W2285233517 @default.
• W3139989314 cites W2293215590 @default.
• W3139989314 cites W2325560378 @default.
• W3139989314 cites W2521191038 @default.
• W3139989314 cites W2535248815 @default.
• W3139989314 cites W2540479136 @default.
• W3139989314 cites W2567103853 @default.
• W3139989314 cites W2593231357 @default.
• W3139989314 cites W2725226870 @default.
• W3139989314 cites W2787331432 @default.
• W3139989314 cites W2798647014 @default.
• W3139989314 cites W2885875591 @default.
• W3139989314 cites W2955964099 @default.
• W3139989314 cites W2962923638 @default.
• W3139989314 cites W2964250752 @default.
• W3139989314 cites W2965201944 @default.
• W3139989314 cites W2971298211 @default.
• W3139989314 cites W2979942385 @default.
• W3139989314 cites W3088538340 @default.
• W3139989314 cites W3110100493 @default.
• W3139989314 cites W3137220996 @default.
• W3139989314 cites W4297824651 @default.
• W3139989314 cites W971186954 @default.
• W3139989314 doi "https://doi.org/10.1007/978-3-030-72019-3_4" @default.
• W3139989314 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/7984544" @default.
• W3139989314 hasPublicationYear "2021" @default.
• W3139989314 type Work @default.
• W3139989314 sameAs 3139989314 @default.
• W3139989314 citedByCount "3" @default.
• W3139989314 countsByYear W31399893142022 @default.
• W3139989314 countsByYear W31399893142023 @default.
• W3139989314 crossrefType "book-chapter" @default.
• W3139989314 hasAuthorship W3139989314A5040528930 @default.
• W3139989314 hasAuthorship W3139989314A5045477471 @default.
• W3139989314 hasAuthorship W3139989314A5084186424 @default.
• W3139989314 hasBestOaLocation W31399893141 @default.
• W3139989314 hasConcept C104317684 @default.
• W3139989314 hasConcept C105795698 @default.
• W3139989314 hasConcept C120314980 @default.
• W3139989314 hasConcept C122377713 @default.
• W3139989314 hasConcept C136643341 @default.
• W3139989314 hasConcept C175652121 @default.
• W3139989314 hasConcept C185429906 @default.
• W3139989314 hasConcept C185592680 @default.
• W3139989314 hasConcept C191558696 @default.
• W3139989314 hasConcept C199360897 @default.
• W3139989314 hasConcept C25185021 @default.
• W3139989314 hasConcept C31388003 @default.
• W3139989314 hasConcept C33923547 @default.
• W3139989314 hasConcept C37279795 @default.
• W3139989314 hasConcept C41008148 @default.
• W3139989314 hasConcept C55493867 @default.
• W3139989314 hasConcept C63479239 @default.
• W3139989314 hasConcept C72108876 @default.
• W3139989314 hasConcept C75949130 @default.
• W3139989314 hasConcept C80444323 @default.
• W3139989314 hasConcept C82029504 @default.
• W3139989314 hasConcept C93361087 @default.
• W3139989314 hasConceptScore W3139989314C104317684 @default.
• W3139989314 hasConceptScore W3139989314C105795698 @default.
• W3139989314 hasConceptScore W3139989314C120314980 @default.
• W3139989314 hasConceptScore W3139989314C122377713 @default.
• W3139989314 hasConceptScore W3139989314C136643341 @default.
• W3139989314 hasConceptScore W3139989314C175652121 @default.
• W3139989314 hasConceptScore W3139989314C185429906 @default.
• W3139989314 hasConceptScore W3139989314C185592680 @default.
• W3139989314 hasConceptScore W3139989314C191558696 @default.
• W3139989314 hasConceptScore W3139989314C199360897 @default.
• W3139989314 hasConceptScore W3139989314C25185021 @default.
• W3139989314 hasConceptScore W3139989314C31388003 @default.

• next