{"entities":{"Q1822528":{"pageid":1833270,"ns":120,"title":"Item:Q1822528","lastrevid":77978801,"modified":"2026-05-06T10:29:49Z","type":"item","id":"Q1822528","labels":{"en":{"language":"en","value":"On the expressive power of data dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001522"}},"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":"Q1822528$A1211538-DB70-4A17-9FC5-72286AF6C7B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"933bdc316713446afed092b8c25d1aaee12c2395","datavalue":{"value":{"text":"On the expressive power of data dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822528$8AC5C9AD-1AB9-46F0-A7B3-12C008B79C90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dde7af78e5e9c9e0267dfe96d6a76e5f02a6343d","datavalue":{"value":"0617.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822528$7EDE191B-443F-41EE-97F5-FE37D5A4A65F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44eab7aaf70cba9c1c24536a4bf336455d90632a","datavalue":{"value":"10.1007/BF00289111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822528$B1FFE138-B33E-4CDC-A9E0-64F6B82EA9DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$8914003A-CCF4-48C3-B052-F51971063DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$06CBDF0F-6419-4202-A90A-C660D6C2783B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$ECF80FF9-AF10-460F-B774-9AC9B2C2F2ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1822528$C70B7DAE-DBD8-4DE1-B209-2B1BE262890B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5b05b3f032226e9f919911b52d9593ceedf3ddc","datavalue":{"value":"Since the language of data dependencies is a language for semantic specification of databases, it is highly desirable to know which classes of databases are axiomatizable by different kinds of data dependencies. As a decisive step towards a comprehensive theory, the paper under review gives characterizations of axiomatizability of (finite) databases by data dependencies, using algebraic closure conditions. Some preservation properties of dependencies are given, following the line of investigation of \\textit{J. A. Makowsky} [Logic Colloquium '82, Proc. Colloq., Florence 1982, Stud. Logic Found. Math. 112, 303-343 (1984; Zbl 0553.68028)]. Then, the algebraic characterizations of axiomatizability are proved by means of two model-theoretic techniques. These characterizations are used to obtain axiomatizability results for external views and consistent databases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822528$2C47FD0F-3F47-4548-A5EE-CFD1EDD1C286","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822528$43EC489C-3D4F-47E1-8942-C5681D0613AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822528$2C574DBC-3BD8-4198-9641-04996A3056C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822528$AC559165-5D77-4BD5-A848-F55388CE4A76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a07467d82dde76f2e70e0151d85085c41ab0b7ff","datavalue":{"value":"4001522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822528$824FA48A-0CBA-44C0-A531-C8B28B039245","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4d6ff1c0f7e44bd420c0881376aefbc26e2140","datavalue":{"value":"data dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822528$9053570F-7B66-4685-B4DF-98D706C72946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac9f2d714b27b72a41813dec48cd2289910d3fa","datavalue":{"value":"semantic specification of databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822528$4B7D33BC-D143-4C63-BE08-7E8BBD8FE63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822528$484C1C6B-5004-4B6D-8D19-B0CD2ACEEE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9280c8055ff239fb1125ad4dce58910d24176b6c","datavalue":{"value":"algebraic closure conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822528$26FA0025-06F3-42A4-B35E-E504BD4C4C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223ea8ce86dbf89bd2dbd617347048da90a10f3b","datavalue":{"value":"preservation properties of dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822528$423CC002-683A-4A7E-82B6-954D256315C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a4ae5613ff77e8481060718ce87d216e0d9932","datavalue":{"value":"external views","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822528$091A5334-8148-433C-B975-9778CCDD93E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7625fa4868d18959d5f4aa2fc2f8f1cc5a6086c8","datavalue":{"value":"consistent databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822528$B4B0F9B9-3205-40AD-A71E-19E3C705D7DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73ebd5021b1f9cabffa6534aa25947283831467f","datavalue":{"value":{"entity-type":"item","numeric-id":790617,"id":"Q790617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$7EDBC57D-0BA8-4583-9800-1DFD3F5EF0B0","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":"Q1822528$B013AEF1-3F69-4947-AA1E-03577EBF36C9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c914a6f2b892f5c916827dd6ded172af6c1d5a62","datavalue":{"value":"Q114694751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822528$4850267E-BEAD-4B20-8711-B6B9B8019B47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40de328e4ef0bb002df5ae148f526335f6b1b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4199525,"id":"Q4199525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$DB4CED81-2F4C-443D-86EC-2F33E0FB7092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea7a4daa17e286a135ff13bcac8c6503af0396d","datavalue":{"value":{"entity-type":"item","numeric-id":3770004,"id":"Q3770004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$3D6786C9-EF42-463A-99D9-6D6D4DBC9201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfedd2c761b3fb7576c08b264508fc6ee6706256","datavalue":{"value":{"entity-type":"item","numeric-id":3856756,"id":"Q3856756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$8FEFC278-6DC3-4A01-82FC-CC9C0255ABC1","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":"Q1822528$AFE7C7A0-82D5-4276-B96C-1A9E3DD6B704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$7160FCCB-2A01-4A67-ACAE-4E928B8FD7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd6c969231e6f49e9de8df2bebdcacfffac1dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3956433,"id":"Q3956433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$7168834E-6840-4781-B0F3-18ADC307CAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339f5d4a589e7b43e846e214b4ea67978ec87c1a","datavalue":{"value":{"entity-type":"item","numeric-id":1069712,"id":"Q1069712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$DC89CD9F-8DAC-4840-BE26-E306755B5B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88563490af4a3660ead01235121e2c528676d456","datavalue":{"value":{"entity-type":"item","numeric-id":3949997,"id":"Q3949997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$E7E37CAC-9748-44CA-9104-048123EC67D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$33FD4866-F18F-4958-A394-952493F0B42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d9401579fdab47f2c5ad7b3bd4a1776f7a5ad5","datavalue":{"value":{"entity-type":"item","numeric-id":3945628,"id":"Q3945628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$8AC2C1E8-FB65-4E8E-886A-922FE433CF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5673e1f50f78cf183ece392aa22d4d3b595033","datavalue":{"value":{"entity-type":"item","numeric-id":3768430,"id":"Q3768430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$559EFA1A-BF54-4E90-9DF3-DF2EC37AE68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d073f3dd835de0786c068a508cefba01ca919ab","datavalue":{"value":{"entity-type":"item","numeric-id":3933796,"id":"Q3933796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$AA580308-51E2-41E1-B823-C05339898FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce95f67fa6aeca188703cae32f89e86b57b98e3","datavalue":{"value":{"entity-type":"item","numeric-id":3662644,"id":"Q3662644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$59AFD3A2-5F12-4954-B868-12D78027766C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d019c0c1326ab2182eae34b441d1ef2a9c9f024e","datavalue":{"value":{"entity-type":"item","numeric-id":3216138,"id":"Q3216138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$18ED0B47-34FC-481D-B047-F557F3707DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619a3de31c1d938b7ca2da4ff61a105186899c","datavalue":{"value":{"entity-type":"item","numeric-id":3677149,"id":"Q3677149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$EA4FD9BD-D02D-420E-A5F5-1381142D99DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e234c298f9be8fabf03c4edfba0064bec64bc23a","datavalue":{"value":{"entity-type":"item","numeric-id":4068696,"id":"Q4068696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$94711D17-D36D-4F55-A817-2400A467F447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fc495543710fa6dfeeabf64a240c710cf42c85","datavalue":{"value":{"entity-type":"item","numeric-id":3760532,"id":"Q3760532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$F6490412-D07A-4C13-ABFF-7F74C7804516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$DE0FF08C-1702-4BA1-A1E7-208417B93DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44bc767850337e21a183ed9e8b9103abf049f928","datavalue":{"value":{"entity-type":"item","numeric-id":3206351,"id":"Q3206351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822528$3EDA7571-5428-4F8A-8068-E631E4BEBF28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3695f19b2829d8487a40e26223ed1f5a8d4f4b42","datavalue":{"value":"https://doi.org/10.1007/bf00289111","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822528$13DCBE07-E6C8-4DBA-A6BF-67A67966BFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d98f60a357d2d9ede20480208316fd84b68a9074","datavalue":{"value":"W2062099202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822528$32E4E972-5381-42A1-A9B0-6B7DB5418587","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463a3273610ccdb4902683872bc7e0d24054e319","datavalue":{"value":{"entity-type":"item","numeric-id":4271915,"id":"Q4271915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e8949d91b0953d6853eb47c02aaad7124b7db3","datavalue":{"value":{"amount":"+0.7655176520347595","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":"Q1822528$A5311E27-4716-4B75-B0A7-90A1000A81CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9be26cd5d452588cec160cb57c1f62f842c214","datavalue":{"value":{"entity-type":"item","numeric-id":1823030,"id":"Q1823030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d360d1b8826123d3021a5b4d9fd3fc6dccd2e38","datavalue":{"value":{"amount":"+0.7655172348022461","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":"Q1822528$9B386121-D613-4101-88C4-E3A502448588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3f1fc6dd455d04f6f4fe254f6ae67e395c279e","datavalue":{"value":{"entity-type":"item","numeric-id":4728270,"id":"Q4728270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2a1de4142d3807cb02a99bc60b659658b73b90","datavalue":{"value":{"amount":"+0.7636427879333496","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":"Q1822528$9F46C649-6112-4FB3-A177-0898038F24EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edea375a1ec2bedeb946665c745040c0b1819747","datavalue":{"value":{"entity-type":"item","numeric-id":1123008,"id":"Q1123008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e030c3af25c2011c56fe9df85e6557e6dd23250","datavalue":{"value":{"amount":"+0.7620391845703125","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":"Q1822528$45DCF00B-040B-4598-A79C-137F1FE4A125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce61f10a9b2cc9bf1e2a13b5d1dbc1d4ab8c460","datavalue":{"value":{"entity-type":"item","numeric-id":3740278,"id":"Q3740278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f7a3e4d13bd720d9f372aa0d364e9984ae6c9e","datavalue":{"value":{"amount":"+0.7613677382469177","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":"Q1822528$DCF8B863-35B4-44DD-A73D-CEDF9CC81E50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressive power of data dependencies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressive_power_of_data_dependencies"}}}}}