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

• Date: 2010
• Main Authors: Буй, Д.Б., Кахута, Н.Д., Сільвейструк, Л.М.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2010
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/14639
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування / Д.Б. Буй, Н.Д. Кахута, Л.М. Сільвейструк// Пробл. програмув. — 2010. — № 2-3. — С. 80-88. — Бібліогр.: 16 назв. — укр.

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