## Algebraic Graph-Based Approach to Management of Multi-Base Systems,II: Mathematical Aspects of Schema Integration (1995)

Venue: | TR-9502, FRAME INFORM SYSTEMS |

Citations: | 34 - 18 self |

### BibTeX

@ARTICLE{Diskin95algebraicgraph-based,

author = {Zinovy Diskin},

title = {Algebraic Graph-Based Approach to Management of Multi-Base Systems,II: Mathematical Aspects of Schema Integration},

journal = {TR-9502, FRAME INFORM SYSTEMS},

year = {1995}

}

### Years of Citing Articles

### OpenURL

### Abstract

### Citations

1062 | Federated Database Systems for Managing Distributed
- Sheth, Larson
- 1990
(Show Context)
Citation Context ...he organization of the FDBS environment. Significance of the problem is well known, various approaches, techniques and sometimes tools were proposed (see, eg, [11, 21, 33, 34, 28, 27, 23] and surveys =-=[4, 25]-=-). In spite of the diversity of approaches, several common points can be well identified. Integration consists of schema integration -- composing a global schema from the set of local ones, and data i... |

568 | A comparative Analysis of Methodologies for Database Schema Integration
- Batini, Lenzerini, et al.
- 1986
(Show Context)
Citation Context ...he organization of the FDBS environment. Significance of the problem is well known, various approaches, techniques and sometimes tools were proposed (see, eg, [11, 21, 33, 34, 28, 27, 23] and surveys =-=[4, 25]-=-). In spite of the diversity of approaches, several common points can be well identified. Integration consists of schema integration -- composing a global schema from the set of local ones, and data i... |

508 | Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992 |

418 |
Category theory for computer science
- Barr, Wells
- 1999
(Show Context)
Citation Context ...very graphical images can be considered as precise formal specification(like, eg, FOL theories). A similar idea was developed in category theory through the concept of sketch (a standard reference is =-=[3]-=-). Actually, our framework is a sketch-like generalization of the ordinary FOL formalism (normally supporting mathematical structures over sets) for the case of structures over graphs.The essence of t... |

