节点文献

单元表的等价性、满足覆盖性条件的表的等价性判定

THE EQUIVALENCE DECISIONS OF UNIT TABLE AND COVERING CONDITIONAL TABLE

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 郝忠孝; 张英慧; 刘玉峰; 任家东;

【Author】 HAO Zhong Xiao ZHANG Ying Hui LIU Yu Feng REN Jia Dong (Harbin Institute of Technology, Harbin 150001)

【机构】 哈尔滨工业大学;

【摘要】 文中提出了单元表、满足覆盖性条件的表等概念,给出了针对每种表的等价性判定方法.

【Abstract】 The concepts of unit table, covering conditional table, etc . are proposed. The methods for equivalence decision of unit table and covering conditional table are given.

【关键词】 单元表; 覆盖性条件; 等价; 判定;
【Key words】 unit table; covering condition; equivalence; decision;
  • 【文献出处】 计算机研究与发展 ,JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT , 编辑部邮箱 ,1997年S1期
  • 【分类号】TP391.4
  • 【下载频次】30
节点文献中: 

本文链接的文献网络图示:

本文的引文网络