Эта публикация цитируется в
2 статьях
Гигиена последовательностей вывода
Л. А. Поморцевa,
В. И. Цурков a Московский технический университет связи и информатики, г. Москва
Аннотация:
Последовательность Вывода (
ПВ)
Функциональной Зависимости (
ФЗ) из заданной совокупности
ФЗ является программой умозрительной
ВМ (
Вычислительной машины), управляющейся командами
F и
B. Формализация представляет
ПВ в виде
Каскадно Упорядоченного Множества (
КУМ) с порядками
следования $\leqslant^{0)} :=\mathbf{=\twoheadrightarrow}$ и
вывода $\leqslant^{1)} :=\mathbf{=\Rrightarrow}$, наследующего от
ПВ нежелательные свойства программирования:
1. Вариативность создания; 2. Неконтролируемое исходящее гнездование (ветвление); 3. Возможность многократного повторения в программе функционально эквивалентных фрагментов; 4. Прочее. Настоящая работа нацелена на искоренение этих недостатков
ПВ, что достигается спрямлением алгоритмов и реализуется цепочкой Лемма 3
$\mapsto$ Теорема 3
$\mapsto$ Теорема 4, которая в конечном счёте позволит каждой
ПВ поставить в соответствие функционально эквивалентное ей алгебраическое выражение в некоторой
D-алгебре.
Ключевые слова:
силлогизм, анализ, синтез, таблица, отношение, атрибут, схема, ключ, функциональная зависимость, граф, логическая схема, кортеж, проекция, гнездование, D-алгебра, ЧП, ЧУМ, РБД, ТРБД.
УДК:
681.3;
512.562 Поступила в редакцию: 25.03.2021
Исправленный вариант: 30.03.2021
DOI:
10.26456/fssc78