{"entities":{"Q1338897":{"pageid":1349636,"ns":120,"title":"Item:Q1338897","lastrevid":68500608,"modified":"2026-04-13T00:07:44Z","type":"item","id":"Q1338897","labels":{"en":{"language":"en","value":"Domain independence and the relational calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695005"}},"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":"Q1338897$64E0D20B-4B0D-41B5-97E9-8E2FCC836D68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12feadf4fafcd561a4949a79cc333155fdd6f858","datavalue":{"value":{"text":"Domain independence and the relational calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1338897$79033E0B-F124-4396-A3FD-2F45155710CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79876a19fe8fad8464b5b9fd0d8bd8f7bf85d43b","datavalue":{"value":"0818.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338897$568051A4-341D-44CD-92EF-A17632678339","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0e3143e8b45c118185ebe0ad808f0d62246b583","datavalue":{"value":"10.1007/BF01213204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338897$309B2EBA-5627-4AA7-AF67-FF2B20FAE9B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0895c8b11e4a5feeab0d62b73df2f7d36cadce36","datavalue":{"value":{"entity-type":"item","numeric-id":686643,"id":"Q686643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338897$58C9EC42-E0F7-49D1-95FA-9FD30555ACF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7f46f7e898be762c100de5b315dd4eb1b625552","datavalue":{"value":{"entity-type":"item","numeric-id":672738,"id":"Q672738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338897$D8733FF5-EC4B-4872-AF39-78FCB703CE25","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":"Q1338897$06ECE712-E9E3-41FB-A2E1-D654F6FBA8A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3816e5ad4c8d1e2e98cee6e1e740e168fa32f19b","datavalue":{"value":{"time":"+1994-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1338897$386B9097-0C21-4213-A1FD-50246180E365","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"981c3b352845934882c5c19513a7a9c2a829da01","datavalue":{"value":"Several alternative semantics (or interpretations) of the relational (domain) calculus are studied here. It is shown that they all have the same expressive power, i.e., the selection of any of the semantics neither gains nor loses expressive power.   Since the domain is potentially infinite, the answer to a relational calculus query is sometimes infinite (and hence not a relational). The following approaches which guarantee the finiteness of answers to queries are studied here: output-restricted unlimited interpretation, domain independental queries, output-restricted finite and countable invention, and limited interpretation. Of particular interest is the output- restricted unlimited interpretation -- although the output is restricted to the active domain of the input and query, the quantified variables range over the infinite underlying domain. While this is close to the intuitive interpretation given to calculus formulas, the naive approach to evaluating queries under this semantics calls for the impossible task of examining infinitely many values. We describe here a construction which, given a query \\(Q\\) under the output-restricted unlimited interpretation, yields a domain independent query \\(Q'\\), with length no more than exponential in the length of \\(Q\\), such that \\(Q\\) and \\(Q'\\) (under their respective semantics) express the same function.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338897$E7AB1F6E-6C74-4BED-941E-43479B67696A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338897$07406CA5-A153-4DEF-9624-7E1968E017CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dabc5d1e74e0136af70fa1b6a9cc3f9971e18978","datavalue":{"value":"695005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338897$FD328211-72E4-49A6-8D7B-9EE53B0E19C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae4fa8a62c8d5087d5c4dd642d2624c547003a5","datavalue":{"value":"relational calculus query","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338897$317E1762-3EC6-4109-BFD9-7A29231AA89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e88190f44201d7255cdc7a0af95df877d00b75","datavalue":{"value":"domain independental queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338897$D9DD1A39-4881-4251-A075-27DF6BAA6B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e956bd0a7f143ee5e1fc513c2199f632be4b2f5b","datavalue":{"value":"countable invention","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338897$CB09D120-DC5A-433D-A966-609817E7FB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bcf13b104b9bd8735a2bb061cad97e7f641781a","datavalue":{"value":"limited interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338897$C746AE98-2496-4523-ADC9-5701A0E95CA5","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":"Q1338897$855BEFD1-4EF0-4AF0-880B-53954C5EF153","rank":"normal"}],"P223":[{"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":"Q1338897$D0D97982-521B-447E-B3B1-22EFAA7344C5","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":"Q1338897$9EAC545A-8447-46A6-9FE1-A9531D6CA1CD","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":"Q1338897$4ED8EE5F-7E39-49C5-8A8F-1ED7BE955F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a749b6395f76d2badad36cd1391ea5621fdc5da","datavalue":{"value":{"entity-type":"item","numeric-id":1176290,"id":"Q1176290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338897$7B64AD90-2624-4698-A3C0-5C7056C03CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfebb44ec9f88566e9c5fc5ffba1e51db6d448d6","datavalue":{"value":{"entity-type":"item","numeric-id":3753524,"id":"Q3753524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338897$AD386768-43DF-4B49-A3E3-458552172923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338897$AA5D8FE0-D288-4E9B-B26B-80DAD6FAFD1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07e507c60de877cc9a916718215b49957c2c5300","datavalue":{"value":"https://doi.org/10.1007/bf01213204","type":"string"},"datatype":"url"},"type":"statement","id":"Q1338897$8580793C-A842-4F46-85CB-C8549ECF2F9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc5f616f4b0feb26c523ebec6b40db1f5037b597","datavalue":{"value":"W1990748731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338897$7A5DBB7D-7A36-4107-83E3-0A97CAEF3704","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c53b724f0761e36f67c50ee7849c90091d945a1","datavalue":{"value":{"entity-type":"item","numeric-id":3798295,"id":"Q3798295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a0b3bf7067a8c987838c0f9dfd75714da18834","datavalue":{"value":{"amount":"+0.88318956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$A7441E8A-554A-40CB-A0A8-CB199046AF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3358d6282ebe6fd48ffdecdf0ebf965b69f0661c","datavalue":{"value":{"entity-type":"item","numeric-id":3785905,"id":"Q3785905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ebe5a6d94d54f6b179137e18e8ec998be5a173","datavalue":{"value":{"amount":"+0.8790896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$AC009AD3-3487-4440-B56B-CFCB374579E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f12b98b536418771199bd243dd905bb927a235","datavalue":{"value":{"entity-type":"item","numeric-id":2074226,"id":"Q2074226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29706ebacbb2daa47b2c9bb02acf8bda371153ed","datavalue":{"value":{"amount":"+0.8747285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$61EA64FC-053B-4D90-A712-5141D3368D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0b469b4a9dad42e50b9552799e62c792402501","datavalue":{"value":{"entity-type":"item","numeric-id":1192209,"id":"Q1192209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de00ffc7d5c7e751b6bb8c1d6015d2df4638d6fb","datavalue":{"value":{"amount":"+0.87413025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$27B507F6-C1F2-4463-99DA-BF6F5A6B548F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e23f6f619ec65f1f31cb47d0acd81677830230","datavalue":{"value":{"entity-type":"item","numeric-id":1092679,"id":"Q1092679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f573e59dc1ecf2428bbcec1f4ea11d5ceca9b0","datavalue":{"value":{"amount":"+0.8728355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$6CE93843-B486-4FAE-B6BA-43F2B63A4F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d08b4f5dd1414c793c90fab8f306e85091eea55a","datavalue":{"value":{"entity-type":"item","numeric-id":5258482,"id":"Q5258482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8106b14e5b82a3e3bfc524e1a5a92522b4dba01e","datavalue":{"value":{"amount":"+0.8697803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$CA96CE3B-BE7D-41B6-AAA0-8EFAD5A03F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e15fef631af27afda6c342f2631a2923f234ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5758059,"id":"Q5758059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43bb0ef7a6035d96ddbeb0934dc1a03dbf13575","datavalue":{"value":{"amount":"+0.8685194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$C1188BF1-7053-4412-B6D8-1C17F9DAEDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197a8fbbadbaf6089c71317e8b619f67ab7caf6c","datavalue":{"value":{"entity-type":"item","numeric-id":3518282,"id":"Q3518282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43bb0ef7a6035d96ddbeb0934dc1a03dbf13575","datavalue":{"value":{"amount":"+0.8685194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$95E50F0E-798E-4DA2-AD3E-5ED8529F83EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e4b07503e1154651e302a8aefd7a6584dac74c","datavalue":{"value":{"entity-type":"item","numeric-id":2037950,"id":"Q2037950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b8a556b9b89205881db0680693e3c9f4fdce19","datavalue":{"value":{"amount":"+0.86851895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$176E5B3A-43C0-497F-B485-A91751F3412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47d832543c9e7a24c1d73861b478af304aba461","datavalue":{"value":{"entity-type":"item","numeric-id":4329270,"id":"Q4329270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3320259dd7928a20592790490b1ec05b19b3e43a","datavalue":{"value":{"amount":"+0.8678398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1338897$325D018D-7EB7-4D6E-99CF-94E14A751618","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Domain independence and the relational calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Domain_independence_and_the_relational_calculus"}}}}}