Формальная семантика агрегатных операций в табличных алгебрах
В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом NULL и расширение сигнатуры табличной алгебры конечных таблиц агрегатными о...
Saved in:
| Date: | 2014 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут прикладної математики і механіки НАН України
2014
|
| Series: | Труды Института прикладной математики и механики |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/124207 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальная семантика агрегатных операций в табличных алгебрах / И.Н. Глушко // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2014. — Т. 28. — С. 36-42. — Бібліогр.: 8 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом NULL и расширение сигнатуры табличной алгебры конечных таблиц агрегатными операциями нахождения суммы, наибольшего (наименьшего) значений, среднего арифметического, количества строк и количества элементов, отличных от NULL. Задана формальная математическая семантика этих операций, которая проиллюстрирована содержательными примерами. При определении агрегатных операций используется понятие мультимножества. Общая схема задания агрегатных операций: сначала операции задаются на конечных мультимножествах, а затем переносятся на таблицы, в частности, на пустую таблицу |
|---|