{"entities":{"Q1338902":{"pageid":1349641,"ns":120,"title":"Item:Q1338902","lastrevid":68500653,"modified":"2026-04-13T00:07:45Z","type":"item","id":"Q1338902","labels":{"en":{"language":"en","value":"Update operations in deductive databases with functional dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695009"}},"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":"Q1338902$7850E794-95E8-4383-8DAB-AAF262738ACC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a44fd859c199baedc06ef91fc2469a870c2c5f8","datavalue":{"value":{"text":"Update operations in deductive databases with functional dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1338902$CF59373B-4CB0-4D6C-A5A9-5749E8B2ABAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59e7649c32140d4aaa4fffd58764d126afd2902c","datavalue":{"value":"0818.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338902$F5B07C61-C64A-403B-B074-753C48A64924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"249a8e1ca686c2ba3437802b2eebfc3950d72200","datavalue":{"value":"10.1007/BF01213208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338902$8518D260-C2FA-4931-A0F8-E1AF9EC87F07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c7a2adfd03d0d28a29d9147eab43ca5008c3067","datavalue":{"value":{"entity-type":"item","numeric-id":1338901,"id":"Q1338901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$42EC6728-3E14-4304-B4AB-B09BCBE4FB5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$F6475273-5D4E-4D76-A80F-711BD75525C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3816e5ad4c8d1e2e98cee6e1e740e168fa32f19b","datavalue":{"value":{"time":"+1994-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1338902$0C48B18B-6DEB-4D28-9FB4-4F680864FA80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6182d0856c0e5b09e0e82ea5645beecf2214a7fa","datavalue":{"value":"We study the problem of updating intensional relations in the framework of deductive databases on which integrity constraints (specifically functional dependencies) are defined. First, a formalization of a model- theoretic semantics of updates is provided: the notions of representability, consistency and determinism are introduced to characterize the various case. Then, a proof-theoretic approach, based on a variant of resolution integrated with the chase procedure, is defined, showing that the method exactly captures the above notions. It turns out that using functional dependencies it is possible to resolve potential ambiguities in several practical cases. Also, precomputations can be performed at definition time to execute update requests more efficiently.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338902$3B3EE498-7F2B-4D3D-A8D3-4495B36357EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338902$2F656066-1D6B-4EFC-951C-37A085AE903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338902$C13816E1-680E-43AA-AEAC-FC15DFB3660C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74e21b1eea6a36390f03438964aec3a862f1d62e","datavalue":{"value":"695009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338902$512F8B66-A281-45D0-B2F4-6A55CD5D61EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338902$D38C1ED1-6E59-440F-AEFF-D38DE04B4637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd02c0c4cd88bf32f0b507a5c512ad6914c3d82b","datavalue":{"value":"integrity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338902$92AECF23-73AF-4DE5-9F30-EAAD474DAF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338902$D6A614A2-3234-4945-80F5-245373D54E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338902$793F6C49-6468-431D-9FD0-40A4F3BD1A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338902$50634D69-29AE-4457-AFED-0567618D0232","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"87302be300281b77148191302b3ff56f768af01e","datavalue":{"value":"Q114694014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338902$27F6C3F8-6325-4380-AEC1-13A9C36B570B","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":"Q1338902$38ADCC24-CAD3-4967-A856-ABA81B82E1DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e95e31c01ba60dbbb94408e0bd5686a9e3ac3f","datavalue":{"value":{"entity-type":"item","numeric-id":3489445,"id":"Q3489445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$17A0EB45-3825-4A28-BB09-119101085504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ec936125cc859b31c6be7b40b323b621213a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4031370,"id":"Q4031370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$F3306C09-B4DF-4296-A1FD-281ABDFA8603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ee72dfb42e2ffc1454ffd9bb23bca2c64af87","datavalue":{"value":{"entity-type":"item","numeric-id":3917520,"id":"Q3917520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$CBE4B67A-8522-4654-97A3-9CD5929E216F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414947f3838c449851979dd240275fcb62b608e2","datavalue":{"value":{"entity-type":"item","numeric-id":3989947,"id":"Q3989947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$4FFF7F5B-183E-4AAE-A49B-CB2A00C5D706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc05e62ec0bdc540a4d524fe5622aae1c8b0b4a4","datavalue":{"value":{"entity-type":"item","numeric-id":3770002,"id":"Q3770002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$F8167D2E-B661-40AA-9B8C-C880A46D1D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4ac292ad02cc5c58f61f5094cb1164c9f02d13","datavalue":{"value":{"entity-type":"item","numeric-id":3949998,"id":"Q3949998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$C194C072-4303-41B8-A28C-0B00CA73B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582827071a4c0894ab634f47b6d26df2aa11f65a","datavalue":{"value":{"entity-type":"item","numeric-id":4694705,"id":"Q4694705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$77B931B0-64D9-467F-A177-208A4B658AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0425eca246df5d39c7bc5a592913dcccac93486d","datavalue":{"value":{"entity-type":"item","numeric-id":3817025,"id":"Q3817025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$C9A16179-48A4-4871-A2D4-B0AE94FCE8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff6268ee5f77f8f9d7918e687326f6d443c5b3b","datavalue":{"value":{"entity-type":"item","numeric-id":918229,"id":"Q918229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$233F1698-FA9B-4E0E-8245-9A051DF71029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ccf88dae5bb2899ee550eae5bb16978f64d4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3988794,"id":"Q3988794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$A56F992D-059C-409D-9297-22FB78F7E9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d9401579fdab47f2c5ad7b3bd4a1776f7a5ad5","datavalue":{"value":{"entity-type":"item","numeric-id":3945628,"id":"Q3945628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$7BF58E0B-AFEE-4D85-B49B-8DE17E808091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$01DBC90B-1E63-4963-9101-738E01AF65EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef56960fae4b4e9a29f90c815f212e84b21a1ff2","datavalue":{"value":{"entity-type":"item","numeric-id":3833657,"id":"Q3833657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$89FC619F-3D8B-4F93-A3F1-597A9E868B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589d3028c2c5139dbb28613a293790479beaf867","datavalue":{"value":{"entity-type":"item","numeric-id":3248911,"id":"Q3248911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338902$DB267AE8-DD56-4D1E-B7E1-99B49BB3CFE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55729867c3a5d44e14166ca70ff2fd3602e41e1f","datavalue":{"value":"https://doi.org/10.1007/bf01213208","type":"string"},"datatype":"url"},"type":"statement","id":"Q1338902$14430E23-FE1B-4A2B-9A11-6DBBE6B95746","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51b32e6c8f90a2dc345efd643e4d0eb361cd1ef6","datavalue":{"value":"W2074616854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338902$BDF7D74E-CA78-4F6F-9019-D8C3422AFDB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b183a2f9e5d3a76f7d0d35df5f662bf103ee13","datavalue":{"value":{"entity-type":"item","numeric-id":3840929,"id":"Q3840929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa84338c0e68602a03f0ebf319673e9a8adc010","datavalue":{"value":{"amount":"+0.8343580365180969","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":"Q1338902$CAF68CDC-626C-4240-9FA9-42C03287C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389b6e051eb3c12fa07f3390d26409015c6ac35d","datavalue":{"value":{"entity-type":"item","numeric-id":4031370,"id":"Q4031370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bda8c1ed847a94eaa5bf9e565589261704c4b92","datavalue":{"value":{"amount":"+0.820592999458313","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":"Q1338902$266C4BE0-0C82-42E5-87D5-1290C82BEAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a5c750f1a88e8ea87e4507111b1371c83cd27c","datavalue":{"value":{"entity-type":"item","numeric-id":4694705,"id":"Q4694705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d1df18b69d540bbc98283402037e1ea5099c13","datavalue":{"value":{"amount":"+0.8111748695373535","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":"Q1338902$2D52B24B-F9BD-45D5-81DA-9D6028402CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842f4c9732dc114552f222fc762b482e1dbadb31","datavalue":{"value":{"entity-type":"item","numeric-id":4228073,"id":"Q4228073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d1df18b69d540bbc98283402037e1ea5099c13","datavalue":{"value":{"amount":"+0.8111748695373535","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":"Q1338902$7E742436-B9A7-4B0E-9ACE-8EA50F7F3280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d56211e70ef58b4e6f8c97f77b51540233eedda","datavalue":{"value":{"entity-type":"item","numeric-id":1815856,"id":"Q1815856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1166a56894f3d2c0aed6f9d98c5b51683b91faa0","datavalue":{"value":{"amount":"+0.8068451881408691","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":"Q1338902$6B20503D-F412-4EA6-9BA7-ECCA5663A88A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Update operations in deductive databases with functional dependencies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Update_operations_in_deductive_databases_with_functional_dependencies"}}}}}