{"entities":{"Q685471":{"pageid":687320,"ns":120,"title":"Item:Q685471","lastrevid":47189014,"modified":"2025-12-31T23:10:57Z","type":"item","id":"Q685471","labels":{"en":{"language":"en","value":"Semantics and properties of existential quantifiers in deductive databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417389"}},"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":"Q685471$08801819-65B7-454D-A54F-29112DA51FC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1f0642d4fe4ed330fdd020748ee61cdc24a32ef","datavalue":{"value":{"text":"Semantics and properties of existential quantifiers in deductive databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685471$B4CCE46F-DC8F-4899-93BE-D24AC9FEEF34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51fed06b11fa0d59df3a4b8b349c62730f123434","datavalue":{"value":"0778.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685471$C6E394D1-C1D7-436B-8B21-667531B9F01C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edd5e842c4c772d09fe4bdea11cb8c6a9c74ea25","datavalue":{"value":"10.1016/0020-0190(93)90232-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685471$9F2CDC82-99D9-4655-AB7A-45FC4073B2FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a45615a7e0b2e72fb00c85adcb29c108ec6cce61","datavalue":{"value":{"entity-type":"item","numeric-id":500504,"id":"Q500504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685471$B58F964F-4D11-406B-AB0B-FC59202AF36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685471$6002300F-FB90-4343-8B44-FC8E34C09D73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685471$D6774394-E550-44DD-9FAD-57DBA29E3C2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729108c69527af72f2ca1b9041a9358219bdc1fc","datavalue":{"value":{"time":"+1994-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685471$DF6C065F-5CAB-4B8B-AE01-921EBBA58840","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92ea71df0d6571a233d670e92cca9285c1af171b","datavalue":{"value":"Controlled occurrences of existential quantifiers can enhance the expressive power of deductive databases without introducing a null value though existential quantifiers have been generally proposed to represent the null value (exists but unknown). In order to extend the expressive power, the paper considers two types of IDB, namely an acceptable rule and an extended rule, which can have existential quantifiers in the IDB in a restricted way such that no null value is introduced. We present the precise semantics of existential quantifiers in the IDB, and peculiar consequences associated with these rules in deductive databases. Among others, we provide the necessary and sufficient condition under which Horn databases with acceptable rules become indefinite. Major contribution of the paper is to provide a theoretic basis to researches on existential quantifiers of the deductive database applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685471$845F354D-EC15-4887-9533-4D0C04B353C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685471$2EEB40F5-D87B-462E-B503-F1D6C072FAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685471$55414A4B-9E73-4C8B-92C4-28378474D16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685471$7862C0DA-A9FD-4F92-B011-A460D59BA8DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e00176d6b8e24d86a23ee4e373bdd9dcd137124","datavalue":{"value":"417389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685471$C8941927-34E1-401D-935C-28D44711B3B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca6addfe8bee707903287ae5b3c8b3de7623da8","datavalue":{"value":"existential quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q685471$B39CB2A9-9EC3-4DC2-ACC3-9DCB91F4332E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q685471$E76E179F-E702-41FB-8A75-A498ACC885B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a22776073b7c7c589b23a5eb47a3f3c84275267","datavalue":{"value":"null value","type":"string"},"datatype":"string"},"type":"statement","id":"Q685471$5E99066D-E898-4963-98BD-D4454A2BAFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b83b8388e478445b688f261c3ffba1ae569d422e","datavalue":{"value":"acceptable rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q685471$CFA014E9-A31A-4BED-A96A-671620163F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04514f41f5022f665174cc26fa0a499e56127d21","datavalue":{"value":"extended rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q685471$49F25469-BFF9-4A0D-8C44-B30B6F0C9ED7","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":"Q685471$FD8257EB-D453-4B40-9CD8-A4FFED540CC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b8154126bb7dcff376a3fb5230eefc60388d66","datavalue":{"value":{"entity-type":"item","numeric-id":5652222,"id":"Q5652222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685471$DD57EBC9-BDD3-44B9-9E9D-E8D737A8D8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685471$28C0BD5C-A6C7-4544-B8F6-8A482ACC0184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76578b4dfa557ea0fc7d74b3ea4a8a7e7983e576","datavalue":{"value":{"entity-type":"item","numeric-id":2556390,"id":"Q2556390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685471$A5F3A727-8539-4B0D-A67E-293E7421F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685471$FE745DFB-18FE-4008-93CC-EBEA4D098FC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05b2bd7d727f174661779aa929f455c39e3bf577","datavalue":{"value":"https://doi.org/10.1016/0020-0190(93)90232-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q685471$549A03CD-7EF1-4BB8-89BD-45C34FBD3C12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89ceab2cc589d3552ab9af9e07dd0f1c54f89f83","datavalue":{"value":"W2090414536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685471$BE5FA91B-1504-4E3D-BFD9-192D99894FEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5818b415dd9a78c8ed675217c203761dab4515d6","datavalue":{"value":{"entity-type":"item","numeric-id":3692901,"id":"Q3692901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a182fe079ccce63fa55a19359cfc8641b59c20c7","datavalue":{"value":{"amount":"+0.7387197017669678","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":"Q685471$1261E36A-A7D3-45A8-A129-5A2E65D4CE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32081a0602eb3d0728030f97ddd6837ac9ab1f55","datavalue":{"value":{"entity-type":"item","numeric-id":5943120,"id":"Q5943120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b23122056cc36173fa6d153fa79cb0b2d4aa10d","datavalue":{"value":{"amount":"+0.7037630081176758","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":"Q685471$1FDB5186-F186-40CD-8165-55E91D21E409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39ac8b7e4a5db2a430f46bfcfb762d996909969","datavalue":{"value":{"entity-type":"item","numeric-id":5241412,"id":"Q5241412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19f34eefa11f71858335dda4df743c174d3fc39","datavalue":{"value":{"amount":"+0.6983349919319153","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":"Q685471$AB2DB394-DEAE-47F6-8E8B-596B3E5D642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b012f270144bb58ef1f4e0b2063059c978ebf8","datavalue":{"value":{"entity-type":"item","numeric-id":3484349,"id":"Q3484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3626adf418c57c6db0d7e1be3ab63d20aa5c9afd","datavalue":{"value":{"amount":"+0.6904129981994629","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":"Q685471$98FA0B75-503B-4704-BB5E-BCCB44C76E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927aba0b4c562c0b4d7377bd561436390e477fae","datavalue":{"value":{"entity-type":"item","numeric-id":1114443,"id":"Q1114443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2bdb5c44cf67f4be6078a43434559dfb2192595","datavalue":{"value":{"amount":"+0.6847586631774902","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":"Q685471$BF58890B-ECD1-4757-8174-8EEEAA541F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685471"}}}}}