Связи между объектами
В реальном мире между предметами существуют различные отношения. Если предметы моделируются как объекты, то отношения, которые систематически возникают между различными видами объектов, отражаются в информационных моделях как связи. Каждая связьзадается в модели определенным именем. Связи в графической форме представляется как линии между связанными объектами и обозначается идентификатором связи.
Существует три вида связи: один-к-одному, один-ко-многим и многие ко многим.
Связь один-к-одному существует, когда один экземпляр одного объекта связан с единственным экземпляром другого. Связь один-к-одному обозначается стрелками ← и →.
Связь один-ко-многим существует, когда один экземпляр первого объекта связан с одним (или более) экземпляром второго объекта, но каждый экземпляр второго объекта связан только с одним экземпляром первого. Множественность связи изображается двойной стрелкой →→.
Связь многие-ко-многим существует, когда один экземпляр первого объекта связан с одним или большим количеством экземпляров второго и каждый экземпляр второго связан с одним или многими экземплярами первого. Этот тип связи изображается двусторонней стрелкой ↔.
Помимо множественности, связи могут подразделяться на безусловные и условные. В безусловной связи для участия в ней требуется каждый экземпляр объекта. В условной связи принимают участие не все экземпляры объекта. Связь может быть условной как с одной, так и с обеих сторон.
Все связи в информационной модели требуют описания, которое, как минимум, включает:
o идентификатор связи;
o формулировку сущности связи;
o вид связи (ее множественность и условность);
o способ описания связи с помощью вспомогательных атрибутов объектов.
Дальнейшее развитие представлений информационного моделирования связано с развитием понятия связи, структур, или образуемых, и задач, которые могут быть решены на этих структурах.
Таким образом, типы данных в программировании тесно связаны с определенными информационными моделями данных.
Еще более общей информационной моделью является, так называемая, графовая структура. Графовые структуры являются основой решения огромного количества задач информационного моделирования.
Многие прикладные задачи информационного моделирования были поставлены и изучены достаточно давно, в 50-60-х годах, в связи с активно развивавшимися тогда исследованиями и разработками по научным основам управления в системах различной природы и в связи с попытками смоделировать с помощью компьютеров психическую деятельность человека при решении творческих интеллектуальных задач. Научное знание и модели, которые были получены в ходе решения этих задач, объединены в науке под названием «Кибернетика», в рамках которой существует раздел «Исследования по искусственному интеллекту».