Semantic entailment of attribute-dependency formulas and their non-redundant bases
Authors
Corresponding Author
Radim Belohlavek
Available Online October 2006.
- DOI
- 10.2991/jcis.2006.234How to use a DOI?
- Keywords
- attribute dependency, formal concept analysis, interior operators, logic in computer science, non-redundant basis
- Abstract
AD-formulas are simple formulas representing particular dependencies in data tables. We study AD-formulas from the logical point of view. In particular, we present results regarding the relationship of AD-formulas to attribute implications, models and entailment of AD-formulas, non-redundant bases, and computation of non-redundant bases.
- Copyright
- © 2006, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Radim Belohlavek AU - Vilem Vychodil PY - 2006/10 DA - 2006/10 TI - Semantic entailment of attribute-dependency formulas and their non-redundant bases BT - Proceedings of the 9th Joint International Conference on Information Sciences (JCIS-06) PB - Atlantis Press SP - 352 EP - 355 SN - 1951-6851 UR - https://doi.org/10.2991/jcis.2006.234 DO - 10.2991/jcis.2006.234 ID - Belohlavek2006/10 ER -