Le raffinement du schéma corrige un schéma de programme pour rendre le programme utilisable.
Vous trouverez beaucoup plus d'informations sur le raffinement des schémas sur les sites Web suivants :
- pages.cs.wisc.edu/~dbbook/openAccess/firstEdition/slides/pdf
- fr.wikipedia.org/wiki/Schema
- fr.wikipedia.org/wiki/Program_refinement
Une conférence indique que le raffinement du schéma est la meilleure façon de décrire une application en ce qui concerne ce qui doit aller où créer l'application. Le lien fourni peut vous offrir plus d'indices sur ce qu'est le raffinement de schéma.
Le deuxième lien posté vous indique ce que signifie schéma. Selon Wiki, c'est un mot grec qui signifie forme ou plan au sens littéral. Cela signifie que le schéma peut faire référence à un modèle, un diagramme ou un schéma. Étant donné que le raffinement de schéma semble traiter de l'informatique, vous pouvez alors en déduire que le raffinement de schéma est le raffinement d'un schéma informatique.
Le troisième lien est également un lien Wiki qui parle du raffinement du programme. Le raffinement de programme est considéré comme une méthode formelle dans laquelle des transformations vérifiables se produisent pour créer un programme exécutable.
Revenons un instant au premier lien. Le premier lien parlait de redondances et de schémas. Ces diagrammes ou schémas montraient le programme mis en place et le besoin de redondances. Il parlait également de la façon dont les redondances peuvent être difficiles pour la création du programme dans son ensemble.
Dans une définition claire, le raffinement du schéma correspond aux « étapes » que l'on prend pour corriger un programme afin de s'assurer qu'il est utilisable en utilisant une conception de style de diagramme afin de trouver les problèmes et de dire au programme comment fonctionner. Une définition est que c'est l'étude de l'endroit où les choses doivent aller dans un système de SGBD. Ce n'était qu'une note de cours d'un cours d'informatique.