Объектно-ориентированные базы данных
Позволяют хранить данные произвольной степени сложности (детали САПР) и вида (звук, изображение). Позволяют программировать на уровне инфологической модели, т.е. исчезают заботы о нормализации. Новые алгоритмы могут работать одновременно со старыми, обеспечивая преемственность. Например, если бухгалтерские проводки в следующем году проходят по новой схеме, переход на нужную схему в зависимости от даты СУБД выполнит сама.
Реализация для ООБД на формальном языке:
{«*»(1.1) ~> psumma(sClient.num_sch=Schet.num_sch(Schet, Client)), «:=»(True) ~> pPremia(Client)}
Порядок действий:
1 Умножение счетов на 1.1
1.1 Операция селекции выбирает множество счетов
1.2 Операция проекции выбирает интересующую часть счета – сумму
1.3 На суммы посылается операция «умножить» с аргументом 1.1
2 Пометка клиентов, как получивших премию
2.1 Операция проекции выделяет интересующую часть информации о клиенте – атрибут «премия»
2.2 Операция присвоения посылается на выделенный атрибут «премия» с аргументом True
Примечание 1: В операция селекции и проекции имеется некоторое отличие от операций реляционной алгебры. Например, операция проекции, выбирающая сумму, возвращает множество сумм. На самом деле множество сумм содержит не суммы, а идентификаторы атомарных объектов, хранящих суммы. Поэтому множество может содержать несколько одинаковых сумм и не теряется связь данных с оригинальным объектом-хранителем (счетом).
Примечание 2: Оба изменения происходят в пределах одной транзакции, поскольку эти действия являются экземплярами одного множества. Оба порядка действий: «сначала умножить, потом – пометить» и «Сначала пометить, потом – умножить» равноправны, поскольку действия хранятся в множестве. Если порядок важен, т.е. второе воздействие использует результат первого, то необходимо использовать не множество, а последовательность.
Операции над сложными структурами транзитивно распространяются на операции над компонентами по алгоритмам, описанным выше в разделе «Уточнение методов решения задачи». Таким образом, нет нужды во многих случаях писать циклы, обработку вложенных структур. Использование итераторов позволяет создавать собственный алгоритм выбора элементов для обработки циклов.
