Зображення обкладинки

Formal semantics of aggregate operations of multiset table algebra

Мultiset table algebra is considered. The signature of multiset table algebra is filled up with aggregate operations. A formal mathematical semantics of these operations is defined.Prombles in programming 2014; 2-3: 166-173

Збережено в:

Бібліографічні деталі
Дата:	2025
Автор:	Glushko, I.M.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 004.655
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/708
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Outer Set Operations of Table Algebra of Infinite Tables
за авторством: Glushko, I.N.
Опубліковано: (2018)

About relationship between table algebra of infinite tables and multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2018)

Tuple calculus for multiset table algebra
за авторством: Lysenko, І.M.
Опубліковано: (2024)

About relationship between table algebra of infinite tables and multiset table algebra
за авторством: I. M. Hlushko
Опубліковано: (2018)

Designers sets and multisets of objects
за авторством: Terletskyi, D.O.
Опубліковано: (2025)

Topological and algebraical structures on the set of multisets
за авторством: O. M. Holubchak, та інші
Опубліковано: (2019)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Invention of a computer "Kyiv" architecture using a concept of Addressed Programming Language
за авторством: Yuschenko, Yu.O.
Опубліковано: (2022)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Matching data between electronic documents and database tables with automated SQL-query generation
за авторством: Marulin, S.Yu.
Опубліковано: (2025)

The interrelations between difference and projection and other signature operations in table algebra
за авторством: O. S. Senchenko
Опубліковано: (2021)

The interrelations between intercestion, union and other signature operations in table algebra
за авторством: A. S. Senchenko
Опубліковано: (2018)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)

Ontology-oriented data integration on the Semantic Web
за авторством: Chystyakova, I.S.
Опубліковано: (2025)

Table interpretation of the temporal description logic LTLALC
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2023)

Precise estimates of the time complexity of implementing the algorithms of set-theoretic operations in table algebra
за авторством: V. N. Redko, та інші
Опубліковано: (2017)

Using the whole image and restrictions in the research of properties of some signature operations in Table Algebra
за авторством: N. D. Kakhuta, та інші
Опубліковано: (2019)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Challenges and opportunities in the programming environment SEMANTIC WEB
за авторством: Andon, P.I., та інші
Опубліковано: (2015)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Integration of Semantic WEB technologies with Business Intelligence 2.0 systems
за авторством: Rogushina, J.V., та інші
Опубліковано: (2025)

Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Algebra for the description of data in the composite schemes of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2015)

Use of ontologies for personification of semantic retrieval
за авторством: Rogushina, J.V.
Опубліковано: (2018)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Semantic Wiki-resources and their use for the construction of personalized ontologies
за авторством: Rogushina, J.V.
Опубліковано: (2018)

Global open access resource aggregation services and their requirements for data providers
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2024)

Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures
за авторством: Manziuk, E.A., та інші
Опубліковано: (2023)

Classification of means and methods of the Web semantic retrieval
за авторством: Rogushina, J.V.
Опубліковано: (2018)

Overview of global open access resource aggregation services and their requirements for data providers
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2025)

Analysis of formal models and standards for structured electronic document in corporate informational system
за авторством: Sharypanov, A.V., та інші
Опубліковано: (2018)

Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)

The concept and evaluating of big data quality in the semantic environment
за авторством: Novitsky, A.V.
Опубліковано: (2023)

Modified model of the aggregated dead zone on examples of radionuclide transfer in natural hydrodynamic systems
за авторством: Sizonenko, V.P.
Опубліковано: (2024)