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