{"entities":{"Q1071524":{"pageid":1082276,"ns":120,"title":"Item:Q1071524","lastrevid":69788097,"modified":"2026-04-13T09:23:37Z","type":"item","id":"Q1071524","labels":{"en":{"language":"en","value":"Formal systems for join dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3940768"}},"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":"Q1071524$CCAA4C87-A2BA-41AD-B98E-9C1AA5FC943E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"188ff17d8d776f68fcb0e1ea92f052caa9c26259","datavalue":{"value":{"text":"Formal systems for join dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071524$42DB7C24-00CD-47D5-AA45-89912ED92B08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"015e40f4e576e6fc8f7ebb8a39b22b688dd9b4ed","datavalue":{"value":"0586.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071524$8A61D492-60EB-4326-8C09-0439377F0D49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a6df3e6a94bfe7da84d3110bcce9d192bb6dca2","datavalue":{"value":"10.1016/0304-3975(85)90212-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071524$DDA3DCFD-0641-4287-B237-E2DBDFF5481C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a696c697891e9b316032d402a47064b1a07081b","datavalue":{"value":{"entity-type":"item","numeric-id":676416,"id":"Q676416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$D17AD0CC-1B23-47FC-BCA9-EE6C74D7E488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$250907C6-3C15-4C52-B81B-230127789086","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$284DED83-DB98-4491-99D4-1B58828CF391","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1071524$52EE8704-9540-4E03-A140-C19E1230380E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1a4831e8ca7f88f2755b1e79be46ec5ac78b12b","datavalue":{"value":"The existence of sound and complete formal systems for the implication problem for join dependencies is deeply investigated. One such system (Gentzen-style and having an inference rule with an unbounded number of premises) is found. Extended join dependencies are defined, and two other sound and complete formal systems are obtained: a bounded system for join dependencies using only generalized join dependencies in the derivation, and an unbounded system for extended join dependencies. Both systems are sound and complete also for tuple generating dependencies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071524$7B9A37E1-0FC2-4F4C-B673-5AF82D6E9F82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071524$0D2290DB-4E23-494A-8575-D601D9F69DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071524$7671BD71-EA1C-4A87-9DF5-F8698E2DDCF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f7fd4b9ce5008ac38e4159ac1bb2461545c2295","datavalue":{"value":"3940768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071524$70CD796C-E50A-47B9-AE50-D7EBFE80B7F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7781db5f810100b1c75183665ffe0c10b181c915","datavalue":{"value":"relational databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071524$F9AE2AE9-160D-4066-A7BA-74AB6E0D68B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0812b671e9d783ef560f7f93c1d2a50ba8f2f2b8","datavalue":{"value":"implication problem for join dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071524$37463FEF-5D2E-4485-9721-B0ED8C1A1C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa76bd7059509a8164dd76d4d1d43c7de825ac89","datavalue":{"value":"tuple generating dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071524$9866D8E3-26CF-4E35-9A86-37B207469037","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"77df3ded8c45a368d945648c62a25a0ca54d1bae","datavalue":{"value":"Q114683728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071524$08C4686D-A880-4221-8C2C-BFD21FF4EC09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$46D7626A-DC71-4A37-A1C4-AB0BFBFA0FAB","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":"Q1071524$7F21E74D-512A-4A77-BC8E-9350197D428A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edde08ca9265e02e2105f370b986acb32db3989e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90212-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1071524$1893C253-F448-4407-B3BE-2B185E0B9521","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcbfc4d85988dc147de2150546570bb6c5f47b75","datavalue":{"value":"W2065156249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071524$F114B8A5-5D0F-40AA-BAED-E61BFC80C5E9","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":"Q1071524$98D69DB9-B980-4E6D-9EC8-B046566DB840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40de328e4ef0bb002df5ae148f526335f6b1b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4199525,"id":"Q4199525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$432CD6D3-C716-4C4D-A54E-3A1550B9A105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08fb04a108ab8179c102cae98c498881a4c20a4","datavalue":{"value":{"entity-type":"item","numeric-id":3883572,"id":"Q3883572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$4F5C1430-7A04-46F5-944B-5ACD3D0350A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8aeb37c7c980e88c1d1fff0a4cf9d1a112c191","datavalue":{"value":{"entity-type":"item","numeric-id":3925900,"id":"Q3925900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$AD6E82BB-C6E8-4FDF-98A3-618E9C78C2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35be1e65ffd0335dfcbe3f59737c05901de565a3","datavalue":{"value":{"entity-type":"item","numeric-id":3912018,"id":"Q3912018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$CE22DFA8-2A88-41EB-99D6-C4A6A97BCFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea7a4daa17e286a135ff13bcac8c6503af0396d","datavalue":{"value":{"entity-type":"item","numeric-id":3770004,"id":"Q3770004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$961E198D-8575-4B6A-A171-F1E8FBC0FA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663b656f68bf25fd20fce0833553e995ed794eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3334109,"id":"Q3334109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$3B3AAFF2-E04F-4A59-93A7-9FD13FCCEF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88091a275fdc1f4c5aea7f91b3337e3696000bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3992694,"id":"Q3992694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$66F9BC6F-95AF-4A40-A81C-D9EC1A73E6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$2552DAB7-B5D8-41D1-84F3-8184208243F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ea87b751c4cb940a7d744bb1377dd3743b3810","datavalue":{"value":{"entity-type":"item","numeric-id":4162638,"id":"Q4162638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$18DD0099-AB1B-498F-B335-62745118A686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec676e410137c3299311ab2aaf5f4db8dd8fcd6","datavalue":{"value":{"entity-type":"item","numeric-id":3945627,"id":"Q3945627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$CF28D197-46E9-41E8-A91D-853F0BB04EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c40baaf25b1d5ed50dc61c49bd8d22b71da967","datavalue":{"value":{"entity-type":"item","numeric-id":1162832,"id":"Q1162832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071524$2A1BE374-475D-4621-865A-B496EE4D6BE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de66d9aac0a74b3e34453a8d35f9f8e4b202f5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3334109,"id":"Q3334109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe20e2beffb70e5703bdce58a820eb4fdeaebb9","datavalue":{"value":{"amount":"+0.8537501692771912","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":"Q1071524$9BF2D4B1-CD57-42F9-8C43-E72E1BA120D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6c34fcd8a74e7376dbc03c0231e199cf102eec","datavalue":{"value":{"entity-type":"item","numeric-id":798011,"id":"Q798011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a916909717c82c508d992e14cc45324f47cf23f7","datavalue":{"value":{"amount":"+0.8346598148345947","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":"Q1071524$A4713D4C-067E-4E8F-B272-ACEF312F8709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fa23f1ca0e56b666690da74cbd77ecc12d065","datavalue":{"value":{"entity-type":"item","numeric-id":3341950,"id":"Q3341950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158ad8a09890a6183e0424bf0fe155bf14683c3c","datavalue":{"value":{"amount":"+0.8146603107452393","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":"Q1071524$97119BD1-FB26-42DD-84CD-8B0279826ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef9117003efc2a3efe95c9701ab0e43a88d8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1113694,"id":"Q1113694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e42288a6d8ef6978f5ea7afe6793cee7bfc0c0","datavalue":{"value":{"amount":"+0.8100441098213196","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":"Q1071524$DB1FEB7F-CC0B-4350-97C8-44C3F022EDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e084505900c0a754769565ace8c9644baec0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5689986,"id":"Q5689986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9e12392d939341d64b0ef5cc4315e959d8a58e","datavalue":{"value":{"amount":"+0.8050984144210815","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":"Q1071524$8C8FA599-276F-4E17-A3F2-9DC75E7666B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal systems for join dependencies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_systems_for_join_dependencies"}}}}}