Set-theoretic Analysis of Nominative Data

Abstract

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.

Keywords

• nominative set
• nominative data
• set theory
• lattice theory
• algebraic system
• lower semilattice
• lower and upper cones
• closed intervals