Cтраница 4
В системах баз данных обычно имеют дело с иерархией абстракций данных. Поэтому уместно говорить об уровнях абстракции. Функциональный компонент СУБД, механизмы которого служат для поддержки некоторого уровня абстракции данных, естественно называть архитектурным уровнем СУБД. [46]
Этим трем широким проблемным областям соответствуют три категории решений. В первом случае программу желательно разбить на части. Какая степень детализации будет достаточной, чтобы избавиться от лишних подробностей, сохранив суть задачи. Для этого используется понятие абстракции данных. Например, не следует читать байт, если нужна именно запись. Проблему побочных эффектов можно решить, если есть возможность управлять видимостью элементов программы. Это означает, что элементы программы должны быть доступны только тем частям программы, работа которых совершенно без них невозможна. [47]
На удобочитаемость даже малых фрагментов программы оказывают большое влияние количество и тип имеющихся в этом фрагменте программы деталей. Механизмы абстракции позволяют программисту локализовать в одном месте детали реализации объектов, отражающих концепции произвольной сложности. Наиболее знакомым для всех механизмом абстракции является, конечно, механизм подпрограмм. Механизм подпрограмм, однако, обеспечивает возможность только операционной ( т.е. алгоритмической) абстракции в то время как современные технологии программирования настоятельно требуют наличия механизмов абстракции данных. [48]
В системе COMPASS, описанной в предыдущей главе, также используется некоторая форма эвристической классификации как часть процесса декомпозиции проблем. При анализе отказов системы переключений телефонной сети программа сначала разбивает сообщения об ошибках на группы. Во-первых, такое разбиение необходимо, поскольку для идентификации отказа недостаточно единственного сообщения, а во-вторых, разбиение возможно, поскольку существует эвристика, позволяющая сопоставлять отказы с набором сообщений определенных групп. Но в этой системе можно найти и аналог этапа конкретизации, на котором устраняются неопределенности, остающиеся после группирования. Без неявной абстракции данных на этапе группирования не удалось бы сопоставить сообщения и отказы, а без последующего этапа конкретизации рекомендации, которые формирует система, были бы слишком расплывчаты и неконкретны. [49]
Термин спецификация используется в различных смыслах, что приводит к недоразумениям. При рассмотрении проекта программной системы под спецификацией понимается точное описание используемых понятий, действий и требований. Как отмечается в [14], существует два вида спецификаций. Первый из них ориентирован на определение действий, функций и описывает как единое целое группу операторов или параметризованное выражение. Такая спецификация задается описанием входа-выхода и отображением входных значений в множество выходных. Второй вид спецификаций ориентирован на абстракции данных. Главным здесь является спецификация класса данных, над которым действует группа операций. И в том, и в другом случае полезно рассматривать всю группу как мультипроцедур-ный модуль. Это позволяет скрыть от других модулей всю ин - формацию о взаимодействиях внутри группы. [50]