Zinovy Diskin  @ NUS Home/Search
Context Related
| cs.chalmers.se/pub/users/di...partI.ps Cached: PS.gz PS PDF Image Update Help From: fis.lv/ru.windows/engli...science (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The goal of the paper is to develop a graphical formalism for specifying queries and views within the sketch data model (SkeDM) introduced in [17]. Sketches are directed multigraphs in which some diagrams are labeled with special markers. These markers denote predicates and operations over diagrams of sets and functions. Given a signature of operations (query language), any sketch (database schema) can be extended with derived items denoting data that can be retrieved from the database. Views ... (Update)
Context of citations to this paper: More
.... as a logic of generalized sketches, and corresponding algebras are algebras of diagram operations over sketches ( Dis95d, Dis95b, Dis95c, Dis96a] In addition, if one extends (closes) a given semantic schema with items (nodes and arrows) denoting derived data which can be...
...demonstrate the essence of the approach. 1 application of sketches for semantic data modeling was described in [11, 10] and developed in [9] One can see that the proposed framework is based on arrows and needs the corresponding arrow machinery (and even special arrow thinking)...
Cited by: More
The Arrow Logic of Metadata Environment: A Formalised Graph-Based .. - Diskin (1997) (Correct)
The graph-based logic of ER-diagrams and taming heterogeneity of.. - Diskin (1997) (Correct)
A Graphical Yet Formalized Framework for Specifying View Systems - Diskin, Kadish (1997) (Correct)
Active bibliography (related documents): More All
1.1: Generalised Sketches as an algebraic graph-based framework for.. - Diskin (1997) (Correct)
1.0: Formalizing Schemas for Federal Database Environment Architecture - Diskin (1997) (Correct)
0.8: Algebraic Graph-Oriented = Category Theory Based. Manifesto of.. - Diskin (1994) (Correct)
Similar documents based on text: More All
0.7: Formalizing Graphical Schemas for Conceptual Modeling.. - Diskin (1995) (Correct)
0.7: Algebraic Graph-Based Approach to Management of Multi-Base.. - Diskin (1995) (Correct)
0.4: Data Modelling in Categorical and Computational Perspectives - Beylin (1995) (Correct)
Related documents from co-citation: More All
4: Heterogenious view integration via sketches and equations (context) - Cadish, Diskin - 1996
4: Algebraic graph-based approach to management of multibase systems - Cadish, Diskin - 1995
4: Prentice Hall International Series in Computer Science (context) - Barr, Wells - 1990
BibTeX entry: (Update)
Z. Diskin. Databases as diagram algebras: Specifying queries and views via the graph-based sketch formalism. Technical Report 9602, Frame Inform Systems, Riga, Latvia, 1996. http://citeseer.comp.nus.edu.sg/116057.html More
@misc{ diskin96databases,
author = "Z. Diskin",
title = "Databases as diagram algebras: Specifying queries and views via the graph-based
sketch formalism",
text = "Z. Diskin. Databases as diagram algebras: Specifying queries and views
via the graph-based sketch formalism. Technical Report 9602, Frame Inform
Systems, Riga, Latvia, 1996.",
year = "1996",
url = "citeseer.comp.nus.edu.sg/116057.html" }
Citations (may not include all citations):511 Federated database systems for managing distributed (context) - Sneth, Larson - 1990
369 Information and Computation (context) - Moggi, computation - 1991
359 Introduction to higher order categorical logic (context) - Lambek, Scott - 1986
234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
196 Objects and views - Abiteboul, Bonner - 1991
177 The functional data model and the data language DAPLEX (context) - Shipman - 1981
164 IFO: a formal semantic database model (context) - Abiteboul, Hull - 1987
142 Updatable views in object-oriented databases - Scholl, Laasch et al. - 1991
139 Semantic database modeling: Survey (context) - Hull, King - 1987
106 Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. - 1992
96 A graph-oriented object database model - Gyssens, Paredaens et al. - 1990
90 Structural recursion as a query language - Breazu-Tannen, Buneman et al. - 1991
79 Comprehension syntax - Buneman, Libkin et al. - 1994
49 Object orientation in multidatabase systems (context) - Pitoura, Bukhres et al. - 1995
33 Prentice Hall International Series in Computer Science (context) - Barr, Wells et al. - 1990
25 Algebraic graph-based approach to management of multibase sy.. - Diskin - 1995
25 Algebraic graph-based approach to management of multibase sy.. - Cadish, Diskin - 1995
21 Log: A declarative graphical query language (context) - Paredaens, Peelman et al. - 1991
19 A graph-oriented object model for database end-user interfac.. (context) - Gyssens, Paredaens et al. - 1990
19 Variable sets and functions framework for conceptual modelin.. - Diskin, Cadish - 1995
18 an object-based entity-relationship approach (context) - Parent, Spaccapietra - 1992
17 Methods and tools for equivalent data model mapping construc.. - Kalinichenko - 1990
17 the completeness of object-creating query languages (context) - Van den Bussche, Van Gutch et al. - 1992
15 The rejuvenation of materialized views (context) - Mumick - 1995
12 The expressive power of structured values in pure OODB's (context) - Van den Bussche, Paredaens - 1991
11 Complex object modeling: an entity relationship approach (context) - Parent, Spaccapietra - 1987
11 Heterogenious view integration via sketches and equations (context) - Cadish, Diskin - 1996
11 Type derivation using the projection operation - Agrawal, DeMichiel - 1994
10 data bases and polynomial-time computability (context) - Yu, finite - 1993
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 A functional database model (context) - Kerschberg, Pacheko - 1976
7 Bounded set theory and inductive definability (context) - Ju - 1991
6 Views and decompositions from a categorical perspective (context) - Tuijn, Gyssens - 1992
5 What is an operation over sketches (context) - Diskin, Beylin - 1995
4 Pairwise-definable subdirect decomposition of general databa.. (context) - Hegner - 1991
4 Computable directory queries (context) - Dahlhaus, Makowsky - 1987
3 Methods and tools for integration of heterogeneous databases (context) - Kalinichenko - 1983
3 Priciples of object-oriented query languages (context) - Heuer, Scholl - 1991
2 A unified algebraic graph-based framework for specifying que.. (context) - Diskin - 1996
1 Application aspect of mathematical logic (context) - Ju, set et al. - 1987
Documents on the same site (http://www.fis.lv/ru.windows/english/science.html): More
Formalizing Schemas for Federal Database Environment Architecture - Diskin (1997) (Correct)
Formalization of graphical schemas: General sketch-based logic vs .. - Diskin (1995) (Correct)
Formalizing Graphical Schemas for Conceptual Modeling.. - Diskin (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.