ТУРБО-ПРОЛОГ И РЕЛЯЦИОННЫЕ БАЗЫ ДАННЫХ
Турбо-Пролог ориентирован на работу с реляционными БД. Можно указать следующее соответствие понятий:
База данных Турбо-Пролога
| Реляционная база данных
|
предикат БД
| Отношение
|
объект(аргумент)
| Атрибут
|
отдельное утверждение
| Элемент отношения
|
количество утверждений
| Мощность
|
Пусть в разделе clauses имеется следующий факт:
member_party(”Вольфович”,50,100,”n”).
Предикат member_party имеет четыре аргумента: партийное имя, возраст, членский взнос (в рублях), отметка об уплате.
Поскольку введенная ранее терминология Турбо-Пролога прилагается к реляционным базам данных, то все понятия приобретают новое значение:
набор атрибутов Name,Age,Pay и Payment называется реляционной схемой отношения member_party, где арность отношения равна четырем и мощность отношения равна одному.
Совокупность утверждений предиката member_party составляет СТАТИЧЕСКУЮ БД, так как эти утверждения являются частью программного кода и не могут быть изменены во время выполнения программы. Также в Турбо-Прологе имеются специальные средства и для организации динамических баз данных, и для работы с внешними базами данных, расположенными на жестком диске. Рассмотрим подробно способы организации динамических БД.