Перестройка порядков каскадно упорядоченного множества

В статье исследуются Частично и Каскадно Упорядоченные Множества (ЧУМ и КУМ) в аспекте развития алгоритмирования в Теории Реляционных Баз Данных (ТРБД). КУМ расширяет понятие ЧУМ за счёт включения в него цепочки вложенных друг в друга Частичных Порядков (ЧП). Примером КУМ служит Последовательность Вывода (ПВ) Функциональной Зависимости (ФЗ) из заданной совокупности ФЗ, в которой имеют место порядки следования и вывода одних ФЗ из других. Необходимость перестройки возникает в случаях повторов ФЗ в ПВ, которые преобразуются одной из Теорем настоящей работы в повторное их использование или, иными словами повторы какой-либо ФЗ заменяются исходящим из него гнездованием. Полученные результаты могут иметь самостоятельное значение в алгебре. В настоящей работе для доказательств применяются так называемые логические схемы.