Formální modely objektově-orientovaných databází

Kód výsledku v 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>

Nalezeny alternativní kódy

RIV/68407700:21230/08:00146779

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Formal Models of Object-Oriented Databases

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Formal Models of Object-Oriented Databases

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

CEP obor

BD - Teorie informace

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F06%2F0756" target="_blank" >GA201/06/0756: Vývoj nativního úložiště pro XML data</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Objekty 2008

ISBN

978-80-8070-927-3

ISSN

—

e-ISSN

—

Počet stran výsledku

14

Strana od-do

—

Název nakladatele

EDIS Žilinská univerzita

Místo vydání

Žilina

Místo konání akce

Žilina

Datum konání akce

1. 1. 2008

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—