Расширение формализма дедуктивных баз данных с целью поддержки сложных объектов с иерархической структурой

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