Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

ADBIS
1997
Springer

favoriteEmaildiscussreport

109views Database» more ADBIS 1997»

A Graphical Yet Formalized Framework for Specifying View Systems

13 years 8 months ago

A Graphical Yet Formalized Framework for Specifying View Systems

Download www.cs.toronto.edu

A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and is suitable for any data model for which schema mappings are deﬁned. In particular, the constructs of query, query language, view and view integration can be consistently expressed in this arrow formalism and correspondingly speciﬁed. This gives rise to a general graph-based framework for specifying complex view systems. Basic constructions of the language and the entire framework as well can be considered as specialization of very general constructs developed in the mathematical category theory.

Zinovy Diskin, Boris Cadish

Real-time Traffic

ADBIS 1997 | Database | General Graph-based Framework | Graphical Formalized Language | Query Language |

claim paper

Related Content

» Apel A Graphical Yet Executable Formalism for Process Modeling

» Formalization of the data flow diagram rules for consistency check

» A CSP View on UMLRT Structure Diagrams

» Tool Supported Specification and Simulation of Distributed Systems

» Frameworks for Reasoning about Agent Based Systems

» A Mechanized Refinement Framework for Analysis of Custom Memories

» Monitoring temporal SystemC properties

» Choreography and Orchestration Conformance for System Design

» Modeling Heterogeneous Points of View with ModHelX

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1997
Where	ADBIS
Authors	Zinovy Diskin, Boris Cadish

Comments (0)