Normalization by second order graphs: A visual alternative to simplify systems / Normalización mediante grafos de Segundo orden: una alternativa visual para simplificar sistemas
E-Cienc. inf
; 11(1)jun. 2021.
Article
em En
| LILACS, SaludCR
| ID: biblio-1384744
Biblioteca responsável:
CR1.1
ABSTRACT
Abstract This issue stems from the need for tools to analyze and make decisions around complex systems, where they apply the rules for linearly dependent sets, with the purpose of providing a visual tool, which serves to support complexity reduction processes. Two great precedents are Armstrong's Axioms, which has been applied from its publication to the present for database normalization, the other is set theory, a fundamental pillar of the Structured Query Language; based on them, together with the second-order logic, which adds qualifiers for subsets or properties, this work has been prepared, with an explanatory metrology with a qualitative approach, in an axiomatic system. As a result, a support tool has been provided to analyze complex systems naturally, by breaking cycles and detecting patterns, without interfering with existing models; however, for large systems it can be difficult to address it in its entirety, so it is recommended to divide by subsystems. With this work a technique has been accomplished, repeatable by anyone, but with a strong theoretical foundation. This work has great utility for the normalization of relational databases and an enormous potential for application in the design of systems beyond computational systems, it is also useful for understanding dependencies by their axiomatic nature.
RESUMEN
Resumen Este tema nace de la necesidad de herramientas para analizar y tomar decisiones en torno a sistemas complejos, donde apliquen las reglas para conjuntos linealmente dependientes, con el fin de proporcionar una herramienta visual, que sirva de apoyo a procesos de reducción de la complejidad. Dos grandes precedentes son los Axiomas de W. Armstrong, el cual se ha aplicado desde su publicación hasta la actualidad para la normalización de bases de datos, el otro es la teoría de conjuntos, pilar fundamental del Lenguaje de Consultas Estructurado; en base a ellos, junto con la lógica de segundo orden, la cual añade cualificadores para subconjuntos o propiedades se ha elaborado este trabajo, con una metrología explicativa con enfoque cualitativo, en un sistema axiomático. Como resultado se ha proporciona una herramienta de soporte para analizar sistemas complejos de forma natural, rompiendo ciclos y detectando patrones, sin interferir con los modelos existentes; sin embargo, para sistemas de gran tamaño puede ser difícil abordarlo en su totalidad, por lo que se recomienda dividir por subsistemas. Con este trabajo se ha consumado una técnica, repetible por cualquiera, pero con fuerte fundamento teórico. Este trabajo tiene gran utilidad para la normalización de bases de datos relacionales y un enorme potencial de aplicación en el diseño de sistemas más allá de los sistemas computacionales, también resulta útil para la comprensión de dependencias por su naturaleza axiomática.
Palavras-chave
Texto completo:
1
Coleções:
01-internacional
Base de dados:
LILACS
/
SaludCR
Assunto principal:
Análise de Sistemas
/
Sistemas Computacionais
/
Bases de Dados como Assunto
Tipo de estudo:
Prognostic_studies
/
Qualitative_research
Idioma:
En
Revista:
E-Cienc. inf
Assunto da revista:
CIÒNCIA DA INFORMAÇO
/
Cincias Humanas
/
Cincias Sociais
Ano de publicação:
2021
Tipo de documento:
Article
País de afiliação:
Costa Rica
País de publicação:
Costa Rica