Формальная семантика агрегатных операций в табличных алгебрах
В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом NULL и расширение сигнатуры табличной алгебры конечных таблиц агрегатными о...
Gespeichert in:
| Veröffentlicht in: | Труды Института прикладной математики и механики |
|---|---|
| Datum: | 2014 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2014
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/124207 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Формальная семантика агрегатных операций в табличных алгебрах / И.Н. Глушко // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2014. — Т. 28. — С. 36-42. — Бібліогр.: 8 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862716942656208896 |
|---|---|
| author | Глушко, И.Н. |
| author_facet | Глушко, И.Н. |
| citation_txt | Формальная семантика агрегатных операций в табличных алгебрах / И.Н. Глушко // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2014. — Т. 28. — С. 36-42. — Бібліогр.: 8 назв. — рос. |
| collection | DSpace DC |
| container_title | Труды Института прикладной математики и механики |
| description | В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом 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.
|
| first_indexed | 2025-12-07T18:07:59Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-124207 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1683-4720 |
| language | Russian |
| last_indexed | 2025-12-07T18:07:59Z |
| publishDate | 2014 |
| publisher | Інститут прикладної математики і механіки НАН України |
| record_format | dspace |
| spelling | Глушко, И.Н. 2017-09-22T13:50:47Z 2017-09-22T13:50:47Z 2014 Формальная семантика агрегатных операций в табличных алгебрах / И.Н. Глушко // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2014. — Т. 28. — С. 36-42. — Бібліогр.: 8 назв. — рос. 1683-4720 https://nasplib.isofts.kiev.ua/handle/123456789/124207 004.655 В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом 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. ru Інститут прикладної математики і механіки НАН України Труды Института прикладной математики и механики Формальная семантика агрегатных операций в табличных алгебрах A formal semantics of aggregate operations Article published earlier |
| spellingShingle | Формальная семантика агрегатных операций в табличных алгебрах Глушко, И.Н. |
| title | Формальная семантика агрегатных операций в табличных алгебрах |
| title_alt | A formal semantics of aggregate operations |
| title_full | Формальная семантика агрегатных операций в табличных алгебрах |
| title_fullStr | Формальная семантика агрегатных операций в табличных алгебрах |
| title_full_unstemmed | Формальная семантика агрегатных операций в табличных алгебрах |
| title_short | Формальная семантика агрегатных операций в табличных алгебрах |
| title_sort | формальная семантика агрегатных операций в табличных алгебрах |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/124207 |
| work_keys_str_mv | AT gluškoin formalʹnaâsemantikaagregatnyhoperaciivtabličnyhalgebrah AT gluškoin aformalsemanticsofaggregateoperations |