节点文献
单元表的等价性、满足覆盖性条件的表的等价性判定
THE EQUIVALENCE DECISIONS OF UNIT TABLE AND COVERING CONDITIONAL TABLE
【摘要】 文中提出了单元表、满足覆盖性条件的表等概念,给出了针对每种表的等价性判定方法.
【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.
- 【文献出处】 计算机研究与发展 ,JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT , 编辑部邮箱 ,1997年S1期
- 【分类号】TP391.4
- 【下载频次】30