Cover Image

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

Saved in:

Bibliographic Details
Date:	2025
Main Author:	Glushko, I.M.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.655
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/708
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Outer Set Operations of Table Algebra of Infinite Tables
by: Glushko, I.N.
Published: (2018)

About relationship between table algebra of infinite tables and multiset table algebra
by: Glushko, I.M.
Published: (2018)

Tuple calculus for multiset table algebra
by: Lysenko, І.M.
Published: (2024)

About relationship between table algebra of infinite tables and multiset table algebra
by: I. M. Hlushko
Published: (2018)

Designers sets and multisets of objects
by: Terletskyi, D.O.
Published: (2025)

Outer Set Operations of Table Algebra of Infinite Tables
by: I. M. Glushko
Published: (2016)

Topological and algebraical structures on the set of multisets
by: O. M. Holubchak, et al.
Published: (2019)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Ontology-oriented data integration on the Semantic Web
by: Chystyakova, I.S.
Published: (2025)

Matching data between electronic documents and database tables with automated SQL-query generation
by: Marulin, S.Yu.
Published: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Integration of Semantic WEB technologies with Business Intelligence 2.0 systems
by: Rogushina, J.V., et al.
Published: (2025)

Algebra for the description of data in the composite schemes of algorithms
by: Akulovskiy, V.G.
Published: (2015)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Сoordinated description of algorithms within the framework of algebraic vehicle
by: Akulovskiy, V.G., et al.
Published: (2025)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

Challenges and opportunities in the programming environment SEMANTIC WEB
by: Andon, P.I., et al.
Published: (2015)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
by: Krivonos, Yu.G., et al.
Published: (2015)

Use of ontologies for personification of semantic retrieval
by: Rogushina, J.V.
Published: (2018)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
by: Pryima, S.M., et al.
Published: (2020)

Formal model of scientific publication
by: Reznichenko, V.A., et al.
Published: (2015)

Theoretical and applied aspects of relations and operations for sequences of time intervals
by: Kudym, K.A., et al.
Published: (2025)

Semantic Wiki-resources and their use for the construction of personalized ontologies
by: Rogushina, J.V.
Published: (2018)

Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures
by: Manziuk, E.A., et al.
Published: (2023)

Classification of means and methods of the Web semantic retrieval
by: Rogushina, J.V.
Published: (2018)

Estimates of the complexity of algorithms of implementation of set-theoretic operation in table algebras
by: I. S. Kanarskaja
Published: (2016)

Table interpretation of the temporal description logic LTLALC
by: Reznichenko, V.A., et al.
Published: (2023)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Analysis of formal models and standards for structured electronic document in corporate informational system
by: Sharypanov, A.V., et al.
Published: (2018)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

The interrelations between intercestion, union and other signature operations in table algebra
by: A. S. Senchenko
Published: (2018)

The interrelations between difference and projection and other signature operations in table algebra
by: O. S. Senchenko
Published: (2021)

Invention of a computer "Kyiv" architecture using a concept of Addressed Programming Language
by: Yuschenko, Yu.O.
Published: (2022)

Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)

Some equalities in table algebras
by: V. N. Redko, et al.
Published: (2014)

On the preservation of keys in the table algebras
by: A. S. Senchenko
Published: (2015)

Application of ontological analysis for metadata processing in the interpretation of BIG DATA at the semantic level
by: Rogushina, J.V., et al.
Published: (2021)