Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
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

Ähnliche Einträge

Свойства операции проекции в табличных алгебрах
von: Сенченко, А.С.
Veröffentlicht: (2014)

Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах
von: Канарская, И.С.
Veröffentlicht: (2016)

О дистрибутивности в табличных алгебрах операции насыщения относительно операций объединения и пересечения
von: Сенченко, А.С.
Veröffentlicht: (2013)

Некоторые равенства в табличных алгебрах
von: Редько, В.Н., et al.
Veröffentlicht: (2014)

Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах
von: Редько, В.Н., et al.
Veröffentlicht: (2017)

О сохранении ключей в табличных алгебрах
von: Сенченко, А.С.
Veröffentlicht: (2015)

Закон двойного отрицания и правило преобразования разности в табличных алгебрах
von: Сенченко, А.С.
Veröffentlicht: (2013)

Об инвариантности ключей относительно операций табличных алгебр
von: Редько, В.Н., et al.
Veröffentlicht: (2015)

Взаимосвязи между пересечением, объединением и другими сигнатурными операциями в табличных алгебрах
von: Сенченко, А.С.
Veröffentlicht: (2018)

Алгоритм Поляка на основе агрегатных ε-субградиентов
von: Журбенко, Н.Г.
Veröffentlicht: (2015)

Формальная верификация диаграммы классов
von: Литвинов, В.В., et al.
Veröffentlicht: (2013)

Формальная модель научной публикации
von: Резниченко, В.А., et al.
Veröffentlicht: (2012)

Разработка моделей для прогнозирования агрегатных превращений железорудных материалов в доменной печи
von: Тогобицкая, Д.Н., et al.
Veröffentlicht: (2009)

Автоматно-графовая формальная модель композитного документооборота
von: Круковский, М.Ю.
Veröffentlicht: (2006)

Формальна семантика агрегатних операцій мультимножинної табличної алгебри
von: Глушко, І.М.
Veröffentlicht: (2014)

Внешние множественные операции табличной алгебры бесконечных таблиц
von: Глушко, И.М.
Veröffentlicht: (2016)

О некоторых σ-алгебрах
von: Харазишвили, А.Б.
Veröffentlicht: (1985)

Бигармонические базисы в алгебрах второго ранга
von: Мельниченко, И.П.
Veröffentlicht: (1986)

Формальная классификация векторных полей с грубыми особенностями в окрестности окружности
von: Белицкий, Г.Р., et al.
Veröffentlicht: (1991)

Формальная модель базовых сущностей "орграф значений" и "структурная энергия"
von: Прокопчук, Ю.А.
Veröffentlicht: (2013)

Непрерывные полугруппы в локально выпуклых алгебрах
von: Лопушанский, О.В.
Veröffentlicht: (1991)

Формальная кинетика гетерогенного катализа и динамика сорбционной очистки сложных растворов
von: Агеева, И.А., et al.
Veröffentlicht: (2009)

Отношение связности на упорядоченных алгебрах Менгера
von: Трохименко, В.С.
Veröffentlicht: (1983)

Об алгебрах Ли с нильпотентным радикалом
von: Ли Сун Ген
Veröffentlicht: (1986)

О цилиндрических и борелевских σ-алгебрах
von: Булдыгин, В.В., et al.
Veröffentlicht: (1986)

Прапори підалгебр у контрактованих алгебрах Лі
von: Попович, Д.Р.
Veröffentlicht: (2021)

Электронный информационно-поисковый тезаурус предметной области «сверхтвердые материалы» как формальная система знаний
von: Колодницкий, В.Н., et al.
Veröffentlicht: (2010)

О тождествах в алгебрах, порожденных линейно связанными идемпотентами
von: Рабанович, В.И., et al.
Veröffentlicht: (2004)

О тождествах в алгебрах Qn,λ, порожденных идемпотентами
von: Рабанович, В.И., et al.
Veröffentlicht: (2001)

Семимартингалы со значениями в группах и алгебрах Ли
von: Ковальчук, Л.В.
Veröffentlicht: (1993)

Операторне числення Вейля в узагальнених алгебрах Пелі–Вінера
von: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Veröffentlicht: (2024)

Про моногенні функції, визначені в різних комутативних алгебрах
von: Шпаківський, В.С.
Veröffentlicht: (2018)

Автоматична неперервність, базиси і радикали в метризовних алгебрах
von: Плічко, А.М.
Veröffentlicht: (1992)

О некоторых алгебрах, связанных с конечными группами
von: Гресь, П.Г.
Veröffentlicht: (1991)

Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)

Семантика ментальності концепту
von: Іващенко, В.Л.
Veröffentlicht: (2008)

О разложении положительных функционалов на коммутативных ядерных *-алгебрах
von: Березанский, Ю.М., et al.
Veröffentlicht: (1987)

Функціональна семантика частки аж
von: Покидько, О.М.
Veröffentlicht: (2002)

Язичницька семантика бушського рельєфу
von: Дудко, Д.М.
Veröffentlicht: (2001)

Агентные модели операций
von: Литвинов, В.В., et al.
Veröffentlicht: (2014)