Формальная семантика агрегатных операций в табличных алгебрах
В работе проводится расширение табличной алгебры (введенной В.Н. Редько и Д.Б. Буем и являющейся обобщением классической реляционной алгебры Кодда), которое предполагает пополнение универсального домена специальным элементом NULL и расширение сигнатуры табличной алгебры конечных таблиц агрегатными о...
Saved in:
| Published in: | Труды Института прикладной математики и механики |
|---|---|
| Date: | 2014 |
| Main Author: | Глушко, И.Н. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут прикладної математики і механіки НАН України
2014
|
| Online Access: | https://nasplib.isofts.kiev.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 UkraineSimilar Items
Свойства операции проекции в табличных алгебрах
by: Сенченко, А.С.
Published: (2014)
by: Сенченко, А.С.
Published: (2014)
Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах
by: Канарская, И.С.
Published: (2016)
by: Канарская, И.С.
Published: (2016)
О дистрибутивности в табличных алгебрах операции насыщения относительно операций объединения и пересечения
by: Сенченко, А.С.
Published: (2013)
by: Сенченко, А.С.
Published: (2013)
Некоторые равенства в табличных алгебрах
by: Редько, В.Н., et al.
Published: (2014)
by: Редько, В.Н., et al.
Published: (2014)
О сохранении ключей в табличных алгебрах
by: Сенченко, А.С.
Published: (2015)
by: Сенченко, А.С.
Published: (2015)
Закон двойного отрицания и правило преобразования разности в табличных алгебрах
by: Сенченко, А.С.
Published: (2013)
by: Сенченко, А.С.
Published: (2013)
Об инвариантности ключей относительно операций табличных алгебр
by: Редько, В.Н., et al.
Published: (2015)
by: Редько, В.Н., et al.
Published: (2015)
Взаимосвязи между пересечением, объединением и другими сигнатурными операциями в табличных алгебрах
by: Сенченко, А.С.
Published: (2018)
by: Сенченко, А.С.
Published: (2018)
Алгоритм Поляка на основе агрегатных ε-субградиентов
by: Журбенко, Н.Г.
Published: (2015)
by: Журбенко, Н.Г.
Published: (2015)
Формальная верификация диаграммы классов
by: Литвинов, В.В., et al.
Published: (2013)
by: Литвинов, В.В., et al.
Published: (2013)
Формальная модель научной публикации
by: Резниченко, В.А., et al.
Published: (2012)
by: Резниченко, В.А., et al.
Published: (2012)
Разработка моделей для прогнозирования агрегатных превращений железорудных материалов в доменной печи
by: Тогобицкая, Д.Н., et al.
Published: (2009)
by: Тогобицкая, Д.Н., et al.
Published: (2009)
Автоматно-графовая формальная модель композитного документооборота
by: Круковский, М.Ю.
Published: (2006)
by: Круковский, М.Ю.
Published: (2006)
Внешние множественные операции табличной алгебры бесконечных таблиц
by: Глушко, И.М.
Published: (2016)
by: Глушко, И.М.
Published: (2016)
Бигармонические базисы в алгебрах второго ранга
by: Мельниченко, И.П.
Published: (1986)
by: Мельниченко, И.П.
Published: (1986)
Непрерывные полугруппы в локально выпуклых алгебрах
by: Лопушанский, О.В.
Published: (1991)
by: Лопушанский, О.В.
Published: (1991)
Формальная модель базовых сущностей "орграф значений" и "структурная энергия"
by: Прокопчук, Ю.А.
Published: (2013)
by: Прокопчук, Ю.А.
Published: (2013)
Формальная кинетика гетерогенного катализа и динамика сорбционной очистки сложных растворов
by: Агеева, И.А., et al.
Published: (2009)
by: Агеева, И.А., et al.
Published: (2009)
Об алгебрах Ли с нильпотентным радикалом
by: Ли Сун Ген
Published: (1986)
by: Ли Сун Ген
Published: (1986)
Отношение связности на упорядоченных алгебрах Менгера
by: Трохименко, В.С.
Published: (1983)
by: Трохименко, В.С.
Published: (1983)
О тождествах в алгебрах, порожденных линейно связанными идемпотентами
by: Рабанович, В.И., et al.
Published: (2004)
by: Рабанович, В.И., et al.
Published: (2004)
О тождествах в алгебрах Qn,λ, порожденных идемпотентами
by: Рабанович, В.И., et al.
Published: (2001)
by: Рабанович, В.И., et al.
Published: (2001)
Прапори підалгебр у контрактованих алгебрах Лі
by: Попович, Д.Р.
Published: (2021)
by: Попович, Д.Р.
Published: (2021)
Электронный информационно-поисковый тезаурус предметной области «сверхтвердые материалы» как формальная система знаний
by: Колодницкий, В.Н., et al.
Published: (2010)
by: Колодницкий, В.Н., et al.
Published: (2010)
Семимартингалы со значениями в группах и алгебрах Ли
by: Ковальчук, Л.В.
Published: (1993)
by: Ковальчук, Л.В.
Published: (1993)
Про моногенні функції, визначені в різних комутативних алгебрах
by: Шпаківський, В.С.
Published: (2018)
by: Шпаківський, В.С.
Published: (2018)
Операторне числення Вейля в узагальнених алгебрах Пелі–Вінера
by: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Published: (2024)
by: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Published: (2024)
О некоторых алгебрах, связанных с конечными группами
by: Гресь, П.Г.
Published: (1991)
by: Гресь, П.Г.
Published: (1991)
Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура
by: Шинкаренко, В.И., et al.
Published: (2014)
by: Шинкаренко, В.И., et al.
Published: (2014)
Семантика ментальності концепту
by: Іващенко, В.Л.
Published: (2008)
by: Іващенко, В.Л.
Published: (2008)
Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Агентные модели операций
by: Литвинов, В.В., et al.
Published: (2014)
by: Литвинов, В.В., et al.
Published: (2014)
Язичницька семантика бушського рельєфу
by: Дудко, Д.М.
Published: (2001)
by: Дудко, Д.М.
Published: (2001)
Функціональна семантика частки аж
by: Покидько, О.М.
Published: (2002)
by: Покидько, О.М.
Published: (2002)
Активные операции коммерческих банков
by: Лопушанская, О.С., et al.
Published: (2010)
by: Лопушанская, О.С., et al.
Published: (2010)
Семантика междометий в аспекте функциональной омонимии
by: Валеева, Л.В.
Published: (2004)
by: Валеева, Л.В.
Published: (2004)
Семантика кратності в поезії Лесі Українки
by: Ачилова, О.Л.
Published: (2006)
by: Ачилова, О.Л.
Published: (2006)
Практический опыт экспериментальных микрососудистых операций
by: Бызов, Д.В., et al.
Published: (2015)
by: Бызов, Д.В., et al.
Published: (2015)
Моногенні функції у двовимірних комутативних алгебрах для рівнянь плоскої ортотропії
by: Грищук, C.В.
Published: (2018)
by: Грищук, C.В.
Published: (2018)
Семантика украинских фамилий: сопоставительный аспект
by: Ибрагимова, В.Ф.
Published: (2007)
by: Ибрагимова, В.Ф.
Published: (2007)
Similar Items
-
Свойства операции проекции в табличных алгебрах
by: Сенченко, А.С.
Published: (2014) -
Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах
by: Канарская, И.С.
Published: (2016) -
О дистрибутивности в табличных алгебрах операции насыщения относительно операций объединения и пересечения
by: Сенченко, А.С.
Published: (2013) -
Некоторые равенства в табличных алгебрах
by: Редько, В.Н., et al.
Published: (2014) -
О сохранении ключей в табличных алгебрах
by: Сенченко, А.С.
Published: (2015)