Zur Semantik von Vererbung in logischen Objektspezifikationen

Цель работы- интегрировать парадигмы объектно-ориентированного структурирования и спецификаций, основанных на правилах, для баз данных. В основу положены иерархические спецификации объектов и типов объектов, у которых атрибуты описываются через логические правила. Исследуются как локальная, так и глобальная семантики.