| Autor: |
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola Nikitchenko |
| Jazyk: |
angličtina |
| Rok vydání: |
2015 |
| Předmět: |
|
| Zdroj: |
Computer Science Journal of Moldova, Vol 23, Iss 3(69), Pp 270-288 (2015) |
| Druh dokumentu: |
article |
| ISSN: |
1561-4042 |
| Popis: |
In the paper we investigate the notion of nominative data that can be considered as a general mathematical model of data used in computing systems. The main attention is paid to flat nominative data called nominative sets. The structure of the partially-ordered set of nominative sets is investigated in terms of set theory, lattice theory, and algebraic systems theory. To achieve this aim the correct transferring of basic set-theoretic operations to nominative sets is proposed. We investigate a lower semilattice of nominative sets in terms of lower and upper cones, closed and maximal closed intervals of nominative sets. The obtained results can be used in formal software development. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
