{"entities":{"Q1079963":{"pageid":1090715,"ns":120,"title":"Item:Q1079963","lastrevid":66823689,"modified":"2026-04-12T13:06:21Z","type":"item","id":"Q1079963","labels":{"en":{"language":"en","value":"Inferences for numerical dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965468"}},"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":"Q1079963$0D8EEC46-3C91-4CB9-9902-CD6AF22C9866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"458be26d438be3982e47381cf16656115d2418c1","datavalue":{"value":{"text":"Inferences for numerical dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079963$F8BA6535-B72A-4F6C-B734-A04D34E36FAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59af36d5e5ac6287abe2d5868a146ddee4edf70d","datavalue":{"value":"0598.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079963$94D8E25F-8819-41E5-A068-63C89825C2E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3c5df998e1785d7b198ba178bf50046dea6bb55","datavalue":{"value":"10.1016/0304-3975(85)90075-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079963$1426944D-A66D-40D8-9A3B-32C21E95AFD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a1df6940ad8b72a28bea22198189f244677cda","datavalue":{"value":{"entity-type":"item","numeric-id":1062475,"id":"Q1062475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$2A409F17-A3E8-4BEF-A93D-A200CFD05FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aad150768426b73055f4d561c1440a565e276a4","datavalue":{"value":{"entity-type":"item","numeric-id":1383012,"id":"Q1383012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$65B2C98F-0351-4DF6-A674-E0341C40B700","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":"Q1079963$C85A84A7-41CA-4137-8022-89289F3D5F14","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":"Q1079963$D5A64D8C-53DA-4CC0-A939-BB16FC4DB80A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89e835f04178f4890adbaba84a0864548c12dcc5","datavalue":{"value":"Numerical dependencies - a generalization of functional dependencies, which naturally occur in databases as integrity constraints - are studied in the paper. It is proved that there does not exist a finite set of sound and complete inference rules for numerical dependencies in contrast to the case of functional dependencies. It is also proved that non- trivial numerical dependencies which are not functional dependencies cannot be expressed by Horn formulae in first-order logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079963$F95EBB4B-59E7-4396-874D-3836785A31B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079963$8430E559-B0D3-48BC-A349-DD274F8EB0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079963$079CF897-EBF4-4780-924E-FF43474D5664","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe50929487b1908d62635495f49f9b13874fd099","datavalue":{"value":"3965468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079963$F363A608-73CE-4237-9146-1D6CEF89B52E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62f64adbc2f34aaa7b6a35825a6ff47b856a1ed3","datavalue":{"value":"database dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079963$A9B4FEA3-5E49-4F22-8F5D-1E4F09C96621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be8fdc28dd9941fde5fdb901c959b72edfb19b8","datavalue":{"value":"logical implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079963$D7129F0F-D342-4828-8158-9B692E5D48C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079963$52445881-ADD0-46BF-B8B0-D4D9C09CE305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40cceb36cdeb3d2759d31fcbd54f0fcc2fb8eeea","datavalue":{"value":"generalization of functional dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079963$59E679D9-15BF-4BC1-8666-2F2959A335B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079963$E862F33C-D49D-487F-8E07-EA55D0C504D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc53c0e38118a8e657a632ffef83074043292dd","datavalue":{"value":"Horn formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079963$E6FC1987-FC04-4330-9744-046C83A837C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079963$70CD31DE-C8DC-4019-A444-ED08B214820A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"34c6a475c1431dac3a178fb02187f021a0099f02","datavalue":{"value":"Q114683730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079963$BC0100E6-235C-4D3E-BBB6-3AF6D485EECE","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":"Q1079963$D832648B-A97D-4BC2-9C64-BE4D41C938DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84ddb86bc00297f12561a2c777fc27d19471696f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90075-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079963$F4087A25-8C64-44AD-888F-F093F2B4F783","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8bbbb23ea0bf036a26d49bec9869e22276ce987","datavalue":{"value":"W2067363298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079963$4A059C14-A726-4825-A994-E9982C804A10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc17490a13ef2828b5803b29746638ae3f8c7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1071523,"id":"Q1071523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$0F3B8C05-DBF6-41D4-8074-0B9F973BE73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$3C714107-5CFE-40F8-B877-1E316654FADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8e37d2f6e6bad96fa7cda9ee6dd631b5120636","datavalue":{"value":{"entity-type":"item","numeric-id":3912084,"id":"Q3912084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$B196F617-7A88-4E54-93C8-2AA188B363F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd6c969231e6f49e9de8df2bebdcacfffac1dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3956433,"id":"Q3956433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$655B829F-123B-4A85-BE2E-EED7ACAE603C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62343d3d8ec4518b1e2a8d039f9d39aaf792e07","datavalue":{"value":{"entity-type":"item","numeric-id":3956434,"id":"Q3956434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$BFA07E0C-1449-4E56-ADC4-4A22E1467F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e07ac6ccaeefe0c1c241c55b241a02faa3cee55","datavalue":{"value":{"entity-type":"item","numeric-id":1079963,"id":"Q1079963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$CABD7F54-77E3-4907-9E7D-0916C3942CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0665e8adc02b9e0367ee7eab35be6fcd0f02164d","datavalue":{"value":{"entity-type":"item","numeric-id":1154820,"id":"Q1154820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$2F1134E6-FA45-4F16-B38E-9D6863BB2EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b402a5359a49e480b82ccfd19a92b15def2e93d","datavalue":{"value":{"entity-type":"item","numeric-id":1062477,"id":"Q1062477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$F8210B6C-E72A-4727-A6A4-95C2E7201044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c141352fba382a59943f19a2b1648b3ea929da","datavalue":{"value":{"entity-type":"item","numeric-id":1161312,"id":"Q1161312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$1F1154EF-C97C-4EAC-924F-CCEDF4A86949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01eb342414a2ac449bdd7a09d860fae7884a0d6e","datavalue":{"value":{"entity-type":"item","numeric-id":3945626,"id":"Q3945626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$FFFA2A9A-BB19-4D06-B563-66B8171A5336","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":"Q1079963$1476D375-C4AB-49F6-82B5-8248FB686D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$32EA8EF6-0CC7-43E8-9CDA-E732A8D46BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8793493983ef79387cdf9085bcee0c585bc4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347338,"id":"Q3347338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$8827D072-AEAF-4A58-89C5-B8E1B954C02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13948a57a193c058d6890000b6c6600e55c40a52","datavalue":{"value":{"entity-type":"item","numeric-id":1168760,"id":"Q1168760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079963$6C3F4B4F-8C9C-4206-AAF3-E369851A3F56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b63371ef444f12311b189ad3aca499db3f1f15","datavalue":{"value":{"entity-type":"item","numeric-id":3738612,"id":"Q3738612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790ca42b56150ddfc89dff445d2f685c572881ea","datavalue":{"value":{"amount":"+0.8328342437744141","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":"Q1079963$8A674C9F-5F4C-4AF0-8F66-3425519C1A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99091bc812711f4d14e759191e8dd226f19f8b9a","datavalue":{"value":{"entity-type":"item","numeric-id":797002,"id":"Q797002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0153f6b1b3a66d1a225b6c4842bb014ec592439c","datavalue":{"value":{"amount":"+0.8193884491920471","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":"Q1079963$6B0FD5B8-87F6-4D64-B629-276B5C373C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d09798a8e8f9439238da1b3949a8ce31743e9b7","datavalue":{"value":{"entity-type":"item","numeric-id":429431,"id":"Q429431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afed131856e6c872d4063218527600812e27163b","datavalue":{"value":{"amount":"+0.8153344988822937","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":"Q1079963$028C5962-12ED-498F-8C43-EAE547200ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002301ab6c390df51bab0f554a13d8a655b2998e","datavalue":{"value":{"entity-type":"item","numeric-id":3759973,"id":"Q3759973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cabb235e3eeac93a359dcc5cbd80fb36d2b0dc","datavalue":{"value":{"amount":"+0.8035580515861511","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":"Q1079963$F9FBC762-EF5D-4BBD-9ED8-70B62728C4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85db62ecb168293eac52302ea139c686c696ec5","datavalue":{"value":{"entity-type":"item","numeric-id":4449006,"id":"Q4449006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532e722ce51831203f9714ca41bf07fcc50da96c","datavalue":{"value":{"amount":"+0.7916576862335205","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":"Q1079963$F2B74315-43AB-4E0D-9CA9-040B2853B545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inferences for numerical dependencies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inferences_for_numerical_dependencies"}}}}}