{"entities":{"Q283121":{"pageid":284888,"ns":120,"title":"Item:Q283121","lastrevid":60685632,"modified":"2026-04-10T18:30:18Z","type":"item","id":"Q283121","labels":{"en":{"language":"en","value":"Reduction of database independence to dividing in atomless Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580193"}},"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":"Q283121$AE4A2D4B-AAE0-4F95-8116-6B419E96ED5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92351f8a0cc1313d9cc58237917f1f18b541477a","datavalue":{"value":{"text":"Reduction of database independence to dividing in atomless Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283121$3B71BBAF-78BF-4713-BCBE-7BEB210E9D0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b8c45eba41bf58874135a1ead2e2baeed9e3b6e","datavalue":{"value":"1341.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$C9A1FC00-0D64-47B0-88AB-19F0A23F1C3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bea1d0142d11d1c2ccc74930bc0b7645a3b45e9","datavalue":{"value":{"entity-type":"item","numeric-id":169439,"id":"Q169439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$D347D2F5-2C56-4B49-A63B-8E54DC09684C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"405aaed5a0b5dce0997f2c4ff05e18e2ff647295","datavalue":{"value":{"entity-type":"item","numeric-id":283120,"id":"Q283120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$3084318D-C22A-42D7-9D2C-C60CDC7BD94A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$21B4ADDA-F16E-40F6-AF73-3C0974E0D819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-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":"Q283121$35546853-270B-4280-928A-97EA32E011CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46156fca5e1b47e9fed62ddd12597b0a1a5ba278","datavalue":{"value":"https://arxiv.org/abs/1409.1839","type":"string"},"datatype":"url"},"type":"statement","id":"Q283121$B418FAD5-F5C6-42E1-B907-88F9BD431334","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a91305c7298b3d0b8c31a7007b26be25736a0d03","datavalue":{"value":"In the paper, the authors put two questions: how database independence (i.e., embedded multivalued dependence) is related to the general theory of independence as developed in model theory, and is there a way to make sense of similarities between database independence and stochastic independence from the point of view of model theory. The questions are answered positively by reducing database independence to the so called (first-order) dividing calculus in the theory of atomless Boolean algebras. The reduction shows that both database independence and stochastic independence are essentially based on the same independence relation -- free amalgamation, considered in Boolean algebras and probability algebras, respectively. In fact, the former case of independence may be considered as a discrete version of the latter. Similarities between database independence and team semantics in a version of independence logic (see, e.g., [\\textit{E. Gr\u00e4del} and \\textit{J. V\u00e4\u00e4n\u00e4nen}, Stud. Log. 101, No. 2, 399--410 (2013; Zbl 1272.03125)]) are discussed in short.","type":"string"},"datatype":"string"},"type":"statement","id":"Q283121$F702363C-C814-4CB0-9ADE-197541A33B57","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$E29B70A8-3F8B-4391-8DB1-24CBC4C3311C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$C4B35442-3509-465A-9804-695DCD7BBC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$E5590C50-E4BA-4228-881A-366A8AEB0A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$64A5D167-6C55-4AD5-A19A-DEAC83D786A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d26f1f9eed6f770774ab263a8afd39b7f3e8e52","datavalue":{"value":"60A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$8DECAED1-9D0B-4CB5-99F1-166EDE197784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$AFF2F1D3-97A6-48D3-B178-B4BE05C12A1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4361c6d4aeb9ced35fa1aadc4117e4eb5d87349e","datavalue":{"value":"6580193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$90A91476-B8D0-45E7-9CCD-816EEFDC093A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8997a569361e882bb33987157dd8d91f640843","datavalue":{"value":"atomless Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q283121$D26B1854-C753-4862-8AB7-EFC4D6E1B709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ab543f78a73c1881b29c32c239371b0920a631","datavalue":{"value":"database independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q283121$3DDC1958-B54A-4944-AC89-5EF8A8A19DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c31de4b061af809e5c7d79608bbc35c40553e499","datavalue":{"value":"dividing independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q283121$F537E3A8-C7D9-4B5C-A1DE-7676D7DA0680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d7a67ff7b31e3354e826ffe436e0fdda521f5a","datavalue":{"value":"stochastic independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q283121$C3A3DBBE-13CE-4BBD-B702-89AF0BE6700D","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":"Q283121$CBCB8162-0104-48DF-BFCF-B1943C8C80B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37ea58acffa855b5a24b757999cf19a0c90ba95b","datavalue":{"value":"W2963687450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$8D7E2E57-A78D-43D2-82D1-E1EC80BD438C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223c5ceee549a94a8ba5c26ff64a6da011e42238","datavalue":{"value":{"entity-type":"item","numeric-id":4050122,"id":"Q4050122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$F64B69B2-DD92-4089-96D5-3F71501A6BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39406f80ee33e144d1ede8aeacbd44661e94f59","datavalue":{"value":{"entity-type":"item","numeric-id":554413,"id":"Q554413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$25674AD2-B787-48A8-867C-539AFFC2CBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414ce267dd7277e36edb4dc831e9860b661e4507","datavalue":{"value":{"entity-type":"item","numeric-id":2461189,"id":"Q2461189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$0BDC5053-24CC-4C34-B921-93C55076B0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a07bfc1da31700a3c2ba05262c190664191d69","datavalue":{"value":{"entity-type":"item","numeric-id":1955792,"id":"Q1955792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$4FE35302-B936-4B45-B06E-1A1DDC3EE18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfff65a126464fc71cfd36aef4d94639f604c53","datavalue":{"value":{"entity-type":"item","numeric-id":3053471,"id":"Q3053471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$7A87C040-BD31-4415-BB24-C8AFC9249F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$9DA7BEDA-2634-4B0B-AE4A-3E9A424CB451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$020038B0-E7C3-40EA-8BA9-B3F0D53FDB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$1463050B-E60F-4E42-9F14-1B27ADCAA1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99211736721f3e87473498f9dbcb960ef8aecc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1016502,"id":"Q1016502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$AA960C9E-3038-428E-B175-58ECDDB3083A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bb4f1478bbbdef50855b6dfd45f804e578bee5","datavalue":{"value":{"entity-type":"item","numeric-id":4600452,"id":"Q4600452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$7ED26631-ACA2-412F-9E5C-E9B46E9C8050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1abe1c70a57743ac2bb90786c5c61d823fa3324b","datavalue":{"value":{"entity-type":"item","numeric-id":3194662,"id":"Q3194662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$D555A86E-0406-4506-83FF-7AF9E31E5B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757b837d8745136827f80af08d646c3dad2e150c","datavalue":{"value":{"entity-type":"item","numeric-id":2402954,"id":"Q2402954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$7E2D6A74-FF9A-4E3E-864A-D58F9A98D994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0e19d12fc5fed2dba8b451a60739d98fabaca5","datavalue":{"value":{"entity-type":"item","numeric-id":1682896,"id":"Q1682896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$22AFB862-3725-4071-B85B-F27823DF3C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92026e7083baa0c4851c42e34ad9cd0629631e05","datavalue":{"value":{"entity-type":"item","numeric-id":3459087,"id":"Q3459087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$F304AF0B-9729-42A4-BEAD-B8FC58D13A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$21DF40B1-111F-4C63-BA7F-FC99D6D65A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbfacf4a81c385ab7bc79ba13786beed70eabe","datavalue":{"value":{"entity-type":"item","numeric-id":1572658,"id":"Q1572658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$DCEFD2FC-D9B0-48CA-84FF-6612DB66535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff24af48a1501324ff9ef6131e5ac188e4df9197","datavalue":{"value":{"entity-type":"item","numeric-id":3945625,"id":"Q3945625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$E2764A03-A3AA-405A-8E23-046ED011A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$5357D013-B759-449C-8ECE-FC40A0CA8D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe697cc861f1899921afd454b8e2303c6c21b40","datavalue":{"value":{"entity-type":"item","numeric-id":4035210,"id":"Q4035210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$19EE43E7-180C-4925-A3B3-0777F1C0090D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283121$58EC110A-FF75-46BF-9616-131F083B397B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adde4a894e1d97e98496098c232c5c77d51398fd","datavalue":{"value":"10.1007/S00153-016-0477-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283121$9BF6998C-314D-4BCA-A2D0-8A2C7D14C620","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0ed9c9fdc822842a8c0fe3622210fc3bc3fd74","datavalue":{"value":{"entity-type":"item","numeric-id":2849431,"id":"Q2849431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8d6da4c951da0054d4fe803a3c199e72a43cd1","datavalue":{"value":{"amount":"+0.7620720863342285","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":"Q283121$F1A937C0-DB5A-4869-AEAD-38B3C70C6F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03795220b343d7be6d8ee19c98943531fc72f23a","datavalue":{"value":{"entity-type":"item","numeric-id":3704923,"id":"Q3704923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7931ee54d96571358bdf27b67d231251d615f9f8","datavalue":{"value":{"amount":"+0.7514755725860596","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":"Q283121$1BE45013-F259-4985-BC54-7BF30D720FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d101229965ea4fae54d35cf3795d9eceddb732","datavalue":{"value":{"entity-type":"item","numeric-id":2805022,"id":"Q2805022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9090341f16ea41f0a39357374b5fd126ecca1169","datavalue":{"value":{"amount":"+0.7439090609550476","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":"Q283121$FC9C9B48-9271-4B6A-BC40-5532C5127B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96fb7a633f82b54f5990fc58e437b5a8090781a","datavalue":{"value":{"entity-type":"item","numeric-id":2629853,"id":"Q2629853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ff3407164fc23039b10d88498ded63dda89d0e","datavalue":{"value":{"amount":"+0.7405636310577393","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":"Q283121$78F85982-41E4-4D64-B7C6-C9DBAAB58774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38f113d7f2e3f14e010c855af4ff871c022eec0","datavalue":{"value":{"entity-type":"item","numeric-id":5404957,"id":"Q5404957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0779f6829e22cf49c50bfb3d1f9187bde1f6e779","datavalue":{"value":{"amount":"+0.7324602007865906","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":"Q283121$FED029BD-1BE9-4B9E-9CF1-842CC4B1DC37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction of database independence to dividing in atomless Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduction_of_database_independence_to_dividing_in_atomless_Boolean_algebras"}}}}}