Іванов, Є. В.2018-05-152018-05-152010Іванов Є. Властивості алгебр складноіменних даних / Іванов Є. В. // Наукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112. - С. 95-102.https://ekmair.ukma.edu.ua/handle/123456789/12988У статті розглянуто питання побудови та дослідження алгебр номінативних даних зі складними іменами у рамках композиційно-номінативного підходу. Визначено сім’ю алгебр складноіменних даних і встановлено властивості операцій цих алгебр. Доведено нерозв’язність елементарної теорії алгебри складноіменних даних навіть із порожнім класом базових значень.In the article the problem of defining and developing algebras of nominative data with complex names within composition-nominative approach is considered. A class of algebras of complex-named data is defined and properties of the operations of these algebras are investigated. Elementary theory of algebra of complex-named data even with empty class of base values is shown to be undecidable.ukномінативні данікомпозиційно-номінативний підхідстаттяnominative datacomposition-nominative approachArticle