Примитивные взаимодействия
(1) m(B) ~> fail º fail; fail(B) ~> r º fail;
(2) m(B) ~> null º null; null(B) ~> r º null;
(когда m¹ fail)
(3) m(B) ~> same º same; same(B) ~> r º r;
(когда m¹ fail и m¹ null)
Разработка прототипа системы управления объектно-ориентированной базой данных