Сравнение различных моделей данных концептуального уровня.

Сравнение будем производить на основе оценки возможностей каждой из моделей отразить в явном виде семантику предметной области.

Самой слабой в этом отношении является первая модель. Без указания в том или ином виде функциональных взаимосвязей между атрибутами нельзя принимать обоснованные проектные решения.

Вторая модель (реляционная с указанием взаимосвязей) несомненно лучше. Однако требуется проводить серьезный неформальный анализ информации о предметной области для того, чтобы указать необходимый набор связей. Кроме того данная модель не позволяет использовать атрибуты сложных типов, что существенно затрудняет конструирование модели.

В функциональной модели данных отмеченные недостатки устранены:

• строгая типизация атрибутов позволяет тщательно их классифицировать и на этой основе полнее выразить семантику предметной области;

допускается последовательная декомпозиция объектов и атрибутов, что облегчает процесс конструирования модели;

анализ функциональных зависимостей более формализован за счет типизации атрибутов.

Однако при необходимости отобразить схемы классификации объектов, присущие предметной области приходится использовать представления вне ФМД.

Модель Смиттов позволяет устранить последний недостаток. Но так как она базируется на реляционной модели, то ей присущи основные недостатки последней.

Добавление в ФМД атрибутов-категорий делает ее удобной во многих отношениях для конструирования концептуальной модели данных.

Перечисленные модели не позволяют в явном виде агрегировать объекты. Модель CODASYL предоставляет такую возможность.

В этой модели сохраняются возможности строгой типизации атрибутов и через механизм наборов возможно агрегировать компоненты модели в сложные конструкции. Однако путь агрегирования не указан.

Несмотря на все преимущества рассмотренных моделей выразить с необходимой полнотой информацию о предметной области и принятых проектных решениях не удается. Остается вопрос о введении и спецификации специальных классов объектов, которые поддерживали бы определенные методики проектирования. Явная спецификация избыточности средствами модели также не возможна.

Рассмотренные модели - это модели данных и процедурные спецификации в этих моделях отсутствуют.

Методики конструирования моделей данных Методика построения локальных моделей данных на основе выделения баэовых действий.

Разработка модели данных в соответствии с данной методикой предполагает выполнение следующей последовательности операций:

1. Выделение базовых действий по схеме требований действий.

2. Построение локальной модели данных для каждого из выделенных базовых действий.

3. Построение композиционной модели данных. 4. Нормализация композиционной модели данных.

Выделение базовых действий осуществляется путем анализа схемы требований действий. Обычно выбираются действия 2 - 3 уровня детализации по схеме требований действий. Необходимо выбрать такую совокупность действий, которая охватывает необходимое множество объектов и связей между ними ;

- локальные модели отдельных действий не должны быть большими по количеству объектов и связей;

- желательно, чтобы локальные модели отдельных действий не дублировали друг друга.

Первое требование связано с полнотой получаемой композиционной МД. Второе требование связано с необходимостью декомпозиции процесса построения модели данных путем последовательного построения небольших локальных моделей. Третье требование связано с исключением дублирования и уменьшением объема работы.

Методики построения локальной модели данных включают в себя объявление атрибутов с указанием их типов, входных параметров и вида связи.

Построение локальной модели данных путем объявления атрибутов включает в себя следующие действия:

1. Объявление совокупности атрибутов (функций доступа), небходимых для выполнения заданного действия.

2. Для каждого атрибута выбираются из уже объявленных или объявляются вновь входные и выходной объекты, и вид связи.

Построение локальной модели путем объявления объектов включает в себя следующие действия:

1. Объявление совокупности объектов, связи между которыми необходимы для выполнения заданного действия.

2. На заданном множестве объектов последовательно объявляются связи путем указания входных объектов,выходного объекта, вида связи и идетификатора связи (имени атрибута).

3. При необходимости дополнительно объявляются новые объекты.