|
|||||
|
|
Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics |
|
| Authors: | A E Doroshenko L M Zakhariya G E Tseitlin |
| Affiliation: | (1) Institute of Program Systems, National Academy of Sciences of Ukraine, Kiev, Ukraine |
| Abstract: | Clones of algebras of n-relations are examined. These clones include algebras equipotent to Codd’s algebra. The results obtained earlier for semigroup (grammatical and algorithmic) clones are extended to clones of algebras of functional n-relations. One-dimensional and multidimensional computing structures and related object domains are outlined. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 3–17, November–December 2007. |
| Keywords: | clones of algebras Codd’ s algebra functional completeness lattice of maximal subalgebras n-ary relation composition of n-relations functionality of n-relations |
| 本文献已被 SpringerLink 等数据库收录！ | |