General theoretical-set constructions of complete image, restriction, compatibility: properties and applications

D.B. Buy, N.D. Kakhuta, L.M. Silveystruk

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.

Problems in programming 2010; 2-3: 80-88


References


Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1965. – 391 с.

Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1986. – 367 с.

Редько В.Н., Брона Ю.Й., Буй Д.Б.,. Поляков С.А. Реляційні бази даних: табличні алгебри та SQL-подібні мови. – К.: Видавничий дім

"Академперіодика", 2001. – 198 с.

Клини С.К. Введение в метаматематику. М.: "ИЛ", 1957. – 526 с.

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. К.: Наук. думка, 1978. – 318 с.

Cook S., Kleppe A., Mitchell R., Rumpe B., Warmer J., Wills A. The Amsterdam Manifesto on OCL. – UML 2.0 Request for information

response: OMG Analysis & Design PTF, 1999 [Електронний ресурс]. – Точка доступу: http://www.trireme.com/whitepapers/design/components/OCL_manifesto.PDF.

Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1. – М.: Мир, 1978. – 616 с.

Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М.: Мир, 1983. – 256 с.

Манна З. Теория неподвижной точки программ // Киб. сб. Нов. сер. – М.: Мир, 1978. – Вып. 15. – С. 38–100.

Мальцев А.И. Алгебраические системы. М.: Наука, 1970. – 392 с.

Скорняков Л.А. Элементы теории структур. М.: Наука, 1982. – 158 с.

Редько В.Н., Буй Д.Б. К основаниям теории реляционных моделей баз данных // Кибернетика и системный анализ. – 1996. – № 4. – С. 3–12.

Редько В.Н., Брона Ю.И., Буй Д.Б. Реляционные алгебры: операции проекции и соединения // Кибернетика и системный анализ. – 1997. – № 4. – С. 89–100.

Редько В.Н., Брона Ю.Й., Буй Д.Б. Реляционные алгебры: операции деления и переименования // Кибернетика и системный анализ. – 1997. – № 5. – С. 3–15.

Кахута Н.Д., Буй Д.Б. Властивості теоретико-множинних конструкцій повного образу та обмеження // Вісник Київського університету. Сер. фіз.-мат. науки. – 2005. – Вип. 2. – С. 232–240.

Кахута Н.Д., Буй Д.Б. Властивості відношення конфінальності та устрій множини часткових функцій // Вісник Київського університету. Сер. фіз.-мат. науки. – 2006. – Вип. 2. – С. 125–135.


Refbacks

  • There are currently no refbacks.