|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Перестройка порядков каскадно упорядоченного множества
Л. А. Поморцевa, В. И. Цурковb a Московский технический университет связи и информатики, г. Москва
b Федеральный исследовательский центр «Информатика и управление» Российской академии наук, г. Москва
Аннотация:
В статье исследуются Частично и Каскадно Упорядоченные Множества (ЧУМ и КУМ) в аспекте развития алгоритмирования в Теории Реляционных Баз Данных (ТРБД). КУМ расширяет понятие ЧУМ за счёт включения в него цепочки вложенных друг в друга Частичных Порядков (ЧП). Примером КУМ служит Последовательность Вывода (ПВ) Функциональной Зависимости (ФЗ) из заданной совокупности ФЗ, в которой имеют место порядки следования и вывода одних ФЗ из других. Необходимость перестройки возникает в случаях повторов ФЗ в ПВ, которые преобразуются одной из Теорем настоящей работы в повторное их использование или, иными словами повторы какой-либо ФЗ заменяются исходящим из него гнездованием. Полученные результаты могут иметь самостоятельное значение в алгебре. В настоящей работе для доказательств применяются так называемые логические схемы.
Ключевые слова:
силлогизм, анализ, синтез, таблица, отношение, атрибут, схема, ключ, функциональная зависимость, граф, логическая схема, кортеж, проекция, гнездование.
Поступила в редакцию: 02.02.2020 Исправленный вариант: 31.08.2020
Образец цитирования:
Л. А. Поморцев, В. И. Цурков, “Перестройка порядков каскадно упорядоченного множества”, Нечеткие системы и мягкие вычисления, 15:2 (2020), 96–115
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fssc65 https://www.mathnet.ru/rus/fssc/v15/i2/p96
|
|