Detail projektu
Modelování dědičnosti pomocí limit
Období řešení: 1. 1. 1997 – 31. 12. 1997
Typ projektu: grant
Název anglicky
Inheritance modelling using limits
Typ
grant
Klíčová slova
Multiple Inheritance - Category Theory - Object-Oriented Data Model - Formal
Foundations
Abstrakt
Objektově orientovaný databázový model stále postrádá formální teoretickou
podporu. Existují již některé výsledky týkající se formální specifikace objektově
relačního modelu. Ty však nepodporují plně vícenásobnou dědičnost. Cílem
navrhovaného projekt
Řešitelé
Kolenčík Petr, Ing.
– hlavní řešitel