Три манифеста баз данных ретроспектива и перспективы

       

Некоторые ключевые логические различия


Существуют некоторые логические различия, которые имеют отношение ко всему дальнейшему – это различия между (a) моделью и реализацией, (b) значением и переменной, и (c) значением, видом и кодировкой.

Различие между моделью и реализацией определяется следующим образом:

  • Модель – это абстрактное, замкнутое, логическое определение объектов, операций и т.д., совместно представляющих абстрактную машину, с которой взаимодействуют пользователи.

  • Реализация данной модели – это физическая реализация компонентов модели на реальной компьютерной системе.

Различие между моделью и реализацией в действительности является важным частным случаем различия между логическим и физическим аспектами системы. Во всем Манифесте и во всей книге Д&Д имеют дело с абстрактной моделью, а не с вопросами реализации. (Под “реализацией” понимается реализация СУБД, а не некоторого приложения, работающего под управлением этой системы.)

Второе логическое различие – это различие между значениями

и переменными (под переменной мы понимаем переменную в обычном смысле языка программирования). Используются следующие определения:

Значение – это “индивидуальная константа” (например, индивидуальная константа “3”).113

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

Переменная – это контейнер вида значения. Переменная имеет позицию во времени и пространстве. Переменные, в отличие от значений, можно модифицировать; т.е. текущее значение данной переменной можно заменить другим значением, возможно, отличным от исходного.

Значения могут быть произвольно сложными; например, значение может быть массивом,   стеком, списком, отношением, геометрической точкой и т.д. Аналогичное замечание относятся и к переменным.



Содержание раздела