Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

The independence of the Armstrong’s axiomatic system and algebra of functional dependencies

Bui D.1, Puzikova A.1
1 Taras Shevchenko National University of Kyiv

Full text (PDF)

UDC: 004.65
Publication Language: Ukrainian
Stuc. intelekt. 2015; 20(1-2):121-126

Abstract: We establish the independence of the Armstrong’s axiomatic system (as for the functional dependences of relational databases) and built the algebra of functional dependencies with operations that are induced by components of this axiomatics.

Keywords: relational databases, Armstrong’s axiomatic system, functional dependencies.

References:

  1. Bui D.B. Completeness of Armstrong’s axiomatic / D.B. Bui, A.V. Puzikova // In Bulletin of TarasShevchenko National University of Kyiv. Series Physics & Mathematics. Volume 3, 2011. – P. 103-108.
  2. Bui D.B. Completeness criteria of Armstrong’s axiomatic / D.B. Bui, A.V. Puzikova // The EightInternational Conference "Theoretical and Applied Aspects of Program Systems Development(TAAPSD'2011). Abstracts (Ukraine, Yalta, 19-23 September 2011).  Kirovograd: Avangard, 2011. –P. 30-34.
  3. Maltsev А.І. Algorithms and computational functions.  Moscow: Nauka, 1965.  392 р.

View full text (PDF)