{"entities":{"Q2283840":{"pageid":2294583,"ns":120,"title":"Item:Q2283840","lastrevid":71758329,"modified":"2026-04-14T00:21:16Z","type":"item","id":"Q2283840","labels":{"en":{"language":"en","value":"Relaxed data types as consistency conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150364"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$1E6503E7-AE71-4E13-996B-72FA5074EC0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"722cb3d08219ff4df928110ebace20fd6e71cad8","datavalue":{"value":{"text":"Relaxed data types as consistency conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2283840$4F2F2387-628C-4CA4-A27A-92DCE7F2BA7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"183a0bf65472d5dcf31ac5e4c501260aa2fb9933","datavalue":{"value":"1461.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283840$22FF20C0-8F91-4A87-8D56-6F559F275EEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cd226631095452daef55ca67498464ac8cd2584","datavalue":{"value":{"entity-type":"item","numeric-id":1627962,"id":"Q1627962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$FAE8544D-A748-4594-9496-F5C116BEDF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3930710ff34b931bc1b95bee5be34538b9e5352","datavalue":{"value":{"entity-type":"item","numeric-id":578902,"id":"Q578902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$DBC6FDD4-C914-4B49-A1EF-66E7F952BC69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"18e3aed7ec2baba1bc6b2c08988b16bb9ac0e77f","datavalue":{"value":{"entity-type":"item","numeric-id":82263,"id":"Q82263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$70197A88-924E-4952-8D15-9ABF13AE8C1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7e8cf16d5068a895c69c4cf37d7b5d354bf018","datavalue":{"value":{"time":"+2020-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2283840$9E0E3763-2AA7-4EE0-8979-F7A181B4C21C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e5765f3619fef4eb8c4ca9301c4088e8008e919","datavalue":{"value":"Summary: In the quest for higher-performance shared data structures, weakening consistency conditions and relaxing the sequential specifications of data types are two of the primary tools available in the literature today. In this paper, we show that these two approaches are in many cases different ways to specify the same sets of allowed concurrent behaviors of a given shared data object. This equivalence allows us to use whichever description is clearer, simpler, or easier to achieve equivalent guarantees. Specifically, for three common data type relaxations, we define consistency conditions such that the combination of the new consistency condition and an unrelaxed type allows the same behaviors as Linearizability and the relaxed version of the data type. Conversely, for the consistency condition \\(k\\)-Atomicity, we define a new data type relaxation such that the behaviors allowed by the relaxed version of a data type, combined with Linearizability, are the same as those allowed by \\(k\\)-Atomicity and the original type. As an example of the possibilities opened by our new equivalence, we use standard techniques from the literature on consistency conditions to prove that the three data type relaxations we consider are not comparable to one another or to several similar known conditions. Finally, we show a particular class of data types where one of our newly-defined consistency conditions is comparable to, and stronger than, one of the known consistency conditions we consider.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283840$B3C8555E-EF59-4933-A653-96CAD3AA2FF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283840$69AAF1DD-754E-4541-996F-F60DD38BA473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283840$CDACFAA3-5C26-4CC0-BE20-F9B72F84E5AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e257bb402c82d14b26b3972a00d9ba6001f8f765","datavalue":{"value":"7150364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283840$FE4D8012-D008-4035-A20E-297E912D795A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3577d4b1bd84dbabfd9a41d832eca83a121135a","datavalue":{"value":"distributed data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283840$A1596E2A-302A-41C3-A723-7C3009BE367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d3792c249b0e085f988b055bc5faf84fd138035","datavalue":{"value":"relaxations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283840$D711415B-8F26-4256-A23C-9D71C28D9F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b9087305d974e3f93d279217637c5cde7b86692","datavalue":{"value":"consistency conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283840$E482D715-6B2D-47E9-B10F-A9731F63B431","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d201cc6c32e69d068d8e4a89b883673bd8cc7e4e","datavalue":{"value":{"entity-type":"item","numeric-id":52548,"id":"Q52548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$5A1F94F5-BAC6-4D60-95F2-F7CD32660DE1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$CD765C6B-7940-4031-94CD-986448EDC49F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aaaf7f684c8280e827696700ad1199656564d882","datavalue":{"value":"https://doi.org/10.3390/a11050061","type":"string"},"datatype":"url"},"type":"statement","id":"Q2283840$B393F5D0-A662-4F6E-AADD-AC8A409D5BC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86eace49c29014e1f0ad275adfc91a3df678937a","datavalue":{"value":"W2800840445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283840$00541B35-79AA-4F40-A337-BD80BFF768B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f7161451bd14a497aae5dae4a228a2ae828510","datavalue":{"value":{"entity-type":"item","numeric-id":5408568,"id":"Q5408568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$663B26EA-CA4E-4544-8C6F-7646A51376AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb300d7edcbb529629a57ab1aff4b3c8fa52939b","datavalue":{"value":{"entity-type":"item","numeric-id":1627963,"id":"Q1627963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$6849E3B9-0D3D-46BA-B79F-5BDDE3222696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b961351448ae339d35d91c7e1441dcfbada5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4904106,"id":"Q4904106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$06A1D4C1-D16F-4A3A-BA84-1550BDB0AC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe6be190a0370c06cb4d33436bc62a6dfa80c2f","datavalue":{"value":{"entity-type":"item","numeric-id":2931807,"id":"Q2931807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$3485DD3E-C155-4B35-844C-DF05CDC935DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c6a5f93ce8a10026c63b9bee077499e1333d80","datavalue":{"value":{"entity-type":"item","numeric-id":518927,"id":"Q518927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$58DF0661-8121-42D5-B71F-7A5CE1C1F939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab4b7e245dbc3b9a5079b953ab692edfc4bb01b","datavalue":{"value":{"entity-type":"item","numeric-id":2218476,"id":"Q2218476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$36C57397-4C88-4706-BD6B-F82D856BD8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942b38b95bba6f4a969dcfb1f072f0c9c11a2ad","datavalue":{"value":{"entity-type":"item","numeric-id":1007594,"id":"Q1007594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$C53E4AA3-14CE-4021-867F-95680566239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ed8a789ac5aed222d995fff164357899836c03","datavalue":{"value":{"entity-type":"item","numeric-id":5897402,"id":"Q5897402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$EEC22FE9-3EF9-4C56-8E85-84894EF66F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675b840e36ca43d94925e188620f8f6a44d489a1","datavalue":{"value":{"entity-type":"item","numeric-id":5045438,"id":"Q5045438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$A9BEB4D9-E697-4C06-A8DD-556BF3B58DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71460346e847b1f5939d80a71a150a77c8c4ea80","datavalue":{"value":{"entity-type":"item","numeric-id":1664155,"id":"Q1664155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$269F45FE-EA67-4EA0-8289-5A0ABE5F0CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d9732a5cc2bef372e0e4d461acf83849b1fee5","datavalue":{"value":{"entity-type":"item","numeric-id":5395136,"id":"Q5395136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$46970868-613D-4E35-B9D9-689050309FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0028038992b7bca1c2ea78babd8573878e6adbea","datavalue":{"value":{"entity-type":"item","numeric-id":1664150,"id":"Q1664150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$D8A91B09-A0B0-45FD-9AE6-92B3F199FE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bc9c0f31bcc962492231f0ab0272f6e6e3743","datavalue":{"value":{"entity-type":"item","numeric-id":1079946,"id":"Q1079946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$A4359EE4-364E-4701-93C6-5BD528E5FAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5054b47262d446144e4a5e2d4b390890c7775c52","datavalue":{"value":{"entity-type":"item","numeric-id":2999853,"id":"Q2999853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$967E29E5-EF22-488D-833C-DEF49D6F7D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b0b9086c935d9498f37be982280e5e15a68868","datavalue":{"value":{"entity-type":"item","numeric-id":4267802,"id":"Q4267802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$77D18F85-FE44-405F-AA9D-C5DE2C61EE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff7759cd9e5f608397c53dc9897cb1f12692a56","datavalue":{"value":{"entity-type":"item","numeric-id":4210126,"id":"Q4210126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$34E8BE38-40B2-4D7B-80D1-3C499A053D93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a412bcc294fba17fe18943b92a1d46f5c014760","datavalue":{"value":"10.3390/A11050061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283840$C8052296-D016-4527-9C29-705DFC7C9F9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f914f405ccb1aad4e6894287460a05e792f07b3","datavalue":{"value":{"entity-type":"item","numeric-id":5045438,"id":"Q5045438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59ca6da84b6060c977a892c2ce87f0b39a97384","datavalue":{"value":{"amount":"+0.9991727471351624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2283840$747D3F40-DD86-409A-93D7-EEB0B68EF0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d76dcb6cf524c49870e10f896eb7bbbceed0086","datavalue":{"value":{"entity-type":"item","numeric-id":4608657,"id":"Q4608657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a65745efbd00573249db6c1e65976810eb99956","datavalue":{"value":{"amount":"+0.7744266390800476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2283840$3151B9A5-CBCF-4E9E-BD48-CDCEEF71627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7829996c545ec02ccf61829c28f858aa9f55bb62","datavalue":{"value":{"entity-type":"item","numeric-id":2931807,"id":"Q2931807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e6f4bd9f6f701c971683c456686b5882bc871f","datavalue":{"value":{"amount":"+0.7590416669845581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2283840$6282E8B1-E104-400C-8D92-7316F27FB5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e930c0e7d3465e0aeb74e747a54a84dcb1653cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2218476,"id":"Q2218476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6a3006f9786d028f51d200c087f646c364e01c","datavalue":{"value":{"amount":"+0.7522631883621216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2283840$7DD1C3FC-7C24-4B98-BF6F-9DBB61210690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"384da400bbd56081e76c499bef3b4a3deec550f6","datavalue":{"value":{"entity-type":"item","numeric-id":3617704,"id":"Q3617704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b85671b290e19746c8ed85494bab501a1895d65","datavalue":{"value":{"amount":"+0.7315871715545654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2283840$27198E65-8BF3-47C3-B6DF-326DF504D33C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283840$57F73654-DC76-4166-B3DF-2F1F51C468BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relaxed data types as consistency conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relaxed_data_types_as_consistency_conditions"}}}}}