Buchumschlag

Некоторые равенства в табличных алгебрах

Найдены необходимые и достаточные условия, при которых одиннадцать включений, выполняемых в табличных алгебрах, превращаются в равенства. Эти условия выражаются в терминах активных доменов таблиц и являются естественными. Знайдено необхiднi та достатнi умови, при яких одинадцять включень, я...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Доповіді НАН України
Datum:	2014
Hauptverfasser:	Редько, В.Н., Буй, Д.Б., Сенченко, А.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2014
Schlagworte:	Інформатика та кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/87813
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:	Некоторые равенства в табличных алгебрах / В.Н. Редько, Д.Б. Буй, А.С. Сенченко // Доповiдi Нацiональної академiї наук України. — 2014. — № 6. — С. 48-52. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

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

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

Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2011)

Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2007)

Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2008)

Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень
von: Богатирьова, Ю.О., et al.
Veröffentlicht: (2011)

Аксiоматика багатозначних залежностей табличних баз даних
von: Редько, В.Н., et al.
Veröffentlicht: (2015)

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

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

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

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

Формальная семантика агрегатных операций в табличных алгебрах
von: Глушко, И.Н.
Veröffentlicht: (2014)

Лингвистическое представление графов с помеченными вершинами
von: Сапунов, С.В., et al.
Veröffentlicht: (2019)

Моделирование сложных теплофизических систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2014)

О степенной модели прогнозирования надежности стареющих систем
von: Ярошенко, В.Н.
Veröffentlicht: (2011)

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

Осесимметричное потенциально-вихревое течение со свободной границей
von: Шевченко, А.И., et al.
Veröffentlicht: (2014)

Моделирование потенциально-вихревого течения со свободной границей с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Математическое моделирование одного класса сложных систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Качественные свойства решений одного класса эволюционных систем
von: Шевченко, А.И., et al.
Veröffentlicht: (2015)

Экспертное оценивание многофакторных рисков в технологическом предвидении
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2007)

Об одном подходе при моделировании сложных систем
von: Шевченко, А.И., et al.
Veröffentlicht: (2012)

Розпаралелювання різницевих схем на основі ДС-алгоритму
von: Грищенко, О.Ю., et al.
Veröffentlicht: (2011)

Моделирование одного класса сложных систем с нечетким управлением
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Численный анализ одной нелинейной математической модели
von: Шевченко, А.И., et al.
Veröffentlicht: (2012)

Об оценивании функционалов от решения линеаризованной задачи Навье-Стокса по неполным данным
von: Головач, В.Н., et al.
Veröffentlicht: (2007)

Минимаксное оценивание решения краевой задачи для уравнений линейной теории упругости с граничными условиями типа Неймана
von: Наконечный, А.Г., et al.
Veröffentlicht: (2010)

Адаптивные стохастические модели в трудно формализуемых естественнонаучных задачах
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2008)

Відновлення функціональної залежності часових рядів в умовах коротких вибірок
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2011)

Математическое моделирование динамики жидких сред организма в условиях экзобародинамики
von: Григорян, Р.Д., et al.
Veröffentlicht: (2009)

Оцінювання багатофакторних ризиків в стратегії розв'язання задач технологічного передбачення
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2010)

Поиск программных инвариантов в виде полиномов
von: Максимец, А.Н.
Veröffentlicht: (2013)

Паралельна реалізація алгоритму Едмондса–Карпа
von: Погорілий, С.Д., et al.
Veröffentlicht: (2008)

Розпізнавання міміки губ при промовлянні слів українською мовою
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2010)

О применении сосредоточения в методе конечных элементов Петрова–Галеркина при решении задач конвекции-диффузии
von: Сирик, С.В., et al.
Veröffentlicht: (2014)

Метод виділення інваріантних ознак сигналів
von: Забара, С.С., et al.
Veröffentlicht: (2009)

Операційна аналітика як інструмент моніторингу даних та управління подіями систем забезпечення кібербезпеки
von: Качинський, А.Б., et al.
Veröffentlicht: (2021)

Гібридний метод розв'язування обернених граничних задач теорії потенціалу в частково необмежених областях з тріщиною
von: Вінтоняк, Н.І., et al.
Veröffentlicht: (2007)