## Algebraic Graph-Based Approach to Schema Integration (1996)

Venue: | IN DATABASES AND INFORMATION SYSTEMS, 2ND INT.BALTIC WORKSHOP |

Citations: | 1 - 1 self |

### BibTeX

@INPROCEEDINGS{Beylin96algebraicgraph-based,

author = {Ilya Beylin and Boris Cadish and Zinovy Diskin},

title = {Algebraic Graph-Based Approach to Schema Integration},

booktitle = {IN DATABASES AND INFORMATION SYSTEMS, 2ND INT.BALTIC WORKSHOP},

year = {1996},

pages = {111--120},

publisher = {}

}

### OpenURL

### Abstract

The language of sketches is as concise and powerful as higher order logic and as handy as conventional ER-diagrams. We discuss its benefits in respect to problems of schema integration.

### Citations

1008 | Federated Database Systems for Managing Distributed
- Sheth, Larson
- 1990
(Show Context)
Citation Context ... in capturing the diversity of all possible situations of correspondence between local DBs. These problems are known, and various approaches, techniques, and tools have been proposed (see the surveys =-=[3, 16, 14]-=-). It is worth noting that majority of the existing approaches aim at integration within one or another data model, so the heterogeneuos integration remains outside their scope. Even structural confli... |

540 | A comparative analysis of methodologies for database schema integration
- Batini, Lenzirini, et al.
- 1986
(Show Context)
Citation Context ... in capturing the diversity of all possible situations of correspondence between local DBs. These problems are known, and various approaches, techniques, and tools have been proposed (see the surveys =-=[3, 16, 14]-=-). It is worth noting that majority of the existing approaches aim at integration within one or another data model, so the heterogeneuos integration remains outside their scope. Even structural confli... |

428 |
P.: Introduction to Higher Order Categorical Logic
- Lambek, Scott
- 1986
(Show Context)
Citation Context ...ovably universal in the sense that any formal data specification can be replaced by an equivalent sketch of some appropriate type. The proof follows roughly from the following known facts (see, e.g., =-=[12, 2]-=-): 1. as adopted in modern mathematics, any formal specification can be expressed in some version of set theory, higher-order logic, or type theory; all these theories are interpretable as toposes. 2.... |

259 |
The Functional Data Model and the Data Language DAPLEX
- Shipman
- 1981
(Show Context)
Citation Context ...epresented by an entity node in one view schema and by a relationship node---in another. Figure 1: Schemas to be integrated sketches are very close to the well known family of Functional Data Models (=-=[15, 1, 11, 10]-=-) but are distinguished by a special approach to labeling. Formally, sketches are graphical constructs consisting of three kinds of items: (i) nodes, to be interpreted as sets, (ii) arrows, to be inte... |

227 | Semantic database modeling: Survey, applications, and research issues
- Hull, King
- 1987
(Show Context)
Citation Context ...epresented by an entity node in one view schema and by a relationship node---in another. Figure 1: Schemas to be integrated sketches are very close to the well known family of Functional Data Models (=-=[15, 1, 11, 10]-=-) but are distinguished by a special approach to labeling. Formally, sketches are graphical constructs consisting of three kinds of items: (i) nodes, to be interpreted as sets, (ii) arrows, to be inte... |

189 | Toposes, Triples, and Theories
- Barr, Wells
- 1985
(Show Context)
Citation Context ...al discipline of labeling: it is rigorously formalized, consistent and mathematically justified. We call AGO-specifications sketches following the terminology tradition of categorical logic (see, eg, =-=[20, 2]-=-) which is a graph-based higher-order logic, as opposed to string-based ones, and can be seen as a graph-based counterpart of the ordinary many-sorted relational logic. The essence of the sketch appro... |

176 |
IFO: A formal semantic database model
- ABITEBOUL, HULL
- 1987
(Show Context)
Citation Context ...epresented by an entity node in one view schema and by a relationship node---in another. Figure 1: Schemas to be integrated sketches are very close to the well known family of Functional Data Models (=-=[15, 1, 11, 10]-=-) but are distinguished by a special approach to labeling. Formally, sketches are graphical constructs consisting of three kinds of items: (i) nodes, to be interpreted as sets, (ii) arrows, to be inte... |

137 | Model Independent Assertions for Integration of Heterogeneous Schemas
- Parent, Spaccapietra, et al.
- 1992
(Show Context)
Citation Context ...ural conflicts within a sufficiently rich (in its collection of modeling constructs) data model is still a challenge. Indeed, the taxonomy of conflicts between schemas proposed by Spaccapietra et al (=-=[18, 17]-=-) where semantic, descriptional, structural and heterogeneity conflicts are distinguished, appears to be an informal description, encompassing the diversity of intuitions behind conflicts, but not a p... |

