Algebraization of Inferring Functional Dependences in Relational Databases
- Авторлар: Pomortsev L.1,2, Tsurkov V.1,2
-
Мекемелер:
- Moscow Institute of Aviation (National Research University)
- Dorodnicyn Computing Center, Federal Research Center Computer Science, Russian Academy of Sciences
- Шығарылым: Том 58, № 2 (2019)
- Беттер: 212-228
- Бөлім: Artificial Intelligence
- URL: https://journals.rcsi.science/1064-2307/article/view/220326
- DOI: https://doi.org/10.1134/S1064230719020151
- ID: 220326
Дәйексөз келтіру
Аннотация
The paper considers a closed automaton with six not more than two-address instructions called inference axioms. Its purpose is to transform the so-called functional dependences over an arbitrary finite set R called a scheme. We establish the possibility of a functionally equivalent replacement of algorithms for inferring functional dependences by algebraic expressions with one of the binary algebraic operations ▶ and ▷ with the addition of very simple nullary and unary operations (instructions) to them, which together comprise the universal D-algebra.
Авторлар туралы
L. Pomortsev
Moscow Institute of Aviation (National Research University); Dorodnicyn Computing Center, Federal Research Center Computer Science,Russian Academy of Sciences
Хат алмасуға жауапты Автор.
Email: brickfactory.org@mail.ru
Ресей, Moscow, 125993; Moscow, 119333
V. Tsurkov
Moscow Institute of Aviation (National Research University); Dorodnicyn Computing Center, Federal Research Center Computer Science,Russian Academy of Sciences
Хат алмасуға жауапты Автор.
Email: tsur@ccas.ru
Ресей, Moscow, 125993; Moscow, 119333