Article

Free access

Formal definition of mappings in a data base

Authors:

P. Paolini,

G. PelagattiAuthors Info & Claims

SIGMOD '77: Proceedings of the 1977 ACM SIGMOD international conference on Management of data

Pages 40 - 46

https://doi.org/10.1145/509404.509413

Published: 03 August 1977 Publication History

PDF eReader

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.

References

[1]

{ANSI75} "Interim Report ANSI/X3/SPARC Study Group on Data Base Management Systems" ANSI,February 1975.

Google Scholar

[2]

{CODD70} Codd, E., "A Relational Model of Data for Large Shared Data Banks", CACM, 13-6, JUNE 70

Digital Library

Google Scholar

[3]

{GTWW75} Goguen, J. A., J. W. Thatcher, Wagner, E. G., Wight J. B. "Abstract Data Types as Initial Algebras and the Correctness of Data Representations", Proc. Conference on Computer Graphics, Pattern Recognition, and Data Structures, Beverly Hills, Calif. (1975).

Google Scholar

[4]

{HOAR72} Hoare C. A. R., "Proof of Correctness of Data Representations" Acta Informatica 1, 271-281 (1972)

Digital Library

Google Scholar

[5]

{PAPE76} Paolini, P., Pelagatti, G., "Formal Definition of Data Models" Internal Report 77-2, Istituto di Elettronica, Politecnico di Milano.

Google Scholar

[6]

{PEPB76} Pelagatti, G., Paolini, P., Bracchi, G., "Mappings in Data Base Systems", Internal Report 76-11 Istituto di Elettronica, Politecnico di Milano.

Google Scholar

Cited By

View all

Chen HLiao H(2010)A Comparative Study of View Update ProblemProceedings of the 2010 International Conference on Data Storage and Data Engineering10.1109/DSDE.2010.42(83-89)Online publication date: 9-Feb-2010
https://dl.acm.org/doi/10.1109/DSDE.2010.42
Zhang ZShi PChe HGu J(2008)An Algebraic Framework for Schema MatchingInformatica10.5555/1454341.145434819:3(421-446)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.5555/1454341.1454348
Zhang ZChe HShi PSun YGu J(2005)An algebraic framework for schema matchingProceedings of the 6th international conference on Advances in Web-Age Information Management10.1007/11563952_66(694-699)Online publication date: 11-Oct-2005
https://dl.acm.org/doi/10.1007/11563952_66
Show More Cited By

Formal definition of mappings in a data base
1. Information systems
  1. Data management systems

Recommendations

Equivalence of formal semantics definition methods
Abstract
There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...
Algebraic specification schemes for data base systems
VLDB '78: Proceedings of the fourth international conference on Very Large Data Bases - Volume 4

We propose a hierarchic structuring principle for the formal specification of data base systems, called an algebraic specification scheme, which is based on algebraic specification techniques for data types. Syntax and semantics of an algebraic ...
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
Proceedings of the ACM-SIGPLAN symposium on the Ada programming language

A formal definition of the syntax and semantics of Preliminary Ada has been designed and partially implemented as a metaprogram in the SEMANOL system. The paper describes the design in detail and also presents excerpts of the actual SEMANOL metaprogram. ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGMOD '77: Proceedings of the 1977 ACM SIGMOD international conference on Management of data

August 1977

181 pages

ISBN:9781450373432

DOI:10.1145/509404

Conference Chair:
J. B. Fry
University of Michigan
,
General Chair:
W. Frank King
IBM Research Lab
,
Program Chair:
Diane C. P. Smith
University of Utah

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 August 1977

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 785 of 4,003 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
329
Total Downloads

Downloads (Last 12 months)50
Downloads (Last 6 weeks)8

Reflects downloads up to 24 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chen HLiao H(2010)A Comparative Study of View Update ProblemProceedings of the 2010 International Conference on Data Storage and Data Engineering10.1109/DSDE.2010.42(83-89)Online publication date: 9-Feb-2010
https://dl.acm.org/doi/10.1109/DSDE.2010.42
Zhang ZShi PChe HGu J(2008)An Algebraic Framework for Schema MatchingInformatica10.5555/1454341.145434819:3(421-446)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.5555/1454341.1454348
Zhang ZChe HShi PSun YGu J(2005)An algebraic framework for schema matchingProceedings of the 6th international conference on Advances in Web-Age Information Management10.1007/11563952_66(694-699)Online publication date: 11-Oct-2005
https://dl.acm.org/doi/10.1007/11563952_66
Kalinichenko L(1990)Methods and tools for equivalent data model mapping constructionAdvances in Database Technology — EDBT '9010.1007/BFb0022166(92-119)Online publication date: 1990
https://doi.org/10.1007/BFb0022166
Gottlob GPaolini PZicari R(1988)Properties and update semantics of consistent viewsACM Transactions on Database Systems10.1145/49346.5006813:4(486-524)Online publication date: 1-Oct-1988
https://dl.acm.org/doi/10.1145/49346.50068
Masunaga Y(1984)A Relational Database View Update Translation MechanismProceedings of the 10th International Conference on Very Large Data Bases10.5555/645912.671143(309-320)Online publication date: 27-Aug-1984
https://dl.acm.org/doi/10.5555/645912.671143
Ceri SPelagatti G(1983)Correctness of query execution strategies in distributed databasesACM Transactions on Database Systems10.1145/319996.3200098:4(577-607)Online publication date: 1-Dec-1983
https://dl.acm.org/doi/10.1145/319996.320009
Dayal UBernstein P(1982)On the correct translation of update operations on relational viewsACM Transactions on Database Systems10.1145/319732.3197407:3(381-416)Online publication date: 1-Sep-1982
https://dl.acm.org/doi/10.1145/319732.319740
Lockemann PMayr HWeil WWohlleber W(1979)Data abstractions for database systemsACM Transactions on Database Systems10.1145/320064.3200674:1(60-75)Online publication date: 1-Mar-1979
https://dl.acm.org/doi/10.1145/320064.320067
OSMAN I(1979)Updating defined relations1979 International Workshop on Managing Requirements Knowledge (MARK)10.1109/MARK.1979.8817229(733-740)Online publication date: Jun-1979
https://doi.org/10.1109/MARK.1979.8817229
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Equivalence of formal semantics definition methods

Algebraic specification schemes for data base systems

A multi-processing implementation-oriented formal definition of Ada in SEMANOL