Формальная семантика агрегатных операций в табличных алгебрах

Формальная семантика агрегатных операций в табличных алгебрах

В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом NULL и расширение сигнатуры табличной алгебры конечных таблиц агрегатными о...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2014
Автор: Глушко, И.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут прикладної математики і механіки НАН України 2014
Назва видання:Труды Института прикладной математики и механики
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/124207
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Формальная семантика агрегатных операций в табличных алгебрах / И.Н. Глушко // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2014. — Т. 28. — С. 36-42. — Бібліогр.: 8 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-124207
record_format dspace
spelling irk-123456789-1242072017-09-23T03:03:26Z Формальная семантика агрегатных операций в табличных алгебрах Глушко, И.Н. В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом NULL и расширение сигнатуры табличной алгебры конечных таблиц агрегатными операциями нахождения суммы, наибольшего (наименьшего) значений, среднего арифметического, количества строк и количества элементов, отличных от NULL. Задана формальная математическая семантика этих операций, которая проиллюстрирована содержательными примерами. При определении агрегатных операций используется понятие мультимножества. Общая схема задания агрегатных операций: сначала операции задаются на конечных мультимножествах, а затем переносятся на таблицы, в частности, на пустую таблицу The paper deals with the extension of table algebra (this algebra is introduced by V.N. Redko and D.B. Bui and is a generalization of well-known classic Codd’s relational algebra), involving the completion of a special element NULL of the universal domain and expansion of signature finite table algebra with such aggregate operations: finding the sum, the largest (smallest) value, the average value, the number of table rows and number of elements different from NULL. The formal mathematical semantics of these operations illustrated by meaningful examples is given. The concept of multiset is used under defining the aggregate operators. The general scheme of the aggregate operations is following: at first, operations are defined on finite multisets, then they are extended to the tables, in particular, on an empty table. 2014 Article Формальная семантика агрегатных операций в табличных алгебрах / И.Н. Глушко // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2014. — Т. 28. — С. 36-42. — Бібліогр.: 8 назв. — рос. 1683-4720 http://dspace.nbuv.gov.ua/handle/123456789/124207 004.655 ru Труды Института прикладной математики и механики Інститут прикладної математики і механіки НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
description В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом NULL и расширение сигнатуры табличной алгебры конечных таблиц агрегатными операциями нахождения суммы, наибольшего (наименьшего) значений, среднего арифметического, количества строк и количества элементов, отличных от NULL. Задана формальная математическая семантика этих операций, которая проиллюстрирована содержательными примерами. При определении агрегатных операций используется понятие мультимножества. Общая схема задания агрегатных операций: сначала операции задаются на конечных мультимножествах, а затем переносятся на таблицы, в частности, на пустую таблицу
format Article
author Глушко, И.Н.
spellingShingle Глушко, И.Н.
Формальная семантика агрегатных операций в табличных алгебрах
Труды Института прикладной математики и механики
author_facet Глушко, И.Н.
author_sort Глушко, И.Н.
title Формальная семантика агрегатных операций в табличных алгебрах
title_short Формальная семантика агрегатных операций в табличных алгебрах
title_full Формальная семантика агрегатных операций в табличных алгебрах
title_fullStr Формальная семантика агрегатных операций в табличных алгебрах
title_full_unstemmed Формальная семантика агрегатных операций в табличных алгебрах
title_sort формальная семантика агрегатных операций в табличных алгебрах
publisher Інститут прикладної математики і механіки НАН України
publishDate 2014
url http://dspace.nbuv.gov.ua/handle/123456789/124207
citation_txt Формальная семантика агрегатных операций в табличных алгебрах / И.Н. Глушко // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2014. — Т. 28. — С. 36-42. — Бібліогр.: 8 назв. — рос.
series Труды Института прикладной математики и механики
work_keys_str_mv AT gluškoin formalʹnaâsemantikaagregatnyhoperacijvtabličnyhalgebrah
first_indexed 2023-10-18T20:45:54Z
last_indexed 2023-10-18T20:45:54Z
_version_ 1796151049667477504

Схожі ресурси