Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Труды Института прикладной математики и механики
Дата:	2014
Автор:	Глушко, И.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут прикладної математики і механіки НАН України 2014
Онлайн доступ:	https://nasplib.isofts.kiev.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

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

Свойства операции проекции в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2014)

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

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

Некоторые равенства в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2014)

Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2017)

О сохранении ключей в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2015)

Закон двойного отрицания и правило преобразования разности в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2013)

Об инвариантности ключей относительно операций табличных алгебр
за авторством: Редько, В.Н., та інші
Опубліковано: (2015)

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

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

Формальная верификация диаграммы классов
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

Формальная модель научной публикации
за авторством: Резниченко, В.А., та інші
Опубліковано: (2012)

Разработка моделей для прогнозирования агрегатных превращений железорудных материалов в доменной печи
за авторством: Тогобицкая, Д.Н., та інші
Опубліковано: (2009)

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

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

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

О некоторых σ-алгебрах
за авторством: Харазишвили, А.Б.
Опубліковано: (1985)

Бигармонические базисы в алгебрах второго ранга
за авторством: Мельниченко, И.П.
Опубліковано: (1986)

Формальная классификация векторных полей с грубыми особенностями в окрестности окружности
за авторством: Белицкий, Г.Р., та інші
Опубліковано: (1991)

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

Непрерывные полугруппы в локально выпуклых алгебрах
за авторством: Лопушанский, О.В.
Опубліковано: (1991)

Формальная кинетика гетерогенного катализа и динамика сорбционной очистки сложных растворов
за авторством: Агеева, И.А., та інші
Опубліковано: (2009)

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

Об алгебрах Ли с нильпотентным радикалом
за авторством: Ли Сун Ген
Опубліковано: (1986)

О цилиндрических и борелевских σ-алгебрах
за авторством: Булдыгин, В.В., та інші
Опубліковано: (1986)

Прапори підалгебр у контрактованих алгебрах Лі
за авторством: Попович, Д.Р.
Опубліковано: (2021)

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

О тождествах в алгебрах, порожденных линейно связанными идемпотентами
за авторством: Рабанович, В.И., та інші
Опубліковано: (2004)

О тождествах в алгебрах Qn,λ, порожденных идемпотентами
за авторством: Рабанович, В.И., та інші
Опубліковано: (2001)

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

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

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

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

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

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

Семантика ментальності концепту
за авторством: Іващенко, В.Л.
Опубліковано: (2008)

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

Функціональна семантика частки аж
за авторством: Покидько, О.М.
Опубліковано: (2002)

Язичницька семантика бушського рельєфу
за авторством: Дудко, Д.М.
Опубліковано: (2001)

Агентные модели операций
за авторством: Литвинов, В.В., та інші
Опубліковано: (2014)