Formal Definition of Mappings in a Data Base.

@inproceedings{DBLP:conf/sigmod/PaoliniP77,
  author    = {Paolo Paolini and
               Giuseppe Pelagatti},
  editor    = {Diane C. P. Smith},
  title     = {Formal Definition of Mappings in a Data Base},
  booktitle = {Proceedings of the 1977 ACM SIGMOD International Conference on
               Management of Data, Toronto, Canada, August 3-5, 1977},
  publisher = {ACM},
  year      = {1977},
  pages     = {40-46},
  ee        = {http://doi.acm.org/10.1145/509404.509413, db/conf/sigmod/PaoliniP77.html},
  crossref  = {DBLP:conf/sigmod/77},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The purpose of this paper is to analyze the problem of mapping between different levels of a data base.

A data Base is viewed as an Abstract Object upon which it is possible to operate with a given set of operations, the result of which depends both on the "type" of the object and on its state.

Following this approach and utilizing some algebraic formalism we analyze the mappings between external views of a data base and the conceptual view of the data base itself. The main result is a requirement on the consistency between the process of deriving an external view from the conceptual view and the translation of external (user)operations into conceptual operations. It is also shown that this requirement is not sufficient to characterize the "interference" arising from a shared use of a Data Base.

Informal and formal examples illustrating these concepts are given.

Copyright © 1977 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/smod7592 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

Online Edition: ACM Digital Library

References

[ANSI75]

...

[CODD70]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[GTWW75]

...

[HOAR72]

C. A. R. Hoare: Proof of Correctness of Data Representations. Acta Inf. 1: 271-281(1972) BibTeX

[PAPE76]

...

[PEPB76]

...

Referenced by

1. Leonid A. Kalinichenko: Method for Data Models Integration in the Common Paradigm. ADBIS 1997: 275-284
2. Leonid A. Kalinichenko: Methods and Tools for Equivalent Data Model Mapping Construction. EDBT 1990: 92-119
3. Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988)
4. Yoshifumi Masunaga: A Relational Database View Update Translation Mechanism. VLDB 1984: 309-320
5. Stefano Ceri, Giuseppe Pelagatti: Correctness of Query Execution Strategies in Distributed Databases. ACM Trans. Database Syst. 8(4): 577-607(1983)
6. David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
   Contents
7. Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982)
8. Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, Wolfgang H. Wohlleber: Data Abstractions for Database Systems. ACM Trans. Database Syst. 4(1): 60-75(1979)
9. Herbert Weber: A Software Engineering View of Data Base Systems. VLDB 1978: 36-51
10. Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440
11. Umeshwar Dayal, Philip A. Bernstein: On the Updatability of Relational Views. VLDB 1978: 368-377
12. Sheldon A. Borkin: Data Model Equivalence. VLDB 1978: 526-534
13. Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan: Issues in Distributed Data Base Management Systems: A Technical Overview. VLDB 1978: 89-110
14. Anthony C. Klug, Dennis Tsichritzis: Multiple View Support within the ANSI/SPARC Framework. VLDB 1977: 477-488