Open AccessOrder alteration in a cascade-ordered set
Author(s) -
Леонид Александрович Поморцев,
В. И. Цурков
Publication year - 2020
Publication title -
nečetkie sistemy i mâgkie vyčisleniâ
Language(s) - English
Resource type - Journals
ISSN - 1819-4362
DOI - 10.26456/fssc65
Subject(s) - cascade , set (abstract data type) , mathematical proof , sequence (biology) , order (exchange) , mathematics , partially ordered set , nesting (process) , chain (unit) , value (mathematics) , algebra over a field , discrete mathematics , combinatorics , pure mathematics , computer science , physics , quantum mechanics , programming language , statistics , chemistry , biochemistry , materials science , geometry , finance , chromatography , economics , metallurgy
В статье исследуются Частично и Каскадно Упорядоченные Множества (ЧУМ и КУМ) в аспекте развития алгоритмирования в Теории Реляционных Баз Данных (ТРБД). КУМ расширяет понятие ЧУМ за счёт включения в него цепочки вложенных друг в друга Частичных Порядков (ЧП). Примером КУМ служит Последовательность Вывода (ПВ) Функциональной Зависимости (ФЗ) из заданной совокупности ФЗ, в которой имеют место порядки следования и вывода одних ФЗ из других. Необходимость перестройки возникает в случаях повторов ФЗ в ПВ, которые преобразуются одной из Теорем настоящей работы в повторное их использование или, иными словами повторы какой-либо ФЗ заменяются исходящим из него гнездованием. Полученные результаты могут иметь самостоятельное значение в алгебре. В настоящей работе для доказательств применяются так называемые логические схемы. The article examines the Partially and Cascade of Ordered Sets (POS and COS) in aspect of the development of algoritms in the Theory of Relational Databases (TRDB). COS expands the notion of POS by including himself a chain of Partial Orders (PO) wich nested into each other. An example of COS is the Sequence of the Derivation (SD) of the Functional Dependence (FD) from a given set of FDs which have two orders of following and of derivation of some FD from others. The need for restructuring arises in cases of repetitions of the FD in SD, which are transformed into their reuse or, in other words, replicas of any FD are replaced by the outgoing from him nesting. The received results can have an independent value in algebra. In the present paper, so-called logic schemes are used for proofs.