• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Data & Knowledge Engineering >Default databases f Extending the approach of deductive databases using default logic
【24h】

Default databases f Extending the approach of deductive databases using default logic

机译：默认数据库f使用默认逻辑扩展演绎数据库的方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Extending the relational data model using classical logic to give deductive databases has some significant benefits. In particular, classical logic rules offer an efficient representation: a universally quantified rule can represent many facts. However, classical logic does not support the representation of general rules or synonymously defaults. General rules are rules that are usually valid, but occasionally have exceptions. They are useful in a database since they can allow for the derivation of relations on the basis of incomplete information. The need for incorporating general rules into a database is reinforced when considering that participants in the development process may naturally describe rules for a deductive database in the form of general rules. In order to meet this need for using general rules in databases, we extend the notion of deductive databases. In particular, we use default logic, an extension of classical logic that has been developed for representing and reasoning with default knowledge, to formalize the use of general rules in deductive databases, to give what we call default databases. In this paper, we provide an overview of default logic, motivate its applicability to capturing general rules in databases, and then develop a framework for default databases. In particular, we propose a methodology for developing default databases that is based on entity-relationship modelling.
机译：使用经典逻辑扩展关系数据模型以提供演绎数据库具有一些明显的好处。特别地，经典逻辑规则提供了一种有效的表示方式：通用量化规则可以表示许多事实。但是，经典逻辑不支持通用规则的表示或默认的同义词。通用规则是通常有效的规则，但偶尔会有例外。它们在数据库中很有用，因为它们可以允许基于不完整的信息推导关系。当考虑到开发过程中的参与者可以自然地以通用规则的形式描述演绎数据库的规则时，将通用规则并入数据库的需求得到了加强。为了满足在数据库中使用通用规则的需求，我们扩展了演绎数据库的概念。特别是，我们使用默认逻辑，这是经典逻辑的扩展，已开发用于使用默认知识来表示和推理，用于规范化演绎数据库中通用规则的使用，以提供所谓的默认数据库。在本文中，我们提供了默认逻辑的概述，激发了其在数据库中捕获通用规则的适用性，然后为默认数据库开发了一个框架。特别是，我们提出了一种基于实体关系模型开发默认数据库的方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号