Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design (1997)


Download Links

by Zinovy Diskin

Active Bibliography

8 Databases as Graphical Algebras: Algebraic Graph-Based Approach to Data Modeling and Database Design – Zinovy Diskin, Boris Cadish - 1996
33 Algebraic Graph-Based Approach to Management of Multi-Base Systems,II: Mathematical Aspects of Schema Integration – Zinovy Diskin - 1995
Some Suggestions on Mathematics Relevant to the Database Theory – Zinovy Diskin, Boris Cadish
Data Modelling in Categorical and Computational Perspectives – Sergei Ageshin and Zinovy Diskin and Ilya Beylin, Sergei Ageshin, Zinovy Diskin, Ilya Beylin - 1995
9 Databases as Diagram Algebras: Specifying Queries and Views Via the Graph-Based Logic of Sketches – Zinovy Diskin - 1996
2 Formalizing Schemas for Federal Database Environment Architecture – Zinovy Diskin, Zinovy Diskin - 1997
7 A Graphical Yet Formalized Framework for Specifying View Systems – Zinovy Diskin, Boris Kadish - 1997
1 The Arrow Logic of Metadata Environment: A Formalised Graph-Based Framework for Structuring Metadata Repositories – Zinovy Diskin, Zinovy Diskin - 1997
2 The graph-based logic of ER-diagrams and taming heterogeneity of semantic data models – Zinovy Diskin, Zinovy Diskin - 1997
1 Algebraic Graph-Based Approach to Schema Integration – Ilya Beylin, se Boris Cadish, Zinovy Diskin - 1996
1 The Arrow Manifesto: Towards software engineering based on comprehensible yet rigorous graphical specifications – Zinovy Diskin, Boris Kadish
10 Formalizing Graphical Schemas for Conceptual Modeling: Sketch-Based Logic vs.Heuristic Pictures – Zinovy Diskin - 1995
16 Algebraic Graph-Oriented = Category Theory Based -- Manifesto of categorizing database theory – Zinovy Diskin, Boris Kadish - 1996
2 Heterogeneous View Integration via Sketches and Equations – Boris Cadish, Zinovy Diskin - 1996
2 Update Algorithms for the Sketch Data Model – Michael Johnson, Robert Rosebrugh - 2001
12 View Updatability Based on the Models of a Formal Specification – Michael Johnson, Robert Rosebrugh - 2001
9 View Updates in a Semantic Data Modelling Paradigm – Michael Johnson, Robert Rosebrugh, C.N.G. Dampney - 2001
A Decision Procedure for Semantical Equivalence of Thin FM Specifications – Frank Piessens, Eric Steegmans - 1999
2 Schema Coercion: Using Database Meta-Information to Facilitate Data Transfer – Terence Critchlow - 1997