A query is independent of an update if executing the update cannot change the result of evaluating the query. The theorems of this paper give methods for proving independence in concrete cases, taking into account integrity constraints, recursive rules, and arbitrary queries. First we define the notion of independence model-theoretically, and we prove basic properties of the concept. Then we provide proof-theoretic conditions for a conjunctive query to be independent of an update. Finally, we prove correct an induction scheme for showing that a recursive query is independent of an update.
如果执行更新不能更改评估查询的结果,则查询独立于更新。本文的定理给出了在具体情况下证明独立性的方法,其中考虑了完整性约束,递归规则和任意查询。首先,我们从理论上定义独立模型的概念,然后证明这一概念的基本性质。然后,我们为联合查询提供独立于更新的证明理论条件。最后,我们证明了证明递归查询独立于更新的归纳方案是正确的。 P>
机译:作为数据库的世界:关于软件开发,查询方法和解释性独立性的关系
机译:查询经济网络独立性的分层数据库模型
机译:安全性,领域独立性和复杂值数据库查询的翻译
机译:基于类型的XML查询更新独立性检测
机译:在Web数据库中根据质量合同管理查询和更新交易
机译:等位基因频率网数据库(AFND)2020更新:黄金标准数据分类开放获取基因型数据和新的查询工具
机译:基于类型的XML查询更新独立性检测
机译:近似数据库查询和更新