Proceedings of the 9th Joint International Conference on Information Sciences (JCIS-06)

Semantic entailment of attribute-dependency formulas and their non-redundant bases

Authors
Radim Belohlavek1, Vilem Vychodil
1Palacky University
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/).

Download article (PDF)

Volume Title
Proceedings of the 9th Joint International Conference on Information Sciences (JCIS-06)
Series
Advances in Intelligent Systems Research
Publication Date
October 2006
ISBN
10.2991/jcis.2006.234
ISSN
1951-6851
DOI
10.2991/jcis.2006.234How to use a DOI?
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  -