333 | The Object-Oriented Database System Manifesto
- Atkinson, Bancilhon, et al.
- 1989
(Show Context)
Citation Context ...t) questions mentioned above is possible only within a formal semantics framework for semantic modeling and integration. The lack of such a framework is commonly recognized (see, eg, (M.Atkinson et al=-=[2]-=-, C.Beery [5],S.Navathe [22]), an illuminating example is the fact of invoking abstract Wittgenstein's philosophy on a conference organized by practitioners([16]), in the conclusion report of which it... |

267 |
The Functional Data Model and the Data Language DAPLEX
- Shipman
- 1981
(Show Context)
Citation Context ...as and, secondly, in a rigorously formalized and consistent discipline of their labeling. The former component is close the well known Functional Data Model (FDM) (introduced in [19] and developed in =-=[24]-=-, see also, [1, 17]) where abstract object classes are also considered homogeneous.However, there are essential distinctions, eg, in contrast to FDM where relationships can be treated only by multi-va... |

240 | Semantic database modeling: Survey, applications and research issues
- Hull, King
- 1987
(Show Context)
Citation Context ..., in a rigorously formalized and consistent discipline of their labeling. The former component is close the well known Functional Data Model (FDM) (introduced in [19] and developed in [24], see also, =-=[1, 17]-=-) where abstract object classes are also considered homogeneous.However, there are essential distinctions, eg, in contrast to FDM where relationships can be treated only by multi-valued functions, the... |

180 |
A Formal Semantic Database Model
- Abiteboul, Hull
- 1987
(Show Context)
Citation Context ..., in a rigorously formalized and consistent discipline of their labeling. The former component is close the well known Functional Data Model (FDM) (introduced in [19] and developed in [24], see also, =-=[1, 17]-=-) where abstract object classes are also considered homogeneous.However, there are essential distinctions, eg, in contrast to FDM where relationships can be treated only by multi-valued functions, the... |

154 |
View definition and generalization for database integration in a multidatabase system
- Dayal, Hwang
- 1984
(Show Context)
Citation Context ... and by different services depending on the organization of the FDBS environment. Significance of the problem is well known, various approaches, techniques and sometimes tools were proposed (see, eg, =-=[11, 21, 33, 34, 28, 27, 23]-=- and surveys [4, 25]). In spite of the diversity of approaches, several common points can be well identified. Integration consists of schema integration -- composing a global schema from the set of lo... |

152 | A Logical design methodology for relational databases using the extended entity-relational model - Teorey, Yang, et al. - 1986 |

149 |
A theory of attributed equivalence in databases with application to schema integration
- Larson, Navathe, et al.
- 1989
(Show Context)
Citation Context ...resentations is the key for correct integration. In fact, a methodology of integration is mainly determined by the treatment and the taxonomy of conflicts it adopts. Several approaches were proposed (=-=[11, 20, 26, 28]-=- and others), the most fundamental to date research is [27] where a taxonomy distinguishing semantic, descriptional, structural and heterogeneity conflicts was proposed. It appears however that this i... |

139 | Model Independent Assertions for Integration of Heterogeneous Schemas
- Spaccapietra, Parent, et al.
- 1992
(Show Context)
Citation Context ... and by different services depending on the organization of the FDBS environment. Significance of the problem is well known, various approaches, techniques and sometimes tools were proposed (see, eg, =-=[11, 21, 33, 34, 28, 27, 23]-=- and surveys [4, 25]). In spite of the diversity of approaches, several common points can be well identified. Integration consists of schema integration -- composing a global schema from the set of lo... |

131 | Naturally embedded query languages
- BREAZU-TANNEN, BUNEMAN, et al.
- 1992
(Show Context)
Citation Context ...(see [8]). In fact, nowadays DB theorists often recover main concepts of category theory, and during the last 3-4 years there appeared several publications on applying category theory in the DB area (=-=[32, 31, 6, 18]-=-). However, their considerations are somewhat orthogonal to the approach we suggest (while the suggestion in [18]) is parallel!). In this paper we propose a graph-based specification language with rig... |

120 |
Superviews: Virtual integration of multiple databases
- Motro
- 1987
(Show Context)
Citation Context ...duction and motivating discussion For cooperative information systems (CIS) it is normal that an application program needs data stored in several separate databases (DBs). In fact, as is was noted in =-=[21]-=-, such a multibase situation is very similar to the multifile situation before invention of DBs, and a natural solution is analogous: in order to provide applications with a single integrated view of ... |

107 | View Integration: A Step Forward in Solving Structural Conflicts - Spaccapietra, Parent - 1994 |

74 | Theoretical aspects of schema merging
- Buneman, Davidson, et al.
- 1992
(Show Context)
Citation Context ...an be written down by a conventional formal language of the modern mathematics provides these properties of the integrated schema what might be compared with rather involved reasoning on this fact in =-=[7]-=-. In respect to the taxonomy of conflicts and correspondence assertions proposed in [26, 27], it can be said that AGO reduces all that conflicts to conflicts of two kinds - structural conflicts of bei... |

27 | Conflicts and correspondence assertions in interoperable databases
- Spaccapietra, Parent
- 1991
(Show Context)
Citation Context ...resentations is the key for correct integration. In fact, a methodology of integration is mainly determined by the treatment and the taxonomy of conflicts it adopts. Several approaches were proposed (=-=[11, 20, 26, 28]-=- and others), the most fundamental to date research is [27] where a taxonomy distinguishing semantic, descriptional, structural and heterogeneity conflicts was proposed. It appears however that this i... |

25 |
On the value of commutative diagrams in information modeling
- Johnson, Dampney
- 1993
(Show Context)
Citation Context ...(see [8]). In fact, nowadays DB theorists often recover main concepts of category theory, and during the last 3-4 years there appeared several publications on applying category theory in the DB area (=-=[32, 31, 6, 18]-=-). However, their considerations are somewhat orthogonal to the approach we suggest (while the suggestion in [18]) is parallel!). In this paper we propose a graph-based specification language with rig... |

24 | Methods and tools for equivalent data model mapping construction - Kalinichenko - 1990 |

23 | Generalized sketches as a framework for completeness theorems - Makkai - 1997 |

21 |
Report of the workshop on semantic heterogeneity and interoperation in multidatabase systems
- Drew, King, et al.
- 1993
(Show Context)
Citation Context ...y recognized (see, eg, (M.Atkinson et al[2], C.Beery [5],S.Navathe [22]), an illuminating example is the fact of invoking abstract Wittgenstein's philosophy on a conference organized by practitioners(=-=[16]-=-), in the conclusion report of which it was emphasized that there is a great need in languages for specifying data interoperation. In fact, nowadays a database designer is forced to alter between Scyl... |

17 | Algebraic Graph-Oriented = Category Theory Based. Manifesto of categorizing database theory
- Cadish, Diskin
- 1995
(Show Context)
Citation Context ...n an extremely high relevance of categorical logic methodology and machinery for stating the methodology and machinery for heterogeneous schema integration, and building the DB theory as a whole (see =-=[8]-=-). In fact, nowadays DB theorists often recover main concepts of category theory, and during the last 3-4 years there appeared several publications on applying category theory in the DB area ([32, 31,... |

17 | Variable sets and functions framework for conceptual modeling: Integrating ER and OO via sketches with dynamic markers
- Diskin, Kadish
- 1995
(Show Context)
Citation Context ...-based specifications appear as a hopefully proper foundation for incorporating formal methods into the CIS area and this constitutes a whole research program. The present paper summarizes results of =-=[9, 13, 15]-=- which form the first step in realizing the program. Here we focus on the sketch approach to semantic modeling (section 2) and on the algebraic procedure of sketch integration (section 3). As for data... |

14 | Universal Algebra, Algebraic Logic, and Databases - Plotkin - 1991 |

13 |
Data Modeling from a Categorical Perspective
- Tuijn
- 1994
(Show Context)
Citation Context ...(see [8]). In fact, nowadays DB theorists often recover main concepts of category theory, and during the last 3-4 years there appeared several publications on applying category theory in the DB area (=-=[32, 31, 6, 18]-=-). However, their considerations are somewhat orthogonal to the approach we suggest (while the suggestion in [18]) is parallel!). In this paper we propose a graph-based specification language with rig... |

12 | A specificational approach to merging persistent object bases
- Widjojo, Hull, et al.
- 1990
(Show Context)
Citation Context ... and by different services depending on the organization of the FDBS environment. Significance of the problem is well known, various approaches, techniques and sometimes tools were proposed (see, eg, =-=[11, 21, 33, 34, 28, 27, 23]-=- and surveys [4, 25]). In spite of the diversity of approaches, several common points can be well identified. Integration consists of schema integration -- composing a global schema from the set of lo... |

10 | Formalizing graphical schemas for conceptual modeling: Sketch-based logic vs. heuristic pictures
- Diskin
- 1995
(Show Context)
Citation Context ...-based specifications appear as a hopefully proper foundation for incorporating formal methods into the CIS area and this constitutes a whole research program. The present paper summarizes results of =-=[9, 13, 15]-=- which form the first step in realizing the program. Here we focus on the sketch approach to semantic modeling (section 2) and on the algebraic procedure of sketch integration (section 3). As for data... |

10 |
The next ten years of modeling, methodologies and tools
- Navathe
- 1992
(Show Context)
Citation Context ...e is possible only within a formal semantics framework for semantic modeling and integration. The lack of such a framework is commonly recognized (see, eg, (M.Atkinson et al[2], C.Beery [5],S.Navathe =-=[22]-=-), an illuminating example is the fact of invoking abstract Wittgenstein's philosophy on a conference organized by practitioners([16]), in the conclusion report of which it was emphasized that there i... |

9 |
Object algebra and views for object bases
- Scholl, Schek, et al.
- 1992
(Show Context)
Citation Context |

9 | Formalization of graphical schemas: General sketch-based logic vs. heuristic pictures - Diskin - 1995 |

8 | Algebraic graph-oriented approach to view integration. Part I: Specification framework and general strategy - Cadish, Diskin - 1993 |

8 | Complex Objects Modeling: An Entity Relationship Approach - Parent, Spaccapietra - 1989 |

7 | Algebraizing Institutions: Incorporating Algebraic Logic Methodology into the Institution Framework for Building Specifications, FIS/DBDL Research Report-94-04 - Diskin |

5 |
Views and decompositions from a categorical perspective
- Tuijn, Gussens
- 1992
(Show Context)
Citation Context |

5 | Variations on algebra: Monadicity and generalizations of equational theories, Formal Aspects of Computing 13 - Robinson - 2002 |

4 | A classification of multi-database languages
- Tresch, Scholl
- 1994
(Show Context)
Citation Context ... framework (for some results in this direction see [12]). In particular, further in the paper we will relate some points in the AGO-integration procedure with levels of mDBS integration classified in =-=[30]-=- providing, thusly, a precise explication for their informal classification introduced in [30]. As a whole, sketch-like, ie, algebraic graph-based specifications appear as a hopefully proper foundatio... |

4 | A mathematical framework for comparing expressive powers of different data model - Diskin - 1992 |

3 |
What is an operation over sketches? A talk given at
- Diskin, Beylin
- 1995
(Show Context)
Citation Context ...agram operation algebras is to design a proper abstract notion of a composed diagram operation (term) independent on its possible syntactical representations. An appropriate solution was described in =-=[14]-=- where a specification mechanism treating diagram terms as labeled trees was proposed (in a close analogy to the tree presentation of composed operations in universal algebra). The machinery will be p... |

3 | Abstract queries, schema transformations and algebraic theories: An application of categorical algebra to database theory - Diskin, Cadish - 1994 |

2 |
New data models and languages -- the challange
- Beery
- 1992
(Show Context)
Citation Context ...s we apply the operation PB to the couple of arrows (pbr # ; pname) and then specify that the resulting relation (pbr 00 ; bk 00 ) is just the relation `B-P' from the left schema by writing equations =-=(4,5,6)-=- into the table of correspondence equations on the right. In the similar way we specify the TOPIC Area Name \Gamma@ \Gamma @ B-T Code BOOK T itle \Gamma@ \Gamma @ B-P Name PUBLISHER Address KEYWORD Na... |

2 |
The entity-relationship model -- Towards a inified view of data
- Chen
- 1976
(Show Context)
Citation Context ...: \Theta Dn (determined by fx = [f 1 x; : : : ; f nx]) is injective so that X is actually a relation up to isomorphism and its elements can be identified with tuples. In the classical ER-terminology (=-=[10]-=-), if domains D i 's are entity sets then f i 's are roles and any x 2 X is a relationship between entities f 1 (x); : : : ; fn (x). What we would like to emphasize here is that any relationship set d... |

2 |
A functional database model
- Kerschberg, Pacheko
- 1976
(Show Context)
Citation Context ...iers of semantic schemas and, secondly, in a rigorously formalized and consistent discipline of their labeling. The former component is close the well known Functional Data Model (FDM) (introduced in =-=[19]-=- and developed in [24], see also, [1, 17]) where abstract object classes are also considered homogeneous.However, there are essential distinctions, eg, in contrast to FDM where relationships can be tr... |

2 |
The FEMUS experience. In Semantics of interoperable database systems, IFIP DS-5
- Yetongnon, Andersson, et al.
- 1992
(Show Context)
Citation Context |

2 | Semantic Modelling: Survey Applications and Research Issues - Hull, King - 1987 |

1 | LNE89 - Larson, Navathe, et al. - 1993 |

1 | Semantic modeling in databases (in Russian) . Nauka Publ.Co - Tsalenko - 1989 |