Algebraization of Inferring Functional Dependences in Relational Databases
- Autores: Pomortsev L.1,2, Tsurkov V.1,2
-
Afiliações:
- Moscow Institute of Aviation (National Research University)
- Dorodnicyn Computing Center, Federal Research Center Computer Science, Russian Academy of Sciences
- Edição: Volume 58, Nº 2 (2019)
- Páginas: 212-228
- Seção: Artificial Intelligence
- URL: https://journals.rcsi.science/1064-2307/article/view/220326
- DOI: https://doi.org/10.1134/S1064230719020151
- ID: 220326
Citar
Resumo
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.
Sobre autores
L. Pomortsev
Moscow Institute of Aviation (National Research University); Dorodnicyn Computing Center, Federal Research Center Computer Science,Russian Academy of Sciences
Autor responsável pela correspondência
Email: brickfactory.org@mail.ru
Rússia, 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
Autor responsável pela correspondência
Email: tsur@ccas.ru
Rússia, Moscow, 125993; Moscow, 119333