This paper is concerned with a formal model for object databases. Category theory is used to de�ne the Product model � a formal notation for representing features of an object based database. In particular � we will examine how this model deals with three of the most important problems inherent in object databases � those of queries � closure and views � as well as how our model deals with more common database concepts � such askeys � relationships � aggregation � etc. We will implement a prototype of this model using P�FDM � a semantic database system based on the functional model of Shipman � with object�oriented extensions.
Generally, one expects to find the solution to the growing need for database support in non-traditio...
This research explores an approach of integrating the strengths of two known technologies in the dat...
Abstract. More work is needed on devising practical, but theoretically wellfounded procedures for do...
The relational data model uses set theory to provide a formal background, thus ensuring a rigorous m...
PhD ThesisThe relational data model uses set theory to provide a formal background, thus ensuring...
Abstract. 3 This article summarizes mathematical formalisms used to describe ob-ject and object-orie...
Category theory has been developed over the last 50 years as a multi-level mathematical workspace ca...
The database can be viewed as a (relational model), as a collection of record types and sets (networ...
This paper focuses on a formal approach * for advanced database modeling and design. It is based on ...
This article presents a formal description of object models in terms of unified object-oriented data...
The paper presents a formal description of object models in terms of a unified metamodel for object-...
The: research on view mechanisms for object-oriented databases can be classified into two independen...
objects are a different class of objects. Their presence improves the data model in its ability to r...
Most common database management systems represent information in a simple record-based format. Seman...
A semantic data model is introduced with the following capabilities: (1) Abstraction mechanisms for ...
Generally, one expects to find the solution to the growing need for database support in non-traditio...
This research explores an approach of integrating the strengths of two known technologies in the dat...
Abstract. More work is needed on devising practical, but theoretically wellfounded procedures for do...
The relational data model uses set theory to provide a formal background, thus ensuring a rigorous m...
PhD ThesisThe relational data model uses set theory to provide a formal background, thus ensuring...
Abstract. 3 This article summarizes mathematical formalisms used to describe ob-ject and object-orie...
Category theory has been developed over the last 50 years as a multi-level mathematical workspace ca...
The database can be viewed as a (relational model), as a collection of record types and sets (networ...
This paper focuses on a formal approach * for advanced database modeling and design. It is based on ...
This article presents a formal description of object models in terms of unified object-oriented data...
The paper presents a formal description of object models in terms of a unified metamodel for object-...
The: research on view mechanisms for object-oriented databases can be classified into two independen...
objects are a different class of objects. Their presence improves the data model in its ability to r...
Most common database management systems represent information in a simple record-based format. Seman...
A semantic data model is introduced with the following capabilities: (1) Abstraction mechanisms for ...
Generally, one expects to find the solution to the growing need for database support in non-traditio...
This research explores an approach of integrating the strengths of two known technologies in the dat...
Abstract. More work is needed on devising practical, but theoretically wellfounded procedures for do...
Add to ORKG