Zinovy Diskin  Home/Search
Context Related
| cs.chalmers.se/pub/users...tr9502.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math....cs.chalmers.se (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Conceptual design and schema integration are among central issues in the DB area. Their significance is commonly recognized and to date has increased greatly due to the evident tendency of organizing modern (and of the nearest future) information systems on cooperative principals. Indeed, for cooperative systems (CIS) it is normal that an application program needs data stored in several separate databases (DBs). In addition, a peculiarity of CIS consists in heterogeneity of local... (Update)
Context of citations to this paper: More
...The second key idea consists in specifying structural conflicts via equations between algebraic terms. To wit, we show (see also [5, 2]) that all the diversity example, in the ER data model the same object of the real world can be presented as an entity, or as an...
.... some examples see [6] and [3] and the models themselves have been developed in some detail in, for example, 4] 1] 10] 5] 11] [2] and [8] Although many information systems are never meant to be implemented computationally (for example paper based enterprise wide...
Cited by: More
A Decision Procedure for Semantical Equivalence of Thin FM.. - Piessens, Steegmans (1999) (Correct)
Proving Semantical Equivalence of Data Specifications - Piessens, Steegmans (2005) (Correct)
View Updatability Based on the Models of a Formal Specification - Johnson, Rosebrugh (2001) (Correct)
Similar documents (at the sentence level): More
29.8%: Algebraic Graph-Based Approach to Management of Multibase.. - Diskin, Cadish (1995) (Correct)
20.1%: Databases as Graphical Algebras: Algebraic Graph-Based.. - Diskin, Cadish (1996) (Correct)
14.1%: Algebraic Graph-Based Approach to Management of Multibase.. - Cadish, Diskin (1995) (Correct)
Active bibliography (related documents): More All
1.7: Generalised Sketches as an algebraic graph-based framework for.. - Diskin (1997) (Correct)
1.5: Some Suggestions on Mathematics Relevant to the Database Theory - Diskin, Cadish (Correct)
0.8: Databases as Diagram Algebras: Specifying Queries and Views Via.. - Diskin (1996) (Correct)
Similar documents based on text: More All
0.7: Algebraic Graph-Oriented = Category Theory Based. Manifesto of.. - Diskin (1994) (Correct)
0.7: The Arrow Logic of Metadata Environment: A Formalised Graph-Based .. - Diskin (1997) (Correct)
0.6: Formalizing Schemas for Federal Database Environment Architecture - Diskin (1997) (Correct)
Related documents from co-citation: More All
16: Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER an.. - DISKIN, CADISH - 1995
14: Heterogenious view integration via sketches and equations (context) - Cadish, Diskin - 1996
12: Prentice Hall International Series in Computer Science (context) - Barr, Wells - 1990
BibTeX entry: (Update)
B. Cadish and Z. Diskin. Algebraic graph-based approach to management of multibase systems, I: Schema integration via sketches and equations. In Next Generation of Information Technologies and Systems,NGITS'95, 2nd Int.Workshop, pages 69-- 79, Naharia (Israel), 1995. http://citeseer.ist.psu.edu/diskin95algebraic.html More
@inproceedings{ diskin95algebraic,
author = "Zinovy Diskin and Boris Cadish",
title = "Algebraic Graph-Based Approach to Management of Multidatabase Systems",
booktitle = "Next Generation Information Technologies and Systems",
pages = "69-79",
year = "1995",
url = "citeseer.ist.psu.edu/diskin95algebraic.html" }
Citations (may not include all citations):511 Federated database systems for managing distributed (context) - Sneth, Larson - 1990
234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
107 View definition and generalization for database integration .. (context) - Dayal, Hwang - 1984
90 A theory of attribute equivalence in databases with applicat.. (context) - Larson, Navathe et al. - 1989
82 Superviews: Virtual integration of multiple databases (context) - Motro - 1987
82 Modelindependent assertions for integration of heterogeneous.. - Spaccapietra, Parent et al. - 1992
65 View integration: a step forward in solving structural confl.. - Spaccapietra, Parent et al. - 1992
33 Prentice Hall International Series in Computer Science (context) - Barr, Wells et al. - 1990
30 Theoretical aspects of schema merging - Buneman, Davidson et al. - 1992
25 Algebraic graph-based approach to management of multibase sy.. - Diskin - 1994
20 Report on the workshop on semantic heterogeneity and interop.. (context) - Drew, King et al. - 1993
19 Data modeling from a categorical perspective (context) - Tuijn - 1994
18 Conflicts and correspondence assertions in interoperable dat.. - Spaccapietra, Parent - 1991
17 Methods and tools for equivalent data model mapping construc.. - Kalinichenko - 1990
14 A specificational approach to merging persistent object base.. - Widjojo, Hull et al. - 1990
13 A comparitive analysis of methodologies for database schema .. (context) - Batini, Lenzerini et al. - 1986
12 Model theory and computer science: An appetizer - Makowsky - 1992
11 Complex object modeling: an entity relationship approach (context) - Parent, Spaccapietra - 1987
10 Generalized sketches as a framework for completeness theorem.. (context) - Makkai - 1994
10 Object algebra and views for object bases (context) - Scholl, Schek et al. - 1992
9 Formalization of graphical schemas: General sketch-based log.. - Diskin - 1995
8 Algebraic graph-oriented approach to view integration (context) - Cadish - 1993
6 Views and decompositions from a categorical perspective (context) - Tuijn, Gussens - 1992
5 Algebraic Graph-Oriented = Category Theory Based (context) - Cadis, Diskin - 1994
5 Formalizing graphical schemas for conceptual modeling: Sketc.. - Diskin - 1995
5 What is an operation over sketches (context) - Diskin, Beylin - 1995
5 A mathematical framework for comparing expressive powers of .. (context) - Diskin - 1992
5 The FEMUS experience (context) - Yetongnon, Andersson et al. - 1992
4 Logic Colloqium '95 (context) - Diskin, graph-based et al.
4 Algebraizing institutions: Incorporating algebraic logic met.. (context) - Diskin - 1994
4 Algebraic logic and Databases (context) - Plotkin - 1993
4 schema transformations and algebraic theories: An applicatio.. (context) - Diskin, Cadish - 1994
3 Sketches: Outline with references - Wells
3 Variations on algebra: monadicity and generalizations of equ.. (context) - Robinson - 1994
1 Semantic modeling in databases (context) - Tsalenko - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.chalmers.se.html): More
Variable Sets and Functions Framework for Conceptual.. - Diskin, Cadish (1995) (Correct)
A Definitional Approach to Functional Logic Programming - Torgersson (1996) (Correct)
The Hahn-Banach Theorem in Type Theory - Cederquist, Coquand, Negri (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC