Взаємозв’язок між розширеною табличною алгеброю нескінченних таблиць та розширеною мультимножинною табличною алгеброю

Abstract

Робота зосереджена на деяких теоретичних питаннях табличних баз даних. Розглянуто два математичні формалізми, такі як розширена таблична алгебра нескінченних таблиць та розширена мультимножинна таблична алгебра. Дано основні визначення, що стосуються цих формалізмів. Розглянуто взаємозв’язок між розширеною табличною алгеброю нескінченних таблиць та розширеною мультимножинною табличною алгеброю. Доведено, що розширена таблична алгебра нескінченних таблиць замкнена відносно додаткових операцій розширеної мультимножинної табличної алгебри.

The paper is focused on some theoretical questions of the table databases. Two mathematical formalisms such as extended table algebra of infinite tables and extended multiset table algebra are considered. Basic definitions referring to these formalisms are given. This paper also is dedicated to the topic of the relationship between extended table algebra of infinite tables and extended multiset table algebra. It is proved that extended table algebra of infinite tables is closed with respect to the additional operations of extended multiset table algebra.