Фрилансеры предложат решение вашей задачи уже через несколько минут!
Публикация заказа не займет много времени.
Дмитрий Самбулов
31 год, Россия
7 лет в сервисе
Был онлайн 4 года назад

Алгебра типов как средство оперирования спецификациями типов в объектных моделях данных

План реферата
1. Абстрактне типы данных (АТД). Определение отношения подтипа и отношения уточнения типов. Как доказывать правильность определения отношения подтипа и уточнения в Нотации абстрактных машин [1, 2 section 1]

2. Алгебра типов и ее роль в канонической объектной модели (семантика запросов) и как средства определения уточняющих композиций типов [3, 2 section 3]

3. Спецификации абстрактных типов данных – в канонической объектной модели и в формальных моделях. Мотивация применения формальных методов [2 section 2, 5, 6,7,8]

4. Примеры использования алгебры типов для конструирования уточняющих композиций спецификаций типов (в канонической объектной модели) в процессе проектирования интероперабельных систем и интегрированных баз данных, при определении типа результата запроса в объектных моделях данных [9,4, 10 стр 15-21]
Литература

1) B.Liskov, J.Wing. A behavioral notion of subtyping. ACM Transactions m Programmmg Languages and Systems, Vol 16, N 6, November 1994, Pages 1811-1841. http://synthesis.ipi.ac.ru/synthesis/student/dot/references/p1811-liskov.pdf
2) Formal specifications as sound foundation for the design with reuse. http://synthesis.ipi.ac.ru/synthesis/student/dot/references/FORMCHPTdot.pdf
3) Kalinichenko L.A. Compositional Specification Calculus for Information Systems Development Advances in Databases and Information Systems: Proc. of the Third East European Conference. LNCS 1691. -- Berlin-Heidelberg: Springer-Verlag, 1999. -- P. 317--331. http://synthesis.ipi.ac.ru/synthesis/publications/cscalc/cscalc.ps
4) Kalinichenko L.A., Zadorozhny V.I. Type Inferencing Based on Complete Type Specifications. Advances in Databases and Information Systems: Proc. of the Second International Workshop ADBIS'95. Workshops in Computing Series. Published by Springer-Verlag in collaboration with the British Computer Society. -- Gateshead: Athenaeum Press Ltd., 1995. -- P. 207--219. http://synthesis.ipi.ac.ru/synthesis/publications/typeinf/typeinf.ps
5) Dominique Cansell, Dominique M´ery. FOUNDATIONS OF THE B METHOD, Computing and Informatics, Vol. 22, 2003, 1–31. http://synthesis.ipi.ac.ru/synthesis/student/dot/references/B-Method.pdf
6) Kalinichenko L.A., Stupnikov S.A., Martynov D.O. SYNTHESIS: a Language for Canonical Information Modeling and Mediator Definition for Problem Solving in Heterogeneous Information Resource Environments. Moscow: IPI RAN, 2007. - 171 p. http://synthesis.ipi.ac.ru/synthesis/publications/07synthesis/07synthesis.pdf
7) Canonical Object Model (canofoil.ps) http://synthesis.ipi.ac.ru/synthesis/student/oodb/canofoil.ps
8) Язык СИНТЕЗ как ядро канонической информационной модели (6.ppt) http://synthesis.ipi.ac.ru/synthesis/student/SpecSem/6
9) Briukhov D.O., Kalinichenko L.A., Skvortsov N.A. Information sources registration at a subject mediator as compositional development. Advances in Databases and Information Systems: Proc. of the 5th East European Conference. LNCS 2151. -- Berlin-Heidelberg: Springer-Verlag, 2001. -- P. 70--83. http://synthesis.ipi.ac.ru/synthesis/publications/registration/registration.ps
10) OODB: Manifestos, Foundations, Standards + ODMG + SQL1999+2003 Pages: 55 – 92, http://synthesis.ipi.ac.ru/synthesis/student/oodb/objretut.ps

Выбранный исполнитель

Юлия Киевская
33 года, Украина
9 лет в сервисе
Была онлайн 1 год назад
6 лет назад

$50

30 дней

ТОП-50 — Рефераты, Курсовые и Дипломы
Отзыв заказчика
Спасибо
Отзыв фрилансера
Спасибо за интересную работу.