单元表的等价性、满足覆盖性条件的表的等价性判定
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.
下载: