Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
1. Verfasser:	Glushko, I.M.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 004.655
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/708
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Outer Set Operations of Table Algebra of Infinite Tables
von: Glushko, I.N.
Veröffentlicht: (2018)

About relationship between table algebra of infinite tables and multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2018)

Tuple calculus for multiset table algebra
von: Lysenko, І.M.
Veröffentlicht: (2024)

About relationship between table algebra of infinite tables and multiset table algebra
von: I. M. Hlushko
Veröffentlicht: (2018)

Designers sets and multisets of objects
von: Terletskyi, D.O.
Veröffentlicht: (2025)

Outer Set Operations of Table Algebra of Infinite Tables
von: I. M. Glushko
Veröffentlicht: (2016)

Topological and algebraical structures on the set of multisets
von: O. M. Holubchak, et al.
Veröffentlicht: (2019)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Ontology-oriented data integration on the Semantic Web
von: Chystyakova, I.S.
Veröffentlicht: (2025)

Matching data between electronic documents and database tables with automated SQL-query generation
von: Marulin, S.Yu.
Veröffentlicht: (2025)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

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

Algebra for the description of data in the composite schemes of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2015)

Integration of Semantic WEB technologies with Business Intelligence 2.0 systems
von: Rogushina, J.V., et al.
Veröffentlicht: (2025)

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

Сoordinated description of algorithms within the framework of algebraic vehicle
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

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

Challenges and opportunities in the programming environment SEMANTIC WEB
von: Andon, P.I., et al.
Veröffentlicht: (2015)

Invention of a computer "Kyiv" architecture using a concept of Addressed Programming Language
von: Yuschenko, Yu.O.
Veröffentlicht: (2022)

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

Formal model of scientific publication
von: Reznichenko, V.A., et al.
Veröffentlicht: (2015)

Use of ontologies for personification of semantic retrieval
von: Rogushina, J.V.
Veröffentlicht: (2018)

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

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

Estimates of the complexity of algorithms of implementation of set-theoretic operation in table algebras
von: I. S. Kanarskaja
Veröffentlicht: (2016)

The interrelations between intercestion, union and other signature operations in table algebra
von: A. S. Senchenko
Veröffentlicht: (2018)

The interrelations between difference and projection and other signature operations in table algebra
von: O. S. Senchenko
Veröffentlicht: (2021)

Some equalities in table algebras
von: V. N. Redko, et al.
Veröffentlicht: (2014)

On the preservation of keys in the table algebras
von: A. S. Senchenko
Veröffentlicht: (2015)

Semantic Wiki-resources and their use for the construction of personalized ontologies
von: Rogushina, J.V.
Veröffentlicht: (2018)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures
von: Manziuk, E.A., et al.
Veröffentlicht: (2023)

Table interpretation of the temporal description logic LTLALC
von: Reznichenko, V.A., et al.
Veröffentlicht: (2023)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Classification of means and methods of the Web semantic retrieval
von: Rogushina, J.V.
Veröffentlicht: (2018)

Theoretical and applied aspects of relations and operations for sequences of time intervals
von: Kudym, K.A., et al.
Veröffentlicht: (2025)

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

Precise estimates of the time complexity of implementing the algorithms of set-theoretic operations in table algebra
von: V. N. Redko, et al.
Veröffentlicht: (2017)

Semantics and pragmatics of programming language ASAMPL
von: Sulema, Y.S., et al.
Veröffentlicht: (2020)