Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    A Graphical yet Formalized Framework for Specifying View Systems

    Advances in Databases and Information Systems '97

    St Petersburg, 2nd - 5th September 1997


    Z. Diskin & B. Kadish


    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 defined.

    In particular, the constructs of query, query language, view and view integration can be consistently expressed in this arrow formalism and correspondingly specified.

    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.


    PDF filePDF Version of this Paper (342kb)