Логическое (даталогическое) проектирование
создатель Максим Савосько

1. Логическое (даталогическое) проектирование
1.1. создание схемы базы данных на основе конкретной модели данных, например, реляционной модели данных.Для реляционной модели данных даталогическая модель — набор схем отношений, обычно с указанием первичных ключей, а также «связей» между отношениями, представляющих собой внешние ключи. Преобразование концептуальной модели в логическую модель, как правило, осуществляется по формальным правилам.
2. Логическая модель
2.1. Модель в представлении знаний. Основная идея подхода при построении логических моделей представления знаний — вся информация, необходимая для решения прикладных задач, рассматривается как совокупность фактов и утверждений, которые представляются как формулы в некоторой логике. Знания отображаются совокупностью таких формул, а получение новых знаний сводится к реализации процедур логического вывода. В основе логических моделей представления знаний лежит понятие формальной теории, задаваемое кортежем: S=<B,F,A,R>, где: B — счетное множество базовых символов (алфавит); F — множество, называемое формулами; A — выделенное подмножество априори истинных формул (аксиом); R — конечное множество отношений между формулами, называемое правилами вывода.
3. Этап даталогического проектирования.
3.1. Этап логического проектирования не заключается только в проектировании схемы отношений. В результате выполнения этого этапа, как правило, должны быть получены следующие результирующие документы: · Описание концептуальной схемы БД в терминах выбранной СУБД. · Описание внешних моделей в терминах выбранной СУБД. · Описание декларативных правил поддержки целостности БД. · Разработка процедур поддержки семантической целостности БД.
4. Особенности даталогических моделей
4.1. Внутризаписная структура
4.1.1. В базах данных со структурированными моделями следует различать внутризаписную и межзаписную структуры. Внутризаписная структура может быть либо линейной, либо иерархической. При линейной структуре запись состоит из простых элементов (часто называемых полями), которые следуют в записи один за другим, т. е. структура записи является нормализованной.
4.2. Межзаписная структура
4.2.1. Традиционное деление СУБД по типу модели данных на реляционные, иерархические и сетевые основывается на характере связей между записями. При всей разнице в терминологии можно считать, что основными компонентами любой из этих моделей являются файлы, которые состоят из записей.