El refinamiento del esquema consiste en corregir el esquema de un programa para que sea utilizable.
Encontrará mucha más información sobre el refinamiento de esquemas en los siguientes sitios web:
- pages.cs.wisc.edu/~dbbook/openAccess/firstEdition/slides/pdf
- en.wikipedia.org/wiki/Schema
- en.wikipedia.org/wiki/Program_refinement
Una conferencia establece que el refinamiento del esquema es la mejor manera de describir una aplicación con respecto a lo que necesita ir donde crear la aplicación. El enlace proporcionado puede ofrecerle más pistas sobre qué es el refinamiento del esquema.
El segundo enlace publicado le dice qué significa esquema. Según Wiki es una palabra griega que significa forma o en el sentido literal plan. Significa que esquema puede referirse a un modelo, diagrama o esquema. Dado que el refinamiento de esquemas parece tratar con la informática, puede inferir que el refinamiento de esquemas es el refinamiento de un esquema de computadora.
El tercer enlace también es un enlace Wiki que habla sobre el refinamiento del programa. El refinamiento del programa se considera un método formal en el que se producen transformaciones verificables para crear un programa ejecutable.
Volvamos al primer enlace por un momento. El primer enlace hablaba de redundancias y mostraba diagramas. Estos diagramas o esquemas mostraban la configuración del programa y la necesidad de redundancias. También se habló de cómo las redundancias pueden resultar difíciles para la creación del programa en su conjunto.
En una definición clara, el refinamiento del esquema son los "pasos" que se toman para corregir un programa y asegurar que sea utilizable usando un diseño de estilo de diagrama para encontrar los problemas y decirle al programa cómo trabajar. Una definición es que es el estudio de dónde deben ir las cosas en un sistema DBMS. Esta fue solo una nota de clase de un curso de informática.