Товарищи-программисты, встречал ли кто-либо формальный подход к объектам и объектной модели данных?
Есть вот реляционные СУБД и есть реляционная алгебра, отношения и прочее.
Хотелось бы узреть подобное относительно объектов.
Киньтесь ссылкой, если не затруднит..или хотя бы название книги или статьи.
Здравствуйте, Воронин Павел Валентинович, Вы писали:
ВПВ>Товарищи-программисты, встречал ли кто-либо формальный подход к объектам и объектной модели данных?
ВПВ>Есть вот реляционные СУБД и есть реляционная алгебра, отношения и прочее.
ВПВ>Хотелось бы узреть подобное относительно объектов.
ВПВ>Киньтесь ссылкой, если не затруднит..или хотя бы название книги или статьи.
http://rsdn.ru/res/book/oo/design_patterns.xmlАвтор(ы): Эрих Гамма, Ричард Хелм, Ральф Джонсон, Джон Влиссидес
В предлагаемой книге описываются простые и изящные решения типичных задач,
возникающих в объектно-ориентированном проектировании. Паттерны появились
потому, что многие разработчики искали пути повышения гибкости и степени
повторного использования своих программ. Найденные решения воплощены в краткой и
легко применимой на практике форме. Авторы излагают принципы использования
паттернов проектирования и приводят их каталог. Таким образом, книга
одновременно решает две задачи. Во-первых, здесь демонстрируется роль паттернов
в создании архитектуры сложных систем. Во-вторых, применяя содержащиеся в
справочнике паттерны, проектировщик сможет с легкостью разрабатывать собственные
приложения. Издание предназначено как для профессиональных разработчиков, так и
для программистов осваивающих объектно-ориентированное проектирование.
— это?
Здравствуйте, Воронин Павел Валентинович, Вы писали:
ВПВ>Товарищи-программисты, встречал ли кто-либо формальный подход к объектам и объектной модели данных?
ВПВ>Есть вот реляционные СУБД и есть реляционная алгебра, отношения и прочее.
ВПВ>Хотелось бы узреть подобное относительно объектов.
ВПВ>Киньтесь ссылкой, если не затруднит..или хотя бы название книги или статьи.
Вот неплохая работа tchingiz-а:
http://users.iptelecom.net.ua/~agp1/
Здравствуйте, Воронин Павел Валентинович, Вы писали:
ВПВ>Товарищи-программисты, встречал ли кто-либо формальный подход к объектам и объектной модели данных?
Object calculus —
Cordelli, Abadi — A Theory of Objects
Book Description
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.
-----
По ключевым словам можно нагуглить еще несколько статей и тьюториалов
Здравствуйте, Воронин Павел Валентинович, Вы писали:
ВПВ>Киньтесь ссылкой, если не затруднит..или хотя бы название книги или статьи.
В дополнение к посту тов. z00n'а:
http://lucacardelli.name/Bibliography.htm#Objects
Здравствуйте, Воронин Павел Валентинович, Вы писали:
ВПВ>Товарищи-программисты, встречал ли кто-либо формальный подход к объектам и объектной модели данных?
ВПВ>Есть вот реляционные СУБД и есть реляционная алгебра, отношения и прочее.
ВПВ>Хотелось бы узреть подобное относительно объектов.
ВПВ>Киньтесь ссылкой, если не затруднит..или хотя бы название книги или статьи.
Серия статей в JOT на тему Theory of Classification:
http://www.jot.fm/search_results?PrincipiaSearchSource=%22theory+of+classification%22... << RSDN@Home 1.2.0 alpha rev. 677>>
