메뉴 건너뛰기




Volumn 411, Issue 22-24, 2010, Pages 2155-2166

The multiple facets of the canonical direct unit implicational basis

Author keywords

Canonical direct unit basis; Closure operator; Closure system; Horn Boolean function; Implicational system; Lattice

Indexed keywords

CANONICAL BASIS; CLOSURE OPERATOR; CLOSURE OPERATORS; CLOSURE SYSTEMS; DATA ANALYSIS; FORMAL CONCEPT ANALYSIS; FUNCTIONAL DEPENDENCY; HORN FUNCTION; KNOWLEDGE STRUCTURES; MINIMAL PROPERTIES; NEW RESULTS; PRIME IMPLICANTS; RELATIONAL DATABASE;

EID: 77950957979     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2009.12.021     Document Type: Article
Times cited : (81)

References (43)
  • 3
    • 0001454571 scopus 로고
    • Dependency structures of database relationships
    • Armstrong W.W. Dependency structures of database relationships. Information Processing 74 (1974) 580-583
    • (1974) Information Processing , vol.74 , pp. 580-583
    • Armstrong, W.W.1
  • 4
    • 33644948832 scopus 로고    scopus 로고
    • Generalized domination in closure systems
    • Berry A., and San Juan E. Generalized domination in closure systems. Discrete Applied Mathematics 154 7 (2006) 1064-1084
    • (2006) Discrete Applied Mathematics , vol.154 , Issue.7 , pp. 1064-1084
    • Berry, A.1    San Juan, E.2
  • 6
    • 33749032675 scopus 로고    scopus 로고
    • Efficient algorithms on the Moore family associated to an implicational system
    • Bertet K., and Nebut M. Efficient algorithms on the Moore family associated to an implicational system. DMTCS 6 2 (2004) 315-338
    • (2004) DMTCS , vol.6 , Issue.2 , pp. 315-338
    • Bertet, K.1    Nebut, M.2
  • 9
    • 0003430859 scopus 로고
    • Finite automatas, their algebras and grammars
    • Springer Verlag, Berlin
    • Buchi J.R. Finite automatas, their algebras and grammars. Toward a Theory of Formal Expressions (1989), Springer Verlag, Berlin
    • (1989) Toward a Theory of Formal Expressions
    • Buchi, J.R.1
  • 11
    • 0037447220 scopus 로고    scopus 로고
    • The lattice of closure systems, closure operators and implicational systems on a finite set: A survey
    • Caspard N., and Monjardet B. The lattice of closure systems, closure operators and implicational systems on a finite set: A survey. Discrete Applied Mathematics 127 2 (2003) 241-269
    • (2003) Discrete Applied Mathematics , vol.127 , Issue.2 , pp. 241-269
    • Caspard, N.1    Monjardet, B.2
  • 12
    • 0014797273 scopus 로고
    • A relational model of data for large shared data banks
    • Codd E.F. A relational model of data for large shared data banks. Communications of the ACM 13 6 (1970) 377-387
    • (1970) Communications of the ACM , vol.13 , Issue.6 , pp. 377-387
    • Codd, E.F.1
  • 15
    • 0000079650 scopus 로고
    • Structure identification in relational data
    • Dechter R., and Pearl J. Structure identification in relational data. Artificial Intelligence 58 (1992) 237-270
    • (1992) Artificial Intelligence , vol.58 , pp. 237-270
    • Dechter, R.1    Pearl, J.2
  • 16
    • 0141549035 scopus 로고
    • Databases, closure operations and Sperner families
    • Frankl P., et al. (Ed), János Bolyai Mathematical Society, New Haven
    • Demetrovics J., and Nam-Son H. Databases, closure operations and Sperner families. In: Frankl P., et al. (Ed). Extremal Problems for Finite Sets (1991), János Bolyai Mathematical Society, New Haven 199-203
    • (1991) Extremal Problems for Finite Sets , pp. 199-203
    • Demetrovics, J.1    Nam-Son, H.2
  • 18
    • 0000345402 scopus 로고    scopus 로고
    • Latticial structures in data analysis
    • Duquenne V. Latticial structures in data analysis. Theoretical Computer Science 217 2 (1999) 407-436
    • (1999) Theoretical Computer Science , vol.217 , Issue.2 , pp. 407-436
    • Duquenne, V.1
  • 19
    • 0000720354 scopus 로고
    • Functional dependencies in a relational database and propositional logic
    • Fagin R. Functional dependencies in a relational database and propositional logic. IBM Journal of Research and Development 21 6 (1977) 534-544
    • (1977) IBM Journal of Research and Development , vol.21 , Issue.6 , pp. 534-544
    • Fagin, R.1
  • 20
    • 0346876953 scopus 로고    scopus 로고
    • Attribute exploration with background knowledge
    • Ganter B. Attribute exploration with background knowledge. Theoretical Computer Science 217 (1999) 215-233
    • (1999) Theoretical Computer Science , vol.217 , pp. 215-233
    • Ganter, B.1
  • 22
    • 0002483151 scopus 로고
    • Investigations into logical deduction
    • Szabo M.E. (Ed), North-Holland
    • Gentzen G. Investigations into logical deduction. In: Szabo M.E. (Ed). The Collected Papers of Gerhard Gentzen (1969), North-Holland
    • (1969) The Collected Papers of Gerhard Gentzen
    • Gentzen, G.1
  • 23
    • 0002819235 scopus 로고
    • Familles minimales d'implications informatives résultant d'un tableau de données binaires
    • Guigues J.L., and Duquenne V. Familles minimales d'implications informatives résultant d'un tableau de données binaires. Mathematiques & Sciences Humaines 95 (1986) 5-18
    • (1986) Mathematiques & Sciences Humaines , vol.95 , pp. 5-18
    • Guigues, J.L.1    Duquenne, V.2
  • 27
    • 0009893710 scopus 로고
    • Über Axiomensysteme für beliebige Satzsysteme
    • Hertz P. Über Axiomensysteme für beliebige Satzsysteme. Mathematische Annalen 101 (1927) 457-514
    • (1927) Mathematische Annalen , vol.101 , pp. 457-514
    • Hertz, P.1
  • 29
    • 0003115226 scopus 로고
    • On sentences which are true of direct unions of algebras
    • Horn A. On sentences which are true of direct unions of algebras. Journal of Symbolic Logic 16 (1951) 14-21
    • (1951) Journal of Symbolic Logic , vol.16 , pp. 14-21
    • Horn, A.1
  • 34
    • 0002707123 scopus 로고
    • The decision problem for some classes of sentences without quantifiers
    • McKinsey J.C.C. The decision problem for some classes of sentences without quantifiers. Journal of Symbolic Logic 8 (1943) 61-76
    • (1943) Journal of Symbolic Logic , vol.8 , pp. 61-76
    • McKinsey, J.C.C.1
  • 35
    • 38249020058 scopus 로고
    • Arrowian characterizations of latticial federation consensus functions
    • Monjardet B. Arrowian characterizations of latticial federation consensus functions. Mathematical Social Sciences 20 1 (1990) 51-71
    • (1990) Mathematical Social Sciences , vol.20 , Issue.1 , pp. 51-71
    • Monjardet, B.1
  • 36
    • 0141465207 scopus 로고    scopus 로고
    • The presence of lattice theory in discrete problems of mathematical social sciences
    • Monjardet B. The presence of lattice theory in discrete problems of mathematical social sciences. Why? Mathematical Social Sciences 46 2 (2003) 103-144
    • (2003) Why? Mathematical Social Sciences , vol.46 , Issue.2 , pp. 103-144
    • Monjardet, B.1
  • 37
    • 0141772360 scopus 로고
    • On a form of general analysis with applications to linear differential and integral equations
    • Roma
    • E.H. Moore, On a form of general analysis with applications to linear differential and integral equations, in: Atti del IV Congr. Int. dei Mat. II, Roma, 1909, pp. 98-114.
    • (1909) Atti del IV Congr. Int. dei Mat , vol.2 , pp. 98-114
    • Moore, E.H.1
  • 38
    • 0347143974 scopus 로고
    • Knowledge spaces and formal concept analysis
    • Bock H.H., and Polasek W. (Eds), Springer Verlag, Berlin
    • Rusch A., and Wille R. Knowledge spaces and formal concept analysis. In: Bock H.H., and Polasek W. (Eds). Data Analysis and Information Systems (1995), Springer Verlag, Berlin 427-436
    • (1995) Data Analysis and Information Systems , pp. 427-436
    • Rusch, A.1    Wille, R.2
  • 39
    • 0000460650 scopus 로고
    • Completeness and axiomatizability in many-valued logic
    • Henkin L., et al. (Ed), American Mathematical Society
    • Scott D. Completeness and axiomatizability in many-valued logic. In: Henkin L., et al. (Ed). Proceedings of the Tarski Symposium (1974), American Mathematical Society 411-435
    • (1974) Proceedings of the Tarski Symposium , pp. 411-435
    • Scott, D.1
  • 40
    • 85037056865 scopus 로고
    • Domains for denotational semantics
    • Berlin
    • Scott D.S. Domains for denotational semantics. Automata, Languages and Programming vol. 140 (1982), Berlin 577-613
    • (1982) Automata, Languages and Programming , vol.140 , pp. 577-613
    • Scott, D.S.1
  • 42
    • 0012991877 scopus 로고
    • Remarques sur les notions fondamentales de la méthodologie des mathématiques
    • Tarski A. Remarques sur les notions fondamentales de la méthodologie des mathématiques. Annales de la Société Polonaise de Mathématiques 7 (1929) 270-272
    • (1929) Annales de la Société Polonaise de Mathématiques , vol.7 , pp. 270-272
    • Tarski, A.1
  • 43
    • 0011603823 scopus 로고
    • A theory of finite closure spaces based on implications
    • Wild M. A theory of finite closure spaces based on implications. Advances in Mathematics 108 1 (1994) 118-139
    • (1994) Advances in Mathematics , vol.108 , Issue.1 , pp. 118-139
    • Wild, M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.