|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Гигиена последовательностей вывода
Л. А. Поморцевa, В. И. Цурков a Московский технический университет связи и информатики, г. Москва
Аннотация:
Последовательность Вывода (ПВ) Функциональной Зависимости (ФЗ) из заданной совокупности ФЗ является программой умозрительной ВМ (Вычислительной машины), управляющейся командами F и B. Формализация представляет ПВ в виде Каскадно Упорядоченного Множества (КУМ) с порядками следования $\leqslant^{0)} :=\mathbf{=\twoheadrightarrow}$ и вывода $\leqslant^{1)} :=\mathbf{=\Rrightarrow}$, наследующего от ПВ нежелательные свойства программирования: 1. Вариативность создания; 2. Неконтролируемое исходящее гнездование (ветвление); 3. Возможность многократного повторения в программе функционально эквивалентных фрагментов; 4. Прочее. Настоящая работа нацелена на искоренение этих недостатков ПВ, что достигается спрямлением алгоритмов и реализуется цепочкой Лемма 3 $\mapsto$ Теорема 3 $\mapsto$ Теорема 4, которая в конечном счёте позволит каждой ПВ поставить в соответствие функционально эквивалентное ей алгебраическое выражение в некоторой D-алгебре.
Ключевые слова:
силлогизм, анализ, синтез, таблица, отношение, атрибут, схема, ключ, функциональная зависимость, граф, логическая схема, кортеж, проекция, гнездование, D-алгебра, ЧП, ЧУМ, РБД, ТРБД.
Поступила в редакцию: 25.03.2021 Исправленный вариант: 30.03.2021
Образец цитирования:
Л. А. Поморцев, В. И. Цурков, “Гигиена последовательностей вывода”, Нечеткие системы и мягкие вычисления, 16:1 (2021), 34–57
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fssc78 https://www.mathnet.ru/rus/fssc/v16/i1/p34
|
|