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 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2025
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/708 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programming| _version_ | 1859477030176817152 |
|---|---|
| author | Glushko, I.M. |
| author_facet | Glushko, I.M. |
| author_sort | Glushko, I.M. |
| baseUrl_str | https://pp.isofts.kiev.ua/index.php/ojs1/oai |
| collection | OJS |
| datestamp_date | 2025-04-09T22:22:32Z |
| description | М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 |
| first_indexed | 2025-07-17T09:47:58Z |
| format | Article |
| fulltext |
Моделі і засоби систем баз даних і знань
© І.М. Глушко, 2014
166 ISSN 1727-4907. Проблеми програмування. 2014. № 2–3. Спеціальний випуск
УДК 004.655
ФОРМАЛЬНА СЕМАНТИКА АГРЕГАТНИХ ОПЕРАЦІЙ
МУЛЬТИМНОЖИННОЇ ТАБЛИЧНОЇ АЛГЕБРИ
І.М. Глушко
Ніжинський державний університет імені Миколи Гоголя,
16600, Ніжин, вул. Кропив’янського 2,
glushkoim@gmail.com
Розглянуто мультимножинну табличну алгебру. Сигнатура мультимножинної табличної алгебри поповнена агрегатними операція-
ми. Задано формальну математичну семантику цих операцій та наведено приклади їх застосування.
М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.
Вступ
Реляційна модель даних на сьогодні широко використовується як у наукових дослідженнях в базах да-
них, так і на практиці. У формальному визначенні, запропонованому Е. Коддом [1], дана модель базується на
множинах кортежів, тобто не дозволяє дублікати кортежів у відношенні. Багато мов, орієнтованих на роботу з
базами даних, вимагають реляційну модель даних з мультимножинною семантикою (multi-set semantics) тому,
що, по-перше, відношення, які дозволяють дублікати, корисні в багатьох прикладних областях, де об'єкти-
дублікати можуть існувати; по-друге, в реляційній моделі даних видалення дублікатів після виконання операцій
проекції та об’єднання передбачає злиття однакових елементів або здійснення інших трудомістких дій.
Питанню використання мультимножин в базах даних приділяли увагу Paul W.P.J. Grefen та Rolf A. de By
[2], G. Lamperti, M. Melchiori, M. Zanella [3], Г. Гарсіа-Моліна, Дж. Ульман, Дж. Уидом [4], A. Silbeschatz,
H. Korth, S. Sudarshan [5], Д.Б. Буй, С.А. Поляков, Ю.Й. Брона, В.Н. Редько [6]. Разом з тим, в жодній із зазна-
чених робіт не приділяється увага агрегатним операціям над таблицями мультимножинної табличної алгебри.
Мультимножини: основні поняття
Наведемо основні поняття мультимножин в термінах роботи [6]. Зафіксуємо деяку множину U . Під му-
льтимножиною з основою U будемо розуміти відображення вигляду NU : , де ,...}2,1{N – множина
натуральних чисел.
Нехай D – універсум елементів основ мультимножин, тоді булеан )(DP – універсум основ мультимно-
жин. Під характеристичною функцією мультимножини розуміємо функцію вигляду ZD: , значення
якої задається наступною кусковою схемою:
інакше;,0
,domякщо),(
)(
dd
d
для всіх Dd , де Z
–
множина цілих невід’ємних чисел..
Мультимножина називається порожньою і позначається як m , якщо її основа – порожня множина.
Мультимножини, областю значень яких є порожня множина або одноелементна множина вигляду {1},
називаються 1-мультимножинами. Дані мультимножини є аналогами звичайних множин.
Домовимося мультимножину з основою },...,{ 1 kdd записувати як },...,{ 1
1
kn
k
n
dd , де in – кількість дуб-
лікатів (екземплярів) елемента id у мультимножині , ki ,...,1 .
Під рангом скінченної мультимножини розуміємо суму дублікатів елементів її основи
Ud
d)( , де U – основа мультимножини . Зрозуміло, що 0m .
Мультимножина включається у мультимножину ( ), якщо:
ddUddUU & .
Якщо , то мультимножина називається підмультимножиною мультимножини , а мультимно-
жина – надмультимножиною мультимножини . Очевидно, що порожня мультимножина є підмультимно-
жиною будь-якої мультимножини ( ,m ), а будь-яка мультимножина є своєю ж підмультимножиною
( , ).
Моделі і засоби систем баз даних і знань
167
Мультимножинна таблична алгебра
Розглянемо дві множини: A – множину атрибутів і D – універсальний домен. Довільну скінченну мно-
жину атрибутів AR назвемо схемою.
Рядком схеми R називається іменна множина на парі R , D , проекція якої за першою компонентою рі-
вна R (тобто по суті розглядається функція вигляду DRs : ). Множину всіх рядків схеми R позначимо
)(RS , а множину всіх рядків – S . Для позначення відсутніх значень у таблиці використовується особливий
елемент універсального домену NULL . Позначимо NULL
Rs – константний рядок схеми R , тобто
}{: NULLRsNULL
R .
Задамо поняття таблиці як пари R, , де перша компонента – це довільна мультимножина, зокрема,
нескінченна, а друга компонента R – схема таблиці.
Таким чином, кожній таблиці приписується певна схема. Множину всіх таблиць схеми R позначимо
)(R , а множину всіх таблиць
A
)(
R
R .
Позначимо ),( sOcc – кількість дублікатів (екземплярів) рядка s у мультимножині . Домовимося му-
льтимножину записувати як },,...,{ 1
1 kn
k
n
ss , де ),( ii sOccn , ,2,1i , а },,...,{)( 1 kss – основа
мультимножин .
Під мультимножинною табличною алгеброю розуміємо алгебру ,, P , де – множина всіх таб-
лиць,
,
A,,,
,
,
,,
,,,
,
21
21
~,,,,,\,,
Pp
RRRX
RR
RR
RXRp
R
All
R
All
R
AllP Rt – сигнатура, P , – множини параметрів.
Задамо операції. Під об’єднанням R
All (перетином R
All , різницею R
All\ ) таблиць схеми R розуміється
бінарна (параметрична) операція, отримана обмеженням однойменних операцій All , All , All\ над мультим-
ножинами на множину всіх таблиць схеми R .
Розглянемо кожну операцію окремо. Позначимо через )( 1 і )( 2 – основи мультимножин 1 та 2
відповідно. Таким чином,
)()()(: RRRR
All , RRR All
R
All ,,, 2121 .
Основа мультимножини 21 All дорівнює об’єднанню основ мультимножин таблиць-аргументів:
)()()( 2121 All .
Дублікати рядків, які з’явилися після виконання операції, не вилучаються. Кількість дублікатів кожного
рядка визначається за формулою:
);()(якщо),,(),(
),(\)(якщо),,(
),(\)(якщо),,(
),(
2121
122
211
21
ssOccsOcc
ssOcc
ssOcc
sOcc All
де )()( 21 s .
)()()(: RRRR
All , причому RRR All
R
All ,,, 2121 .
Основа мультимножини 21 All дорівнює перетину основ мультимножин таблиць-аргментів:
)()()( 2121 All ,
а кількість дублікатів рядка визначається як
),(),,(min),( 2121 sOccsOccsOcc All , де )()( 21 s .
)()()(:\ RRRR
All , причому RRR All
R
All ,\,\, 2121 , де R,1 , ).(,2 RR
Основа мультимножини 21 \ All визначається як ),()(\)()\( 212121 CAll , де
),(),()()(|),( 212121 sOccsOccssC .
Кількість дублікатів знаходиться так:
),,(якщо),,(),(
),(\)(якщо),,(
)\,(
2121
211
21
CssOccsOcc
ssOcc
sOcc All
Моделі і засоби систем баз даних і знань
168
де ),()(\)( 2121 Cs .
Нехай },{
~
: falsetrueSp – частковий предикат на множині рядків. Під селекцією за предикатом p
таблиць схеми R розуміється унарна часткова параметрична операція Rp, , яка таблиці зіставляє її підтабли-
цю, що містить рядки, на яких предикат p істинний (крім того, предикат p має бути визначеним на всіх ряд-
ках таблиці-аргументу).
Отже,
)(
~
)(:, RRRp , pdomRdom Rp )(|,, , RRRp ,',, ,
де )(, RR .
Областю означеності операції селекції є таблиці )(, RR , які містять рядки )(RSs , на яких пре-
дикат-параметр селекції p визначений. Надалі розглядаємо тільки предикати-параметри вигляду
trueAsAstruesp m ))(),...,((p)( 1 , де p – предикат на універсальному домені, а атрибути mAA ,...,1 нале-
жать схемі рядка s .
Основа мультимножини результуючої таблиці визначається як: }~)()(|{)( truespss , де ~ –
узагальнена рівність (тобто обидві частини або одночасно не визначені або одночасно визначені і рівні).
В залежності від значення предиката на рядку s усі дублікати цього рядка або входять до мультимножи-
ни отриманої таблиці, або ні: ),,(),( sOccsOcc де )'(s . Зазначимо, що операція селекції не породжує
нові дублікати рядка.
Нехай AX – скінченна множина атрибутів. Під проекцією за множиною атрибутів X таблиць схеми
R розуміється унарна параметрична операція RX , , значеннями якої є таблиці схеми XR , що складаються з
обмежень за X рядків вихідних таблиць.
Отже, )()(:, XRRRX , XRRRX ,,, , де )(, RR .
Основа мультимножини визначається як )}(||{)( sXs .
Дублікати рядків, які з’явилися після виконання операції, не вилучаються. Кількість дублікатів кожного
рядка визначається за формулою:
sXs
s
sOccsOcc
|
),(
),(),(
, де )( s .
Під з’єднанням таблиць схем 1R , 2R розуміється бінарна параметрична операція
21,RR
, значеннями якої є
таблиці схеми 21 RR , що складаються з усяких об’єднань сумісних рядків вихідних таблиць.
Отже,
)()()(: 2121
, 21
RRRR
RR
, 2122
,
11 ,,,
21
RRRR
RR
,
де ),(, 111 RR )(, 222 RR . Змістовно кажучи, кожний рядок з 1 з’єднується з кожним рядком із
2 , незалежно від того – дублікат це чи ні.
Основою мультимножини є множина рядків
2121221121 ')()(|')( ssssssssss .
Кількість дублікатів знаходиться так: ),,|'(),|'(),'( 2211 RsOccRsOccsOcc де )'(' s .
Введемо операцію перейменування. Під перейменуванням таблиць схеми R розуміється унарна параме-
трична операція RR , , де AA
~
: – ін’єктивне відображення на множині атрибутів, що здійснює перейме-
нування атрибутів вихідних таблиць згідно з відображенням-параметром . Перейменувати таблицю означає
перейменувати атрибути її схеми, тобто перейменувати рядки таблиці. Перейменування рядків будемо здійс-
нювати відповідно до [6].
Нехай AA: – функція перейменування атрибутів. Під перейменуванням рядків, що відповідає фун-
кції перейменування атрибутів , розуміється відображення SSRs : , sAAsAsRs 2
1|)(),()( , при-
чому \domξAid .
Схема R називається -допустимою, якщо )\(][ domRR . Тут ][R – повний образ множини
R відносно функції . Множину таблиць схеми R , де схема R -допустима позначимо )(R .
Моделі і засоби систем баз даних і знань
169
Під перейменуванням таблиць схеми R , що відповідає ін’єктивній частковій функції перейменування
атрибутів AA
~
: , розуміється унарна параметрична операція RR , з областю означеності )(R , значен-
ня якої задаються таким чином: ][],[,, RRsRR R , де )(R , \domAid , ][Rs – пов-
ний образ мультимножини з основою )( відносно функції Rs .
Основою мультимножини ][Rs є повний образ множини )( відносно функції RRs , . А кількість
дублікатів рядка у результуючій таблиці задається рівністю
),(][, sOccRssOcc ,
де )(1 sRss
, )( s .
Введемо операцію активного доповнення. Для цього введемо декілька допоміжних понять.
Активним доменом атрибута RA відносно таблиці R, називається таблиця
RD RAA ,},{, .
Насиченням таблиці R, є таблиця
RRRC RA
AAAAA
RA n
nn
,...,, },{
}{},,...,{}{},{
},{
1121
1
.
Під активним доповненням таблиці схеми R розуміється унарна параметрична операція R~ , яка таблиці
зіставляє доповнення в її насиченні.
Отже, R~ :
)()( RR , RRCR R
AllR ,\,,~ , де )(, RR .
Твердження. Мають місце наступні твердження:
1) будь-який вираз мультимножинної табличної алгебри можна замінити еквівалентним йому виразом,
який використовує лише операції селекції, з’єднання, проекції, об’єднання, різниці та перейменування;
2) будь-який вираз мультимножинної табличної алгебри, який містить лише скінченні таблиці можна за-
мінити еквівалентним йому виразом, який використовує сталі таблиці з єдиним атрибутом і єдиним рядком,
операції селекції, з’єднання, проекції, об’єднання, різниці й перейменування.
Агрегатні операції
Широко використовуваними агрегатними операціями є Sum , Avg , Min , Max , Count . Так, операція
Sum розраховує суму значень у відповідному стовпці заданої таблиці, при цьому значення NULL ігнорують-
ся. Операція Avg визначає середнє арифметичне значень у відповідному стовпці заданої таблиці, при цьому
значення NULL ігноруються. Операції Min та Max знаходять найменше та найбільше значення у відповід-
ному стовпці заданої таблиці, при цьому значення NULL так само ігноруються. Операція Count визначає
кількість значень, відмінних від NULL , у відповідному стовпці заданої таблиці. Операція )(Count визначає
кількість рядків у заданій таблиці.
Нехай )(, RR , причому – скінченна мультимножина і A – деякий атрибут схеми R , RA .
Позначимо через A – мультимножину, яка містить всі елементи стовпця з атрибутом A таблиці R, . Тоді
,AA D , де RD RAA ,,, – активний домен атрибута A відносно таблиці R, . Нехай
}2)(|{2 'D'D m – сім’я всіх мультимножин, основи яких є скінченними підмножинами множини 'D ; тут
DD ' – підмножина універсального домену.
Нехай Num – числова підмножина універсального домену D , замкнена відносно додавання. Множина
Num розширена включенням особливого елемента NULL , але при цьому операція додавання на випадок, коли
хоча б один з аргументів є NULL не розширюється.
Задамо агрегатні операції Sum , Avg , Min , Max , Count . Їхніми аргументами є скінченні таблиці, а зна-
ченнями – одноатрибутні таблиці з одним рядком. Загальна схема: спочатку на скінченній мультимножині ви-
значаються функції сумування, взяття найменшого та найбільшого значення, визначення середнього арифмети-
чного і кількості елементів, а потім ці функції переносяться на таблиці.
Під операцією агрегування RASum , за атрибутом A (скінченних) таблиць схеми R , RA , розуміється
унарна параметрична операція вигляду
Моделі і засоби систем баз даних і знань
170
})({)(:, ARSum RA , }{,)(,,
1
, ASumARSum ARA ,
де )(, RR , а Sum – функція, що повертає суму значень стовпця з атрибутом A таблиці R, (ці зна-
чення можуть повторюватися), які відрізняються від значення NULL , крім того, цей стовпець містить лише
дані числового типу. Отже,
{NULL}d
AA
A
A
A
A
NULLdd
NULLNULL
NULL
Sum
\)(
.}{\)(якщо),(
};{)(якщо,
;)(якщо,
)(
Верхній індекс 1 вказує на те, що рядок })(,{ ASumA входить у результуючу таблицю лише один раз,
тобто кількість дублікатів даного рядка дорівнює однин.
Таким чином,
NULLSum m )( , NULLNULLSum n })({ ,
k
i
ii
n
k
n
ndddSum k
1
1 ,,1 ,
в припущенні, що всі елементи id відрізняються від елемента NULL .
Для випадку порожньої таблиці R, операція агрегування RASum , застосовується так:
}{,,,
1
, ANULLARSum RA .
Приклад 1. Серед студентів фізико-математичного факультету було проведено анонімне опитування на
визначення рівня самооцінки. Проаналізовано відповіді 6 учасників вибраних довільним чином з кожного фа-
культету. Дані відображені в таблиці RФМ , , де },,,{ DCBAR (див. таблицю). Атрибути схеми R – це за-
питання, дані в таблицях – це відповіді студентів.
Запитання (атрибути):
A – чи турбуєтеся Ви за свій психічний стан?
B – чи турбуєтеся Ви про своє майбутнє?
C – чи боїтеся Ви виступати з промовою перед незнайомими людьми?
D – чи часто Ви робите помилки?
Варіанти відповіді:
1 – часто;
2 – іноді;
3 – рідко;
4 – ніколи.
Таблиця
A B C D
4 2 4 3
4 2 4 3
4 2 4 3
4 3 3 2
4 3 3 2
3 3 3 1
Позначимо рядки:
}3,,4,,2,,4,{1 DCBAs , }2,,3,,3,,4,{2 DCBAs ,
}1,,3,,3,,3,{3 DCBAs ,
тоді },{ 1
3
2
2
3
1 s,ssФМ .
Моделі і засоби систем баз даних і знань
171
Тоді в результаті застосування операції агрегування RASum , до таблиці RФМ , за атрибутами
DCBA ,,, отримаємо таблиці:
}{}},23,{{, AASum RA , }{}},15,{{, BBSum RB ,
}{}},21,{{, CCSum RC , }{}},14,{{, DDSum RD .
Нехай ≤ – лінійний порядок на універсальному домені D . Під операцією агрегування RAMin , за атрибу-
том A (скінченних) таблиць схеми R , RA , розуміється унарна параметрична операція вигляду:
})({)(:, ARMin RA , де }{,)(,,
1
, AMinARMin ARA ,
причому )(, RR , а Min – функція, що повертає найменше значення серед значень стовпця з атрибутом
A таблиці R, , відмінних від значення NULL , тобто D
D mMin 2: ,
.}{\)(}},{\)(|min{
};{)(,
;)(,
)(
NULLякщоNULLdd
NULLякщоNULL
якщоNULL
Min
AA
A
A
A
Таким чином, NULLMin m )( , NULLNULLMin n })({ , },,min{,, 11
1
k
n
k
n
ddddMin k , в припу-
щенні, що всі елементи id , ki ,1 , відрізняються від елемента NULL .
Для випадку порожньої таблиці R, операція агрегування RAMin , застосовується так:
}{,,,
1
, ANULLARtMin RA .
Приклад 2. Розглянемо таблицю із приклада 1. Застосуємо операцію агрегування RAMin , до таблиці
RФМ , за атрибутами DCBA ,,, отримаємо таблиці:
}{}},3,{{, AAMin RA , }{}},2,{{, BBMin RB ,
}{}},3,{{, CCMin RC , }{}},1,{{, DDMin RD .
Під операцією агрегування RAMax , за атрибутом A (скінченних) таблиць схеми R , RA , розуміється
унарна параметрична операція вигляду:
})({)(:, ARMax RA , }{,)(,,
1
, AMaxARMax ARA ,
де )(, RR , а Max – функція, що повертає найбільше значення серед значень стовпця з атрибутом A
таблиці R, , відмінних від NULL , тобто D
D mMax 2: ,
.}{\)(якщо}},{\)(|max{
};{)(якщо,
;)(якщо,
)(
NULLNULLdd
NULLNULL
NULL
Max
AA
A
A
A
Таким чином, NULLMax m )( , NULLNULLMax n })({ , },,max{,, 11
1
k
n
k
n
ddddMax k , в припу-
щенні, що всі елементи id , ki ,1 , відрізняються від значення NULL .
Для випадку порожньої таблиці R, операція агрегування RAMax , застосовується так:
}{,,,
1
, ANULLARMax RA .
Приклад 3. Застосуємо операцію агрегування RAMax , до таблиці RФМ , за атрибутами DCBA ,,,
отримаємо таблиці:
}{}},4,{{, AAMax RA , }{}},3,{{, BBMax RB ,
Моделі і засоби систем баз даних і знань
172
}{}},4,{{, CCMax RC , }{}},3,{{, DDMax RD .
Зазначимо, що функції Min та Max визначають найменший або найбільший елемент основи мультим-
ножини A серед елементів основи, відмінних від NULL , тому порівнянність особливого елемента NULL з
рештою елементів універсального домену в даному випадку неістотна.
Під операцією агрегування RACount , за атрибутом A (скінченних) таблиць схеми R , RA , розумієть-
ся унарна параметрична операція вигляду:
})({)(:, ARCount RA , }{,)(,,
1
, ACountARCount ARA ,
де )(, RR , а Count – функція, що повертає кількість значень, відмінних від NULL , з урахуванням дуб-
лікатів, у стовпці з атрибутом A таблиці R, , тобто:
ZCount m
D2: ,
{NULL}d
AA
A
dCount
\)(
)()(
;
покладається за означенням, що сума порожньої множини доданків дорівнює нулю.
Таким чином, 0)( mCount , 0})({ nNULLCount , k
n
k
n
nnddCount k 11 ,,1 , в припущенні, що
всі елементи id , ki ,1 , відрізняються від елемента NULL .
Для випадку порожньої таблиці R, операція агрегування RACount , застосовується так:
}{,0,,
1
, AARCount RA .
Приклад 4. Застосуємо операцію агрегування RACount , до таблиці RФМ , за атрибутами DCBA ,,,
отримаємо таблиці:
}{}},6,{{, AACount RA , }{}},6,{{, BBCount RB ,
}{}},6,{{, CCCount RC , }{}},6,{{, DDCount RD .
Припустимо, що числова підмножина Num універсального домену замкнена відносно (часткової опера-
ції) ділення NumNumNum
~
:/ . Довизначимо операцію ділення так, що коли перший агрумент дорівнює
NULL , то функція приймає значення NULL .
Під операцією агрегування RAAvg , за атрибутом A (скінченних) таблиць схеми R , RA , розуміється
унарна параметрична операція вигляду:
})({)(:, ARAvg RA , }{,,,
1
, AAvgARAvg ARA ,
де )(, RR , а Avg – функція, що повертає середнє арифметичне значення елементів стовпця з атрибутом
A таблиці R, , які відрізняються від значення NULL , з урахуванням дублікатів, тобто:
NumAvg Num
m 2: , )(/)()( AAA CountSumAvg .
Таким чином, з означення випливають рівності
NULLNULLCountSumAvg mmm 0/)(/)()( ,
NULLNULLNULLCountNULLSumNULLAvg nnn 0/})({/})({})({ ,
k
i
ii
k
n
k
nn
k
nn
k
n
nd
nn
ddCountddSumddAvg kkk
11
111
)(
1
,,/,,,, 111
,
в припущенні, що всі елементи id відрізняються від елемента NULL .
Для випадку порожньої таблиці R, операція агрегування RAAvg , застосовується так:
}{,,,
1
, ANULLARAvg RA .
Моделі і засоби систем баз даних і знань
173
Приклад 5. Застосуємо операцію агрегування RAAvg , до таблиці RФМ , за атрибутами DCBA ,,, отри-
маємо таблиці
}{}},
6
23
,{{, AAAvg RA , }{}},
6
15
,{{, BBAvg RB ,
}{}},
6
21
,{{, CCAvg RC , }{}},
6
14
,{{, DDAvg RD .
Під операцією агрегування )(, RACount (скінченних) таблиць схеми R розуміється унарна параметрична
операція вигляду:
})({)(:)(, ARCount RA , }{,,,)(
1
, AARCount RA
,
при цьому )(, RR , а – це ранг мультимножини .
Для випадку порожньої таблиці R, операція агрегування )(, RACount застосовується так:
}{,0,}{,,,)(
11
, AAAARCount mRA
.
Приклад 6. Застосуємо операцію агрегування )(, RACount до таблиці RФМ , за атрибутами DCBA ,,,
отримаємо таблиці:
}{}},6,{{)(, AACount RA , }{}},6,{{)(, BBCount RB ,
}{}},6,{{)(, CCCount RC , }{}},6,{{)(, DDCount RD .
Висновки
Визначено формальну математичну семантику агрегатних операцій над таблицями як мультимножинами
рядків однієї схеми, яка проілюстрована прикладами їх використання. Для заданих агрегатних операцій параме-
тром виступає лише один атрибут, проте отримані результати можна розширити на випадки, коли параметром є
деяка функція над рядком. Результати роботи можуть бути використані в теорії узагальнених табличних алгебр.
1. Codd E.F. A Relational Model of Data for Large Shared Data Banks / E.F. Codd // Comm. of ACM. – 1970.– 13, N 6. – P. 377–387.
2. Grefen Paul W.P.J., Rolf A. De By A Multi-Set Extended Relational Algebra. A Formal Approach to a Practical Issue // 10th International
Conference on Data Engineering, ICDE, February 14-18, 1994, Houston, TX, USA. – 1994. – Р. 80–88.
3. Lamperti G., Melchiori M., Zanella M. On Multisets in Database Systems // Multiset Processing: Mathematical, Computer Science, and
Molecular Computing Points of View, number 2235 in Lecture Notes in Computing Since. – Berlin: Springer-Verlag. – 2001. – P. 147–215.
4. Garcia-Molina H. Database Systems: The Complete Book: [2nd Edition] / H. Garcia-Molina, J.D. Ullman, J. Widom. – Prentice Hall, 2008. –
1119 p.
5. Silbeschatz A., Korth H., Sudarshan S. Database System Concepts – McGraw-Hill, 2011. – 1376 p.
6. Редько В.Н., Брона Ю.Й., Буй Д.Б., Поляков С.А. Реляційні бази даних: табличні алгебри та SQL-подібні мови. – Київ: Видавничий дім
"Академперіодика", 2001. – 198 с.
|
| id | pp_isofts_kiev_ua-article-708 |
| institution | Problems in programming |
| keywords_txt_mv | keywords |
| language | Ukrainian |
| last_indexed | 2025-07-17T09:47:58Z |
| publishDate | 2025 |
| publisher | PROBLEMS IN PROGRAMMING |
| record_format | ojs |
| resource_txt_mv | ppisoftskievua/0a/7fe022c49c86041359c875e3f7cf940a.pdf |
| spelling | pp_isofts_kiev_ua-article-7082025-04-09T22:22:32Z Formal semantics of aggregate operations of multiset table algebra Формальна семантика агрегатних операцій мультимножинної табличної алгебри Glushko, I.M. UDC 004.655 УДК 004.655 М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 Розглянуто мультимножинну табличну алгебру. Сигнатура мультимножинної табличної алгебри поповнена агрегатними операціями. Задано формальну математичну семантику цих операцій та наведено приклади їх застосування.Prombles in programming 2014; 2-3: 166-173 PROBLEMS IN PROGRAMMING ПРОБЛЕМЫ ПРОГРАММИРОВАНИЯ ПРОБЛЕМИ ПРОГРАМУВАННЯ 2025-04-09 Article Article application/pdf https://pp.isofts.kiev.ua/index.php/ojs1/article/view/708 PROBLEMS IN PROGRAMMING; No 2-3 (2014); 166-173 ПРОБЛЕМЫ ПРОГРАММИРОВАНИЯ; No 2-3 (2014); 166-173 ПРОБЛЕМИ ПРОГРАМУВАННЯ; No 2-3 (2014); 166-173 1727-4907 uk https://pp.isofts.kiev.ua/index.php/ojs1/article/view/708/760 Copyright (c) 2025 PROBLEMS IN PROGRAMMING |
| spellingShingle | UDC 004.655 Glushko, I.M. Formal semantics of aggregate operations of multiset table algebra |
| title | Formal semantics of aggregate operations of multiset table algebra |
| title_alt | Формальна семантика агрегатних операцій мультимножинної табличної алгебри |
| title_full | Formal semantics of aggregate operations of multiset table algebra |
| title_fullStr | Formal semantics of aggregate operations of multiset table algebra |
| title_full_unstemmed | Formal semantics of aggregate operations of multiset table algebra |
| title_short | Formal semantics of aggregate operations of multiset table algebra |
| title_sort | formal semantics of aggregate operations of multiset table algebra |
| topic | UDC 004.655 |
| topic_facet | UDC 004.655 УДК 004.655 |
| url | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/708 |
| work_keys_str_mv | AT glushkoim formalsemanticsofaggregateoperationsofmultisettablealgebra AT glushkoim formalʹnasemantikaagregatnihoperacíjmulʹtimnožinnoítabličnoíalgebri |