{"entities":{"Q1124381":{"pageid":1135130,"ns":120,"title":"Item:Q1124381","lastrevid":69697401,"modified":"2026-04-13T08:47:19Z","type":"item","id":"Q1124381","labels":{"en":{"language":"en","value":"An alternative way to represent the cogroup of a relation in the context of nested databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112076"}},"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":"Q1124381$79A00398-0F4A-44B5-AC1F-BED47F11D7B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83b3050d833dd5a49ed4f3ad8247005d5e2b498e","datavalue":{"value":{"text":"An alternative way to represent the cogroup of a relation in the context of nested databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124381$0EBBDD57-112C-41E7-8E1B-D8CCCB2C56C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4d0a8d849511d7d99e9cf10fc99e44d00e63d54","datavalue":{"value":"0678.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124381$A8D39DD9-8113-4232-9D16-9EB465BC4545","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14cf3d15bbc08cb1cce3f516d81bae427dec2fb8","datavalue":{"value":"10.1016/0020-0190(89)90025-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124381$0A435B40-0110-4FE0-B22F-E658D64F82C5","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":"Q1124381$5481E35E-22DE-4592-8F61-C549A2EE79FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e56a7d8dcfd0d76c9d1368c62b11151d2a939dc","datavalue":{"value":{"entity-type":"item","numeric-id":287751,"id":"Q287751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$91229F12-D97F-4C66-978F-D97F29EF03F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee591e67521b7a97a9bba07008ae415e040f500f","datavalue":{"value":{"entity-type":"item","numeric-id":528683,"id":"Q528683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$35384912-1D68-4849-978E-A557AA569F10","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":"Q1124381$ACFF3283-436F-40DC-9CC9-79D2AF773310","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1124381$2127D8AF-62C0-471F-A08A-8FF8405A6847","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3f36552aa1305fc0b0a6b18cc564d277ad90b69","datavalue":{"value":"The paper concerns a generally known notion of BP-completeness of relational query languages. In essence, a query language is BP-complete if one can show that for all databases d and d', d' remains invariant under all the permutations on the set of values of the database that leave d invariant, if and only if there exists a query E of the language such that \\(d'=(d)\\). For example, the relational calculus and algebra, the nested algebra, and the powerset algebra are BP-complete. An appropriate tool to testing BP-completeness of a language is the cogroup. The cogroup of a database is a relation giving the set of all the permutations on the set of its values that leave database invariant. Unfortunately, this relation has not a fixed schema and, as a consequence, it is not expressible by instance-independent expression. The authors show how the cogroup may be expressed as a nested relation with a fixed schema and they prove that there is an expression in the powerset algebra for the cogroup undependently on the cogroup instance. The power of the powerset algebra is documented by a result which emphasizes impossibility of the such construction in the nested algebra (without powerset operator). With presented results the test of BP-completeness becomes easier. The paper gives an interesting integrating contribution to the theory of flat and nested relations, respectively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124381$03D69B1D-F230-4163-901F-8A880BAEB722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124381$A1D8D01A-4A64-481F-B6FA-CF19A6B36131","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"379c881147b0c0c0bbdd63957dd15ee9083c4a05","datavalue":{"value":"4112076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124381$F1AB16C5-A2B9-43B2-8EB6-BBEA7183206E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124381$8E37DEFB-0776-4FC1-9A81-8279452F7775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"026dcd16392dc07e6e70c785637f268a972e1f7b","datavalue":{"value":"nested algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124381$367190ED-B220-416B-96DD-FD1E673EA6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f82b870fcbd71e05c5bf95087cfcbdbb6ae661","datavalue":{"value":"powerset algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124381$B9188BBF-013F-46C8-AB45-7FBAD2CB5138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bdc8e60dfe65857f8da3c1101f1835b7970defd","datavalue":{"value":"cogroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124381$6DEFDD42-07AC-49FC-979C-1F25016B25B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eebeddce5cdf91b9d305c78c505cf837f4b1846","datavalue":{"value":"nested relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124381$D70683B2-578A-498B-ABE6-507FA61875DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"41927d0273d17be217af24d3bf572ac62623d210","datavalue":{"value":{"entity-type":"item","numeric-id":590760,"id":"Q590760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$E103C479-913A-49FD-B380-D6404D878726","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":"Q1124381$5389CE47-3C67-44FE-A031-453C8B14CF1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d5dc62449744de8cee894b7254766149b2bc1b0","datavalue":{"value":"https://doi.org/10.1016/0020-0190(89)90025-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124381$E8A0E306-AAF6-4E38-B1DD-FBEC81B07B62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b98527e1ef1a2b7b5c1cc6d252a309bc75b27bf","datavalue":{"value":"W1965484929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124381$879AE59A-CDC4-4369-8BD6-91C20B921CB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f598766a9a0139de944a29433f8e771d53e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":579959,"id":"Q579959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$C7189F49-EB1A-47FD-AE0C-2864553D350A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3604fba9579931f6a3cb03b18a447699dd85983","datavalue":{"value":{"entity-type":"item","numeric-id":4172944,"id":"Q4172944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$2C15AABB-92A4-4DEA-959E-7C313C4532DF","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":"Q1124381$3B9926E1-DCFC-4F5B-8739-A5BBC755F152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$73309495-7992-464E-8F26-797E797CAA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00c51201f67e59e740260c694a944ba5779880","datavalue":{"value":{"entity-type":"item","numeric-id":5607609,"id":"Q5607609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$AEA32048-C052-441B-A169-46722B01D66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4eaa4e9895514d77fc18b941f874be6726972d5","datavalue":{"value":{"entity-type":"item","numeric-id":3476307,"id":"Q3476307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$65F90B1F-5A47-41E9-8931-E9A267F87079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d1af62c4bde8568f5a917f4705c22bb6eefaf1","datavalue":{"value":{"entity-type":"item","numeric-id":3798297,"id":"Q3798297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$A97806E2-0D12-4ABE-87D1-343781D4A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5191c127ee616919dee8eaad1fd779d1326c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1245699,"id":"Q1245699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$200C416E-1F0E-412C-B786-0A6666A835C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80968684c63305a20ba2db314ea71acb0a7de57c","datavalue":{"value":{"entity-type":"item","numeric-id":3814847,"id":"Q3814847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124381$9155BF5E-7B89-4CB6-BE99-ADDCE405CB43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c219e3300de56166c5b57401e38748981007de3","datavalue":{"value":{"entity-type":"item","numeric-id":2770759,"id":"Q2770759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa68e39d2a8804f5dbf2551e21dbba6bf7fb32f","datavalue":{"value":{"amount":"+0.8618703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$3FDD01F9-D09B-407F-947A-55ECA3E6086B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e339056b1d26c6a1d74a0a94b3a7ec5a9c69823","datavalue":{"value":{"entity-type":"item","numeric-id":1198662,"id":"Q1198662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbc77c6d7c3e504958d4c147593cc564328a363","datavalue":{"value":{"amount":"+0.84381026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$A249ACC9-BA6B-4048-8AEA-AB28D86B74F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3705437c0033fcdc8d5774e2ac26b7a80bce25a3","datavalue":{"value":{"entity-type":"item","numeric-id":749194,"id":"Q749194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6b966fc8591d5748a74a653e5d580fc09b1dd7","datavalue":{"value":{"amount":"+0.8297989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$11BF80A0-ECCB-4398-9332-F7F27E49D3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b73ba388a26c72cb6a16c4be9a50b9dd2f643f0","datavalue":{"value":{"entity-type":"item","numeric-id":1596541,"id":"Q1596541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2373869957e6da4aeef008973acfb0cf0f49ec","datavalue":{"value":{"amount":"+0.82694185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$4CBB4790-5C69-4686-B6B9-3B63016EB26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5590ab7991d2beea0a8a17f61e2d87955b91b28d","datavalue":{"value":{"entity-type":"item","numeric-id":918675,"id":"Q918675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243cdca01becfdcda2367cfc5de47daa279e0a7a","datavalue":{"value":{"amount":"+0.8233871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$51680FE7-A136-4E1B-8FC0-DEB6ADA0C594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27de80e5d7e72d944142c0aec28d227fd394b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2132097,"id":"Q2132097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fed373fb5628613af0fa3fe82c6e5a450620234","datavalue":{"value":{"amount":"+0.8214143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$D0A0A4FD-9C0D-4309-B4FA-637C8F67DDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa37cdd4d844d4182b4b93f757d5388efba74357","datavalue":{"value":{"entity-type":"item","numeric-id":3738611,"id":"Q3738611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f606c1f7f7ed1a65d3323af37e5157cc3bcbae","datavalue":{"value":{"amount":"+0.8198196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$68F604F3-22B9-4D96-8A90-3C51D606011F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c2ce6e668bb06039e3c0dd76a1a80e8fd893f9","datavalue":{"value":{"entity-type":"item","numeric-id":3476307,"id":"Q3476307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9385e37b44cb93fc87c16606d8cabf863599a435","datavalue":{"value":{"amount":"+0.81406075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$36DC6D87-DAA1-4D31-8326-75F972DF36C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c0df7b4a5d0d33b263816a97a7d8bfe05700e2","datavalue":{"value":{"entity-type":"item","numeric-id":5696204,"id":"Q5696204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620008a0ccf0d3fb117f85ad788219c2c2c6c035","datavalue":{"value":{"amount":"+0.8137215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124381$6BF0E035-98C0-4A5F-924F-3CA068C2C654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternative way to represent the cogroup of a relation in the context of nested databases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternative_way_to_represent_the_cogroup_of_a_relation_in_the_context_of_nested_databases"}}}}}