{"entities":{"Q7361893":{"pageid":31521218,"ns":120,"title":"Item:Q7361893","lastrevid":105370115,"modified":"2026-10-07T13:38:47Z","type":"item","id":"Q7361893","labels":{"en":{"language":"en","value":"Verification of Query Optimization Algorithms"}},"descriptions":{"en":{"language":"en","value":"AFP entry Query_Optimization"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0951f276afd0b12eee6c550b05f68ba19a394df","datavalue":{"value":"https://isa-afp.org/entries/Query_Optimization.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361893$DB75F59E-B523-4FCE-A4DF-C3151F059BF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84b3b56cda3aa73a312d6c69e91029bcb2a4804d","datavalue":{"value":{"time":"+2022-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361893$758655B8-75FB-4C7A-AA1A-3864796D286B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e98f0231411584171b7068266a9aef8929eef72","datavalue":{"value":"Lukas Stevens","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361893$A35C4C2F-C8F5-42FA-A543-E6E06E510FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"28e4b91f6077024547a4cd84270cda13badabe4d","datavalue":{"value":"Bernhard St\u00f6ckl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361893$1A033F83-83EB-456C-8D53-529E44257C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a95eda0e6ebf3da63cc3aa7b1e31c8cfe4eed518","datavalue":{"value":{"text":"Verification of Query Optimization Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361893$95EED37A-3F60-4EFE-93DF-CC570CED4F61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46cb30769139da62238b3317bb971e6844788587","datavalue":{"value":"This formalization includes a general framework for query optimization consisting of the definitions of selectivities, query graphs, join trees, and cost functions. Furthermore, it implements the join ordering algorithm IKKBZ using these definitions. It verifies the correctness of these definitions and proves that IKKBZ produces an optimal solution within a restricted solution space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361893$F0B616D2-1427-43C4-8FFB-C2A1BFC0E198","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361893$DD27B452-2065-4B37-A029-54E51D69F989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32397b1095265031d4ab0bf41b38c7753dd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361893$20F33E08-5B5D-4229-812F-978C44F7F05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bc3ee55e8a14ff4371b711c501254aacc8c0f1","datavalue":{"value":{"entity-type":"item","numeric-id":2147186,"id":"Q2147186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361893$4618F013-BF74-4449-B8DF-7327125BCCC9","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361893$7FA569EF-B0C6-4894-BCE0-BEE54C10C783","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b999678a517221bed9bd614caca8006ebca3a529","datavalue":{"value":{"entity-type":"item","numeric-id":7361796,"id":"Q7361796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361893$52D87511-8A8B-4EB3-89A7-7261F81BD719","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"35a8e4bc0e4a396cad3ea2a5ddc1f09e16c598c1","datavalue":{"value":{"entity-type":"item","numeric-id":7360787,"id":"Q7360787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361893$CD5FBAE4-154A-456A-B95D-5FF845A703A1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361893$40437355-17E9-4470-8001-2484C7BF9221","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of Query Optimization Algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_Query_Optimization_Algorithms"}}}}}