• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual ACM/IEEE Symposium on Logic in Computer Science >Querying Visible and Invisible Information
【24h】

Querying Visible and Invisible Information

机译：查询可见和不可见信息

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We provide a wide-ranging study of the scenario where a subset of the relations in the schema are visible - that is, their complete contents are known - while the remaining relations are invisible. We also have integrity constraints (invariants given by logical sentences) which may relate the visible relations to the invisible ones. We want to determine which information about a query (a positive existential sentence) can be inferred from the visible instance and the constraints. We consider both positive and negative query information, that is, whether the query or its negation holds. We consider the instance-level version of the problem, where both the query and the visible instance are given, as well as the schema-level version, where we want to know whether truth or falsity of the query can be inferred in some instance of the schema.
机译：我们对方案中关系的子集可见（即知道其全部内容）而其余关系不可见的情况进行了广泛的研究。我们还具有完整性约束（由逻辑语句给出的不变式），这可能将可见关系与不可见关系联系起来。我们要确定可以从可见实例和约束条件中推断出有关查询的信息（肯定的存在句子）。我们同时考虑肯定和否定查询信息，即查询是否成立或否定成立。我们考虑问题的实例级版本，在其中给出查询和可见实例，以及架构级版本，在这里我们想知道在某些情况下是否可以推断查询的真伪。模式。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号