117 |
Superviews: Virtual Integration of Multiple Databases
- Motro
- 1987
(Show Context)
Citation Context ...ally overlapping and even inconsistent, so that an application programmer encounters severe problems, moreover, in each multibase case they have to be solved specifically. In fact, as it was noted in =-=[13]-=-, the situation is similar to the multifile situation before invention of DBs, and the analogous solution can be suggested: in order to provide applications with a single integral view of data, local ... |

104 | View Integration: A Step Forward in Solving Structural Conflicts
- Spaccapietra, Parent
- 1994
(Show Context)
Citation Context ...However it can be decidable in some special but interesting cases. See [9] for some details. Thus, in respect to the taxonomy of conflicts and correspondence assertions proposed by Spaccapietra et al =-=[17, 19, 18]-=-, it can be said that owing to introducing additional inter-schema sketches into integration, AGO reduces all that conflicts to conflicts of two kinds---structural conflicts (of being basic/derived) a... |

73 | Theoretical Aspects of Schema Merging
- Buneman, Davidson, et al.
- 1992
(Show Context)
Citation Context ... term above can be formally defined as a composition of categorical operations on diagrams which are commutative and associative; this might be compared with rather involved reasoning on this fact in =-=[4]-=-. from the local sketches. However, here diagram conflicts can arise, and these are real conflicts between views which can bring to light inconsistency of views! In fact the problem of whether markers... |

62 | Object Orientation in Multidatabase Systems
- Pitoura, Bukhres, et al.
- 1995
(Show Context)
Citation Context ... in capturing the diversity of all possible situations of correspondence between local DBs. These problems are known, and various approaches, techniques, and tools have been proposed (see the surveys =-=[3, 16, 14]-=-). It is worth noting that majority of the existing approaches aim at integration within one or another data model, so the heterogeneuos integration remains outside their scope. Even structural confli... |

33 | Algebraic graphbased approach to management of multidatabase systems
- Diskin, Cadish
- 1995
(Show Context)
Citation Context ...h relevant to integration of schemas. Reader should consult [8, 6, 7] for more detail and examples. Problems of data integration (that is, computing queries on the virtual schema) are touched upon in =-=[5]-=-. Sketches. The core of AGO is a family of graph-based specification languages in which specifications are directed multigraphs endowed with a labeling formalism of a special kind. Certainly, conventi... |

26 | Conflicts and correspondence assertions in interoperable dbs
- Spaccapietra, Parent
- 1991
(Show Context)
Citation Context ...ural conflicts within a sufficiently rich (in its collection of modeling constructs) data model is still a challenge. Indeed, the taxonomy of conflicts between schemas proposed by Spaccapietra et al (=-=[18, 17]-=-) where semantic, descriptional, structural and heterogeneity conflicts are distinguished, appears to be an informal description, encompassing the diversity of intuitions behind conflicts, but not a p... |

17 | Variable sets and functions framework for conceptual modeling: Integrating ER and OO via sketches with dynamic markers
- Diskin, Cadish
- 1995
(Show Context)
Citation Context ...c consists in the AlgebraicGraph -Oriented nature of all its constructs and procedures. This paper outlines the main concepts of our approach relevant to integration of schemas. Reader should consult =-=[8, 6, 7]-=- for more detail and examples. Problems of data integration (that is, computing queries on the virtual schema) are touched upon in [5]. Sketches. The core of AGO is a family of graph-based specificati... |

16 |
Heterogenious view integration via sketches and equations
- Cadish, Diskin
- 1996
(Show Context)
Citation Context ...c consists in the AlgebraicGraph -Oriented nature of all its constructs and procedures. This paper outlines the main concepts of our approach relevant to integration of schemas. Reader should consult =-=[8, 6, 7]-=- for more detail and examples. Problems of data integration (that is, computing queries on the virtual schema) are touched upon in [5]. Sketches. The core of AGO is a family of graph-based specificati... |

15 |
Four views of complex objects: A sophisticate's introduction
- Hull
- 1987
(Show Context)
Citation Context |

11 |
The formal description of data types using sketches
- Wells, Barr
- 1988
(Show Context)
Citation Context ...al discipline of labeling: it is rigorously formalized, consistent and mathematically justified. We call AGO-specifications sketches following the terminology tradition of categorical logic (see, eg, =-=[20, 2]-=-) which is a graph-based higher-order logic, as opposed to string-based ones, and can be seen as a graph-based counterpart of the ordinary many-sorted relational logic. The essence of the sketch appro... |

10 | Formalizing graphical schemas for conceptual modeling: Sketch-based logic vs. heuristic pictures
- Diskin
- 1995
(Show Context)
Citation Context ...c consists in the AlgebraicGraph -Oriented nature of all its constructs and procedures. This paper outlines the main concepts of our approach relevant to integration of schemas. Reader should consult =-=[8, 6, 7]-=- for more detail and examples. Problems of data integration (that is, computing queries on the virtual schema) are touched upon in [5]. Sketches. The core of AGO is a family of graph-based specificati... |