{"entities":{"Q688228":{"pageid":690077,"ns":120,"title":"Item:Q688228","lastrevid":63490674,"modified":"2026-04-11T13:30:51Z","type":"item","id":"Q688228","labels":{"en":{"language":"en","value":"Static filtering on stratified programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440379"}},"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":"Q688228$625F6345-3AE9-4970-BC14-C6FA3D4406E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dcb99a9e84c6706b8977d9504fb09ef631ad138","datavalue":{"value":{"text":"Static filtering on stratified programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688228$79323778-AFEB-43EB-9152-201113941412","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43d431467926ee36f60c9764ab47eef05c9e7f22","datavalue":{"value":"0782.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688228$391F3CE7-0EE9-4BF9-9CBF-0412C10CAF5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94830cea391f99f7d45967c275a82d7fca3dd951","datavalue":{"value":"10.1016/0020-0190(93)90133-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688228$DD378932-2487-42E0-840C-9FE2FCCEE27E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d02e160edec9f05574299623da64aebf6924772","datavalue":{"value":{"entity-type":"item","numeric-id":688226,"id":"Q688226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688228$A3BD6253-3B6D-4119-91EC-B241BED91E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2124b2f1dbc31bc9ff8d394053874ee5358b7f4","datavalue":{"value":{"entity-type":"item","numeric-id":578923,"id":"Q578923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688228$2CE417F0-EF61-4C10-A86A-8761DED98D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dad9dd5992b1bff266833bfd70d95bf8b1e9f33f","datavalue":{"value":{"entity-type":"item","numeric-id":688227,"id":"Q688227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688228$B9F779D8-F0A9-46B5-8D80-B89AD4B7275F","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":"Q688228$41ED244B-4C38-4DA4-BDAB-022A6400217D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f67bd20fe430f6951bd39751d5694c2262cae6a7","datavalue":{"value":{"time":"+1994-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688228$03F99BE5-602A-49C6-AAC6-4F466C7D9463","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"461d6610acea43e70a9febee73b2f7b31bcbdde9","datavalue":{"value":"We extend \\textit{M. Kifer} and \\textit{E. L. Lozinskii}'s [On complete time query optimization in deductive databased by means of static filtering, ACM Trans. Database Systems 15, No. 3, 385-426 (1990)] static filtering, a query optimization strategy based on seminaive evaluation on system graphs, so that it can efficiently handle stratified programs without extra overhead. The computation of static filters is formalized as a transformation so that the least fixed point of te transformation can be the static filters. The static filtering on stratified programs is shown to be complete with respect to the iterated fixed point semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688228$22C7BDEF-0C87-4518-85A8-2E21DD528A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688228$019BA22F-046A-4CF3-88B7-BE876679B938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688228$3373F7C2-378B-459C-BC45-16A1CBC553F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9522c7f9608a2e61f1854b67b839f4099e21723","datavalue":{"value":"440379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688228$8AF1B1B9-A20C-427A-BE9D-BB836603180E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"313c1ca53f0b3ed78134ceee74aa34a69f7a9334","datavalue":{"value":"applicative logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q688228$8713FCC7-2190-4D07-B5DD-D7FAD5A406BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5007cd869d63e009e026b100d467c2ff1c921cc0","datavalue":{"value":"system graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q688228$19CA06E3-3CED-4169-BAEB-0B0FCD0A4944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757f37548899b063c443d2640358a71f5ec8e3d5","datavalue":{"value":"static filtering","type":"string"},"datatype":"string"},"type":"statement","id":"Q688228$F22A58A4-D071-472D-BFE6-66B7A7ABCE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979e2e8c35d2089152d9adc9f2441c0e78da961a","datavalue":{"value":"query optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q688228$A354D665-01EA-4582-A6B8-3F77D5354C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a54e9d74428d308ce9739712195ef23c696004a7","datavalue":{"value":"stratified programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q688228$16D7257B-F0E8-4300-A6C5-E1287B47CD1A","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":"Q688228$19448C95-F1D6-4043-9FA8-78CF8D00317F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b701752735fa83282458f2c860d46e5c8f21c5","datavalue":{"value":{"entity-type":"item","numeric-id":4692876,"id":"Q4692876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688228$3DC6246C-5219-4006-8F6E-83C7214B64F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688228$129D2B63-889A-4F48-8F76-3ACF9F7CDA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688228$BE01DE7E-9D64-4B67-8C74-157F33899D27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80124ba9daab423fa7ffebd3a5a29f066659e51c","datavalue":{"value":{"entity-type":"item","numeric-id":3196624,"id":"Q3196624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ea4d1da840a478d517f08fa264318a3bb0a6d1","datavalue":{"value":{"amount":"+0.737443745136261","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":"Q688228$FD1B2E16-6202-4865-B8A0-7EBB1D8FA720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92b85d22ba93f72c8964331e654069e9c3c6742a","datavalue":{"value":{"entity-type":"item","numeric-id":4647532,"id":"Q4647532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3868a99c50e978a995fba0ccfe719b83673192c","datavalue":{"value":{"amount":"+0.7362817525863647","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":"Q688228$9C615ABE-3DC7-40BB-931E-425CAB6772F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a74aebc3ead384ee81496bdf6ca2113ebf8a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4327632,"id":"Q4327632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb813976754c8e43512db39f4b17b14053bc04c","datavalue":{"value":{"amount":"+0.7282821536064148","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":"Q688228$5C9D8AA6-F0B1-423C-BFD0-13CEAEF4EF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84ed6a76110e794901f1516e1a796311a3e9bc2","datavalue":{"value":{"entity-type":"item","numeric-id":5940930,"id":"Q5940930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01cdd406661744e794b63c47e731dea95ba871d","datavalue":{"value":{"amount":"+0.7274052500724792","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":"Q688228$2DEEFFBD-B839-4686-B721-D0A524BECAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e148942548225c7c96dfbd3ac6ff3a167b34a704","datavalue":{"value":{"entity-type":"item","numeric-id":673130,"id":"Q673130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdedfab88946cbe02936c66ade08b35a66fd3288","datavalue":{"value":{"amount":"+0.727383017539978","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":"Q688228$CADD4936-D4F2-4017-94FD-A25BF14D48E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static filtering on stratified programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_filtering_on_stratified_programs"}}}}}