Bei der Schemaverfeinerung wird ein Programmschema korrigiert, um das Programm verwendbar zu machen.
Auf den folgenden Websites finden Sie viele weitere Informationen zur Schemaverfeinerung:
- Seiten.cs.wisc.edu/~dbbook/openAccess/firstEdition/slides/pdf
- de.wikipedia.org/wiki/Schema
- de.wikipedia.org/wiki/Program_refinement
In einer Vorlesung wird erklärt, dass die Schemaverfeinerung der beste Weg ist, um eine Anwendung im Hinblick darauf zu beschreiben, was wohin gehen muss, um die Anwendung zu erstellen. Der bereitgestellte Link bietet Ihnen möglicherweise weitere Hinweise zur Schemaverfeinerung.
Der zweite gepostete Link sagt Ihnen, was Schema bedeutet. Laut Wiki ist es ein griechisches Wort, das Form oder im wörtlichen Sinne Plan bedeutet. Das bedeutet, dass sich das Schema auf ein Modell, ein Diagramm oder einen Schaltplan beziehen kann. Da sich die Schemaverfeinerung mit der Informatik zu befassen scheint, können Sie daraus schließen, dass die Schemaverfeinerung die Verfeinerung eines Computerschemas ist.
Der dritte Link ist ebenfalls ein Wiki-Link, der über Programmverfeinerung spricht. Programmverfeinerung wird als eine formale Methode angesehen, bei der überprüfbare Transformationen erfolgen, um ein ausführbares Programm zu erstellen.
Lassen Sie uns für einen Moment zum ersten Link zurückkehren. Der erste Link bezog sich auf Redundanzen und das Zeigen von Diagrammen. Diese Diagramme oder Schemata zeigten den Programmaufbau und die Notwendigkeit von Redundanzen. Es wurde auch darüber gesprochen, wie schwierig Redundanzen für die Programmerstellung insgesamt sein können.
In einer klaren Definition ist die Schemaverfeinerung die "Schritte", die man unternimmt, um ein Programm zu korrigieren, um sicherzustellen, dass es unter Verwendung eines Diagrammdesigns verwendbar ist, um die Probleme zu finden und dem Programm mitzuteilen, wie es funktioniert. Eine Definition ist, dass es die Untersuchung ist, wohin die Dinge in einem DBMS-System gehen müssen. Dies war nur eine Vorlesungsnotiz aus einem Computerkurs.