Главная > Документ


Евклид как основоположник
объектно-ориентированных моделей данных

Емельченков Е. П.
г. Смоленск, завкафедрой информатики СмолГУ

Мунерман В. И.
г. Смоленск, доцент кафедры информатики СмолГУ

Вот папка весом в три-четыре кило. Она продается и стоит миллион рублей...

И. Ильф, Е. Петров. Золотой теленок

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

Конечно, Остап Бендер был далеко не первым разработчиком информационной системы, предназначенной для описания объектов реального мира. За тысячи лет до Остапа люди собирали и систематизировали информацию о реальном мире и пользовались ею в процессе своей жизнедеятельности.

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

Среди ранних разработчиков информационных систем, описывающих реальный мир, особо выделился Евклид. Его труд «Начала», написанный в III веке до нашей эры, и по сей день является образцом описания объектной модели реального мира.

Желая описать геометрические свойства реального мира, Евклид выделил в качестве основных объекты «точка» и «прямая» и объект «инцидентна», характеризующий связь между объектами «точка» и «прямая». Затем Евклид описал свойства введенных им основных объектов. Эти свойства Евклид назвал аксиомами. Предложенный Евклидом способ описания информационных систем был назван аксиоматическим.

Аксиоматический метод описания мира оказался настолько удобным, что математики выбрали его в качестве основного для описания своих теорий. Метод выдержал испытание временем  он практически не изменился за прошедшие две тысячи лет. Не удивительно, что информатики также воспользовались этим методом для формального описания информационных систем. В теории информационных систем аксиоматический метод описания определенных частей реального мира почему-то назвали объектным.

Суть объектного подхода к моделированию данных состоит в том, что состояние описываемого мира (или рассматриваемой его части) можно представить в виде набора объектов, а обработку данных свести к операциям над объектами.

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

Покажем теперь, как аксиоматический метод используется при построении информационных систем. Для концептуального описания информационной системы некоторой предметной области требуется:

1) выделить совокупность Mосновных типов объектов . Тип объекта T определяется как многоосновная алгебраическая система. Описание каждого типа объекта включает сигнатуру типа и систему аксиом (ограничений). Другими словами, тип T представляет собой аксиоматическую теорию. Модель аксиоматической теории T называется объектом типа T;

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

,

где f – имя функции,   типы объектов. Тип T называют доменом функции данных f и обозначают .

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

Многоместные функции данных характеризуют связи между объектами информационной системы. Связь вида сопоставляет кортежу объектов типов соответственно объект O типа T;

4) задать ограничения (аксиомы) информационной системы.

Сформированная в результате выполнения пунктов 1-4 объектная модель данных, очевидно, является аксиоматической теорией в общепринятом смысле, то есть в смысле, предложенном Евклидом.

В заключение хочется предостеречь читателя от путаницы с термином «модель». В контексте данной работы объектная модель данных является аксиоматической теорией. Иной смысл имеет термин «модель аксиоматической теории». Моделью построенной в работе аксиоматической теории информационной системы является объектная база данных. В этом смысле объектная база данных – это модель объектной модели данных.

Удивительная наука – информатика. Будучи одной из самых молодых она своими корнями уходит в самую глубину математики. Поэтому мы заканчиваем этот текст словами из книги «Дисциплина программирования» Э. Дейкстры: ";Меня завораживает мысль, что эта статья могла писаться еще в те времена, когда Евклид мог смотреть на нее из-за моего плеча.";



Скачать документ

Похожие документы:

  1. Вопросы к государственному экзамену по программе «разработчик профессионально-ориентированных компьютерных технологий» вмк 2009 год

    Документ
    ... объектно-ориентированных языках, таких как С++, объявление переменной объектного типа также становится и созданием экземпляра данного ... каким-то образом должен быть им заранее передан. Диффи, один из основоположников ... объектно-ориентированноймодели. ...
  2. Керимов усеин люманович теория логического синтеза единого явления речи как микрокосма бытия

    Документ
    ... модель бытия как абсолютного единого явления. В данной ... к объектным, атрибутивным ... Геометрия Евклидакак начальная ... Основоположник этой научной школы – профессор Д. А. Поспелов. Разработаны специальные модели ... компания, ориентированная на производство ...
  3. Около трех с половиной десятилетии минуло с тех пор

    Автореферат диссертации
    ... на объектно-ориентированном языке используется абстрактная модель обработки данных «объект-класс-сообщение». Эта модель носит ... определенной моделиданных. Этот термин, впервые введенный в 70-х годах основоположником теории баз данных Дж ...
  4. Что такое социальная философия? Научный анализ общества «как оно есть» или проповедь о том

    Автореферат диссертации
    ... и натуралистически ориентированным познанием, ... модель социальной коллективности, а модель ... как действительного субъект-объектного и субъект-субъектного опосредования — мы предпримем в данном и последующих разделах данного ... считается основоположником ...
  5. Ра здел 1 культурология как наука введение

    Документ
    ... модели культура оказывается ориентированной на некий лежащий в бесконечности нормативный образ, который определяется как ... объектно-субъектные отношения. Полнота отношений в данной ... выделяются имена Евклида, Архимеда ... Мухаммад – основоположник и пророк ...

Другие похожие документы..