Уточнение схемы - это исправление схемы программы, чтобы ее можно было использовать.
Вы найдете гораздо больше информации об уточнении схемы на следующих веб-сайтах:
- pages.cs.wisc.edu/~dbbook/openAccess/firstEdition/slides/pdf
- en.wikipedia.org/wiki/Schema
- en.wikipedia.org/wiki/Program_refinement
В лекции говорится, что уточнение схемы - лучший способ описать приложение в отношении того, что нужно делать, чтобы создать приложение. Приведенная ссылка может предложить вам еще несколько подсказок о том, что такое уточнение схемы.
Вторая размещенная ссылка сообщает вам, что означает схема. Согласно Wiki, это греческое слово, обозначающее форму или в буквальном смысле план. Это означает, что схема может относиться к модели, диаграмме или схеме. Поскольку уточнение схемы, похоже, имеет дело с информатикой, вы можете сделать вывод, что уточнение схемы - это уточнение компьютерной схемы.
Третья ссылка также является ссылкой Wiki, в которой рассказывается об уточнении программы. Уточнение программы считается формальным методом, в котором происходят проверяемые преобразования для создания исполняемой программы.
Вернемся ненадолго к первой ссылке. Первая ссылка говорила об избыточности и отображении диаграмм. Эти диаграммы или схемы показывали настройку программы и необходимость дублирования. Также говорилось о том, что дублирование может быть затруднено для создания программы в целом.
В четком определении уточнение схемы - это «шаги», которые необходимо предпринять для исправления программы, чтобы гарантировать, что ее можно использовать с использованием дизайна в стиле диаграммы, чтобы найти проблемы и сообщить программе, как работать. Одно определение состоит в том, что это исследование того, что нужно делать в системе СУБД. Это была всего лишь одна лекция из курса компьютеров.