Search academic texts

Registration Number

0502U000351, Doctoral dissertation

Status

д.ф.-м.н.

Date

26-09-2002

popup.evolution

o

Title

Theory of compositional type program algebras and its applications

Author

Byi Dmytro,

popup.head Red'ko Volodymyr Nykyforovych
popup.opponent Кривий Сергій Лук'янович
popup.opponent Анісімов Анатолій Васильович
popup.opponent Провотар Олександр Іванович

Description

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

Registration Date

2002-09-26

popup.nrat_date

2020-04-04