Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (Q941187)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics |
scientific article |
Statements
Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (English)
0 references
4 September 2008
0 references
clones of algebras
0 references
codd's algebra
0 references
functional completeness
0 references
lattice of maximal subalgebras
0 references
\(n\)-ary relation
0 references
composition of \(n\)-relations
0 references
functionality of n-relations
0 references
