Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
404180 | Knowledge-Based Systems | 2008 | 5 Pages |
Abstract
In this paper, a necessary and sufficient condition on which a set of implications is complete is proposed with the help of the notion of model from logic. Besides, using the closure of an attribute subset to a set of implications, we present a formal method to remove the redundant implications from a complete set. Subsequently, we provide an algorithm to generate a complete set of implications and an illustrative example guarantees the availability of the algorithm.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Kai-She Qu, Yan-Hui Zhai,