Властивості алгебр складноіменних даних
Loading...
Date
2010
Authors
Іванов, Є. В.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
У статті розглянуто питання побудови та дослідження алгебр номінативних даних зі складними
іменами у рамках композиційно-номінативного підходу. Визначено сім’ю алгебр складноіменних даних
і встановлено властивості операцій цих алгебр. Доведено нерозв’язність елементарної теорії алгебри
складноіменних даних навіть із порожнім класом базових значень.
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.
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.
Description
Keywords
номінативні дані, композиційно-номінативний підхід, стаття, nominative data, composition-nominative approach
Citation
Іванов Є. Властивості алгебр складноіменних даних / Іванов Є. В. // Наукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112. - С. 95-102.