Об инвариантности ключей относительно операций табличных алгебр
Исследована задача инвариантности ключей, в том числе и простых, относительно операций табличных алгебр — современного аналога классических реляционных алгебр Кодда. Показано, что ключи инвариантны относительно операций пересечения, разности, селекции, соединения и деления, при этом для простых ключ...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2015 |
| Автори: | Редько, В.Н., Буй, Д.Б., Сенченко, А.С. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/124901 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Об инвариантности ключей относительно операций табличных алгебр / В.Н. Редько, Д.Б. Буй, А.С. Сенченко // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 3-12. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
О сохранении ключей в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2015)
за авторством: Сенченко, А.С.
Опубліковано: (2015)
О дистрибутивности в табличных алгебрах операции насыщения относительно операций объединения и пересечения
за авторством: Сенченко, А.С.
Опубліковано: (2013)
за авторством: Сенченко, А.С.
Опубліковано: (2013)
Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2017)
за авторством: Редько, В.Н., та інші
Опубліковано: (2017)
Некоторые равенства в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2014)
за авторством: Редько, В.Н., та інші
Опубліковано: (2014)
Свойства операции проекции в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2014)
за авторством: Сенченко, А.С.
Опубліковано: (2014)
Формальная семантика агрегатных операций в табличных алгебрах
за авторством: Глушко, И.Н.
Опубліковано: (2014)
за авторством: Глушко, И.Н.
Опубліковано: (2014)
Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
за авторством: Левитская, А.А.
Опубліковано: (2010)
за авторством: Левитская, А.А.
Опубліковано: (2010)
К теории программных алгебр
за авторством: Буй, Д.Б., та інші
Опубліковано: (1984)
за авторством: Буй, Д.Б., та інші
Опубліковано: (1984)
Быстрые алгоритмы для базовой операции клеточных методов линейной алгебры
за авторством: Елфимова, Л.Д.
Опубліковано: (2015)
за авторством: Елфимова, Л.Д.
Опубліковано: (2015)
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
за авторством: Чеботарев, А.Н.
Опубліковано: (2009)
за авторством: Чеботарев, А.Н.
Опубліковано: (2009)
Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах
за авторством: Канарская, И.С.
Опубліковано: (2016)
за авторством: Канарская, И.С.
Опубліковано: (2016)
Экзистенциальные основания композиционной парадигмы
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)
Закон двойного отрицания и правило преобразования разности в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2013)
за авторством: Сенченко, А.С.
Опубліковано: (2013)
Взаимосвязи между пересечением, объединением и другими сигнатурными операциями в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2018)
за авторством: Сенченко, А.С.
Опубліковано: (2018)
Об оптимизационных проблемах включения треков
за авторством: Шахбазян, К.В., та інші
Опубліковано: (2010)
за авторством: Шахбазян, К.В., та інші
Опубліковано: (2010)
Об одном методе задания фрактальных множеств
за авторством: Лисовик, Л.П., та інші
Опубліковано: (2009)
за авторством: Лисовик, Л.П., та інші
Опубліковано: (2009)
Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2016)
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2016)
Об аксиоматизациях булевых алгебр
за авторством: Лисовик, Л.П.
Опубліковано: (1997)
за авторством: Лисовик, Л.П.
Опубліковано: (1997)
Задействование квалифицированной инфраструктуры открытых ключей в Украине
за авторством: Мелащенко, А.О.
Опубліковано: (2011)
за авторством: Мелащенко, А.О.
Опубліковано: (2011)
О принципе инвариантности волновых операторов
за авторством: Константинов, А.Ю.
Опубліковано: (1984)
за авторством: Константинов, А.Ю.
Опубліковано: (1984)
Роль комплектов подписей в квалифицированной инфраструктуре отрытых ключей
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2010)
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2010)
Верхние оценки несбалансированности билинейных аппроксимаций раундовых функций блочных шифров
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2010)
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2010)
Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
за авторством: Терещенко, В.Н., та інші
Опубліковано: (2010)
за авторством: Терещенко, В.Н., та інші
Опубліковано: (2010)
Индуцированная зависимость, взаимодействие факторов и дискриминация каузальных структур
за авторством: Балабанов, А.С.
Опубліковано: (2016)
за авторством: Балабанов, А.С.
Опубліковано: (2016)
Эквивалентность регулярных выражений в частично коммутативном алфавите
за авторством: Шукурян, А.С.
Опубліковано: (2009)
за авторством: Шукурян, А.С.
Опубліковано: (2009)
Алгоритм формальной верификации шаблонов бизнес-процессов
за авторством: Варосян, А.С.
Опубліковано: (2011)
за авторством: Варосян, А.С.
Опубліковано: (2011)
Минимальные сепараторы в структурах зависимостей. Свойства и идентификация
за авторством: Балабанов, А.С.
Опубліковано: (2008)
за авторством: Балабанов, А.С.
Опубліковано: (2008)
Формирование минимальных d-сепараторов в системе зависимостей
за авторством: Балабанов, А.С.
Опубліковано: (2009)
за авторством: Балабанов, А.С.
Опубліковано: (2009)
Линейная регрессия с нестационарными переменными и ограничениями на параметры
за авторством: Корхин, А.С.
Опубліковано: (2009)
за авторством: Корхин, А.С.
Опубліковано: (2009)
Логика минимальной сепарации в каузальных сетях
за авторством: Балабанов, А.С.
Опубліковано: (2013)
за авторством: Балабанов, А.С.
Опубліковано: (2013)
Принцип инвариантности для оценок наименьших квадратов
за авторством: Коваль, Т.Л.
Опубліковано: (1993)
за авторством: Коваль, Т.Л.
Опубліковано: (1993)
Информационно-экстремальный метод классификации наблюдений с категориальными признаками
за авторством: Довбыш, А.С., та інші
Опубліковано: (2016)
за авторством: Довбыш, А.С., та інші
Опубліковано: (2016)
Условия разрешимости для вариационно-подобных неравенств
за авторством: Шамрай, Н.Б.
Опубліковано: (2008)
за авторством: Шамрай, Н.Б.
Опубліковано: (2008)
Методика разработки и средства формализации функциональных спецификаций систем и устройств
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2016)
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2016)
Система сущностей бизнес-моделей организационных систем
за авторством: Маслянко, П.П., та інші
Опубліковано: (2012)
за авторством: Маслянко, П.П., та інші
Опубліковано: (2012)
О некоторых прикладных задачах марковских случайных процессов с локальным взаимодействием
за авторством: Кнопов, П.С., та інші
Опубліковано: (2011)
за авторством: Кнопов, П.С., та інші
Опубліковано: (2011)
О криптографических свойствах нового национального стандарта шифрования Украины
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2016)
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2016)
Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2008)
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2008)
Алгоритмы замены контейнеров-ключей при потоковом шифровании методом косвенного шифрования
за авторством: Мищенко, А.Н.
Опубліковано: (2011)
за авторством: Мищенко, А.Н.
Опубліковано: (2011)
Подход к определению эффективных признаков и синтезу оптимального полосно-разделяющего классификатора для элементов дактильно-жестовой речи
за авторством: Крак, Ю.В., та інші
Опубліковано: (2016)
за авторством: Крак, Ю.В., та інші
Опубліковано: (2016)
Схожі ресурси
-
О сохранении ключей в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2015) -
О дистрибутивности в табличных алгебрах операции насыщения относительно операций объединения и пересечения
за авторством: Сенченко, А.С.
Опубліковано: (2013) -
Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2017) -
Некоторые равенства в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2014) -
Свойства операции проекции в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2014)