首页> 外文会议>Proceedings of the ITI 2011 33rd International Conference on Information Technology Interfaces >Implementing a Logic System for testing functional independent normal form in relational databases
【24h】

Implementing a Logic System for testing functional independent normal form in relational databases

机译:实施逻辑系统以测试关系数据库中功能独立的规范形式

获取原文

摘要

A deductive system for database normalization is implemented by using a Flora-2 reasoning engine. The system allows for checking a relational schema up to Boyce-Codd normal form (BCNF) and functional independent normal form (FINF). Examples of system usage are presented and discussed.
机译:通过使用Flora-2推理引擎来实现用于数据库规范化的演绎系统。该系统允许检查关系模式,直到最高Boyce-Codd范式(BCNF)和功能独立范式(FINF)。介绍并讨论了系统用法的示例。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号