| Creator |
|
|
|
|
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| First Page |
|
| Last Page |
|
| Publication Type |
|
| Access Rights |
|
| Crossref DOI |
|
| Related DOI |
|
|
|
| Related URI |
|
|
|
| Relation |
|
|
|
| Abstract |
Formal concept analysis is a mathematical field applied to data mining. Usually, a formal concept is defined as a pair of sets, called extents and intents, for a given formal context in binary relatio...n. In this paper we review the idea that Armstrong’s inference rules are complete and sound for functional dependencies. Then, we prove that Armstrong’s inference rules are complete and sound for implications of formal contexts. Still, we give an example which shows the difference between implication and functional dependency. Besides, we show that functional dependency can be reduced to implication. Finally, we give the condition on which a set of implications and a set of functional dependencies for the intensional context are equivalent.show more
|
Export Mendeley
p101