Formal Models of Object-Oriented Databases
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F08%3A00101278" target="_blank" >RIV/00216208:11320/08:00101278 - isvavai.cz</a>
Alternative codes found
RIV/68407700:21230/08:00146779
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Formal Models of Object-Oriented Databases
Original language description
This article summarizes mathematical formalisms used to describe object and object-oriented databases. Different approaches were used to describe object databases, object database models respectively. We focus on algebraic approaches including graphs, monoid comprehensions, monads and semi-monads, and applied type theory. Especially we introduce formal categorical approach to object database modeling. Several categorical models of object databases are described as well as models of some other formalismsusing category theory. We use category theory as an unifying framework for any useful formalism, its model respectively. Furthermore, category theory is used in order to compare not only different formalisms for object oriented databases but also for different database paradigms comparison, i.e. object, relational, and XML. The vision of developing database framework using formal models and their transformations-based on the MDA concept from OMG-based on category theory is finally sugge
Czech name
Formální modely objektově-orientovaných databází
Czech description
Článek se snaží použít aparát teorie kategorií na srovnání různých databázových modelů, od relačních, přes XML až k objektově-orientovaným.
Classification
Type
D - Article in proceedings
CEP classification
BD - Information theory
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F06%2F0756" target="_blank" >GA201/06/0756: Development of a native storage for XML data</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Objekty 2008
ISBN
978-80-8070-927-3
ISSN
—
e-ISSN
—
Number of pages
14
Pages from-to
—
Publisher name
EDIS Žilinská univerzita
Place of publication
Žilina
Event location
Žilina
Event date
Jan 1, 2008
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—