Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування

Abstract

Досліджуються загальні властивості теоретико-множинних конструкцій, які використовуються, зокрема, в теорії реляційних баз даних при дослідженні табличних алгебр, побудованих на основі класичних реляційних алгебр Кодда. Розглянуто повний образ множини щодо бінарного відношення та розповсюдження унарних (бінарних) часткових операцій на множини за допомогою повного образу, обмеження бінарного відношення за множиною, проекцію бінарного відношення та відношення сумісності бінарних відношень.

The article is devoted research of general properties of set-theoretic constructions, which are used, in particular, in the theory of relational databases at research of table algebra, which upbuild on the basis of classic Codd‟s relational algebra. The whole image of set relatively a binary relation and of distribution of unary (binary) partial operations on the set with assistance whole image, restriction a binary relation after set, projection of binary relation and consistency relation of binary relations are considered.