{"entities":{"Q756410":{"pageid":758259,"ns":120,"title":"Item:Q756410","lastrevid":49471915,"modified":"2026-01-07T05:25:49Z","type":"item","id":"Q756410","labels":{"en":{"language":"en","value":"Fundamental properties of deterministic and nondeterministic extensions of Datalog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191096"}},"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":"Q756410$570325DC-79B9-43EA-9BCA-6A0067C2873B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ac02082d9d6d97786373a425c0437025f286d04","datavalue":{"value":{"text":"Fundamental properties of deterministic and nondeterministic extensions of Datalog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q756410$2CB039C4-4F16-43B2-95C4-A0B9587CAD9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"497a7e3db3513fc304b054ab623ad7f555955133","datavalue":{"value":"0722.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756410$F1581FC8-764A-450F-A8D0-BE30D885110C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4750e2397f484154733a78e490f10c83ee46028a","datavalue":{"value":"10.1016/0304-3975(51)90006-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756410$2FEA44FA-A2DC-46E2-9206-CF664F2E20EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c22e7097f99e26c20e55611d3e4c29e5f205dbe","datavalue":{"value":{"entity-type":"item","numeric-id":269309,"id":"Q269309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$27089634-2084-4604-8148-31E432BA8A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50c86535cf663d517fe6a8b3911b8b4501635842","datavalue":{"value":{"entity-type":"item","numeric-id":756409,"id":"Q756409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$D57EE9EE-C7A8-46DA-BD52-81B611FBBBB1","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":"Q756410$59EAC485-0D98-4FE9-B2E9-FE86ED127EFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q756410$D4DA71E4-1FB0-471F-93E7-C6F1B3472000","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"152051cf13a1e6f0aafaf9e24c15744d77f1e428","datavalue":{"value":"Fundamental properties of deterministic and non-deterministic extensions of Datalog from Abiteboul and Vianu (1988) are studied. The extensions involve the use of negative literals both in bodies and heads of rules. Negative literals in heads are interpreted as deletions. A deterministic semantics is obtained by firing in parallel all applicable rules. The nondeterministic semantics results from firing (non-deterministically) one rule at a time. In the nondeterministic case programs do not describe functions but relations between database states. In both cases, the result is an increase in expressive power over Datalog. The price for it is that programs do not always terminate. It is studied when a program    (i) is such that on a given input, all its successful computations reach a unique fixpoint,    (ii) yields at least one output on every input and    (iii) has only loop-free computations. It is also shown how to simulate programs containing loops by loop-free programs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q756410$D5403D2C-416C-4A42-BD4D-ED7956BC1429","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756410$CAB97C6A-8A98-449F-A0B2-1C0EEA5494A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756410$2EA97078-5296-4BEC-8446-5745B7B3BA0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6422720fa668a45b4aa8a2792d5a732eb78db0bf","datavalue":{"value":"4191096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756410$5A8911F7-F28A-4AA3-816D-C11E6FD0714B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9dbe40e8f53c9e57d4066c94f466b2f235fec2","datavalue":{"value":"query language","type":"string"},"datatype":"string"},"type":"statement","id":"Q756410$A0091B77-5FD9-4B59-9CE5-8AC8A75596EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q756410$F596FBC8-D231-4A04-A18C-BF1CFCE8D38B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c02eab19fe38022208c1aa0259cbb3e7842cae11","datavalue":{"value":{"entity-type":"item","numeric-id":1059387,"id":"Q1059387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$8C97E6E1-41DE-438B-BAB4-022E613BDD13","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$E0790474-9C1C-4495-9DEB-1B4B30FC2A3D","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":"Q756410$44AD99E6-916D-4A53-98B4-B08736F59C0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f084d8ed78af6bef1f63bd77eef12498dc9f6c7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(51)90006-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q756410$E2F4A512-81B6-4400-B7A8-654409E4F3CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0db9b4713b16a16c8cbc7bfa2aadbff3d25759ab","datavalue":{"value":"W2035762642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756410$32076BD8-992B-4617-9E69-9C50D56081E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c430384783ace9c4c18d6cfbcc0dae62fd879c","datavalue":{"value":{"entity-type":"item","numeric-id":3204028,"id":"Q3204028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$5789EF9F-5E47-41AA-81B0-A3DD4E382289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55d8e9e513e18f865fb488ac9b15306f0f42c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1151060,"id":"Q1151060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$AE0359E5-5012-47B2-84F3-D83B58689F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97aae996047866e201e0764a961d1290615bba0","datavalue":{"value":{"entity-type":"item","numeric-id":4385543,"id":"Q4385543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$7902E77B-8AA7-443E-A114-924612105D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713f64a492a2aca46d9fcdcf99b677ef28cefa55","datavalue":{"value":{"entity-type":"item","numeric-id":1176286,"id":"Q1176286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$09D16648-4CC8-4230-A314-55039D600336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78d3674fce57ce2b038d3e0256f1d9a524615b9","datavalue":{"value":{"entity-type":"item","numeric-id":3798300,"id":"Q3798300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756410$B4AD54CB-DC4E-4E99-A962-32E5F58E9BC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adfa0e40f8c1116d155106c1b6b53b31391cc41","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a173906d47af92d07d1517d69b9ff28464ee187e","datavalue":{"value":{"amount":"+0.8582888245582581","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":"Q756410$B8751FA4-5206-4B5E-9095-6BA33D7ED39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a410dff2e0be69d48a9534cccdcefc4620619e1","datavalue":{"value":{"entity-type":"item","numeric-id":4365319,"id":"Q4365319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c662df1e9cc3131c0b9825e308e1c0e93e386d6","datavalue":{"value":{"amount":"+0.8538855910301208","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":"Q756410$206E70AC-7B42-4979-A24C-1DE61ABD64A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2042f395f4a0a8e32534b7f5416133a7e65abc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4208855,"id":"Q4208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9ecebfd92f0dc4298b1c02bd11ed74c6f92f67","datavalue":{"value":{"amount":"+0.805189311504364","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":"Q756410$E4017701-3313-428C-BADE-15BA05F89394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2258fe03aaeb268c2f7cb5c3e08130f60d9eb2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1854304,"id":"Q1854304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08bb82517f2c0c3ddabe34ca0626e9a087e7a780","datavalue":{"value":{"amount":"+0.8017864227294922","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":"Q756410$3B51A3FA-E2C7-4E8E-BD35-8AFB1D0DDFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa62f40c642974fa626d7272784fc1c6c5d704d7","datavalue":{"value":{"entity-type":"item","numeric-id":1924729,"id":"Q1924729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b411dbaed0d0c88031f047af248a6689c9b6d0b","datavalue":{"value":{"amount":"+0.7950406074523926","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":"Q756410$2310F64B-0F61-41BB-B4BF-4D651C50E5DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:756410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:756410"}}}}}