Розглядаються композиційні моделі маніпуляційних дій в базах даних: функції, що зберігають денотати, властивості характеристик функцій; взаємовідношення класу функцій, що зберігають денотати, та класу обчислювальних функцій; програмні алгебри функцій, що зберігають денотати; необхідні умови повноти в таких алгебрах.