Эта публикация цитируется в 1 статье

Алгебраический аппарат последовательностей вывода

Л. А. Поморцев

Московский технический университет связи и информатики, г. Москва

Аннотация: Предлагаемая работа нацелена на искоренение недостатков Последовательностей Вывода (ПВ), присущих программам вычислительных машин. Постановка задачи и предшествующие исследования ПВ составляют содержание работ [10-12]. На завершающем этапе статьи ПВ заменяются Функционально-Эквивалентными (ФЭ) им алгебраическими выражениями, на входе в которые имеют место те же Функциональные Зависимости (ФЗ), что и в исходных ПВ. Результат работы, соответствующий её целям, содержится в Теореме 3.

Ключевые слова: конечный, силлогизм, анализ, синтез, таблица, отношение, атрибут, схема, ключ, функциональная зависимость, граф, логическая схема, кортеж, проекция, гнездование, D-алгебра, ЧП, ЧУМ, РБД, ТРБД.

УДК: 681.3; 512.562

Поступила в редакцию: 13.09.2021
Исправленный вариант: 01.10.2021

DOI: 10.26456/fssc80

Реферативные базы данных:

•