Лекция 12 Фактографические системы (2 часа)

1. Предметная область.

2. Концептуальные средства описания.

3. Модель сущность-связь.

4. Создание логической модели БД

1. Предметная область

Понятие "предметная область" является базисным понятием в теории БД и поэтому не имеет строгого определения.

Объект - это то, что существует вне нас и независимо от нашего созна­ния, явления внешнего мира и материальной действительности.

Предмет - это объект, ставший носителем определенной совокупности свойств и входящий в различные взаимоотношения, которые представля­ют интерес для потребителей информации.

Понятие "предметная область" соответствует точке зрения потребите­лей информации на объектное ядро, при которой выделяются только те свойства объектов и взаимосвязи между ними, которые представляют определенную прагматическую ценность и должны фиксироваться в базе данных. Таким образом, предметная область представляет собой абстрактную картину реальной действительности, определенная часть которой фиксируется в качестве модели фрагмента действительности.

Предметную область можно определить как класс всех действительно возможных последовательностей состояний. Такие последовательности называются траекториями предметной области. Совокупность всех общих свойств траекторий называется семантикой предметной области.

2. Концептуальные средства описания предметной области

Тип - это понятие, объединяющее все объекты данного типа. В отличие от объекта, существующего в данный момент в конкретном месте, тип не имеет пространственно-временной локализации. Он охватывает все существовавшие, существующие и мыслимые объекты, относимые к данному типу. Типы обеспечивают непротиворечивое объединение локальных "точек зрения" различных групп пользователей. Каждый тип имеет уникальное имя.

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

Отношение между типами . Пусть S – фиксмрованное множество типов. Т.к. в каждый момент времени t двум типам T₁ и T₂ соответствуют два множества объектов (T₁)^t_ob и (T₂)^t_ob , то между ними существуют определенные теоретически множественные отношения, например, (T₁)^t_ob (T₂)^t_ob или (T₁)^t_ob ∩ (T₂)^t_ob = . Эти отношения могут носить случайный характер или, наоборот, быть справедливыми для любых значений t. Во втором случае они, как правило, выражают устойчивые закономерности предметной области. Чтобы иметь возможность отразить эти аксиомы в концептуальной модели, множество S снабжается отношением частичного порядка, которое принято обозначать IS-A. Это от­ношение интерпретируется следующим образом: "Если Т₁ IS-A Т₂, то в любой момент времени t каждый объект типа Т₁ является объектом типа Т₂". Други­ми словами, справедлива следующая аксиома: . Если множество типов S конечно, то его можно изобразить в виде ори­ентированного графа, вершины которого помечены именами типов, а дуги соединяют те вершины, которые находятся в отношении IS-A. На рисунке представлен фрагмент такого графа.

Операции над типами. Наиболее употребительными являются операции соответствующие обычным теоретико-множественным конструкциям. Эти операции порождают новые типы, которые сначала не были определены. Например,

ЧЕЛОВЕК = МУЖЧИНА ЖЕНЩИНА

МУЖЧИНА ЖЕНЩИНА =