More Web Proxy on the site http://driver.im/

Article

Free access

Null values in data base management a denotational semantics approach

Author:

Yannis VassiliouAuthors Info & Claims

SIGMOD '79: Proceedings of the 1979 ACM SIGMOD international conference on Management of data

Pages 162 - 169

https://doi.org/10.1145/582095.582123

Published: 30 May 1979 Publication History

Abstract

We start with a very brief description of the many-valued logic approach to the formal treatment of null values in data bases and show some problems that are encountered. In the second part of the paper we present our approach, based on the Denotational Semantics Theory. An informal introduction to the theory is given and then the relational model is described in terms of the theory. Query evaluations are defined as continuous functions and several examples are presented. The formalization in the framework of Denotational Semantics allows for a better understanding of the semantic problems with null values. It also gives flexibility for alternatives in acceptable semantic interpretations. We conclude with a presentation of an algorithm for the evaluation of simple queries. This algorithm uses symbolic manipulations and it is more economical than the strict application of the definition of query evaluations.

References

[1]

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

[2]

Codasyl Development Committee, An Information Algebra, Phase I Report, Communications of the ACM, 1962.

[3]

Vassiliou, Y., DBMS Transaction Translation, Dept. of Computer Science, University of Toronto, to appear as a CSRG technical report, 1979.

[4]

Zaniolo, C., Relational Views in a Data Base System --- Support for Queries, Sperry Research Center, Sudbury Mass., 1978.

[5]

Codd, E.F., Understanding Relations, Continuing series of articles published in FDT, vol.5, No.1, 1973.

Digital Library

[6]

Klug, A., Theory of Data Base Mappings, Dept. of Computer Science, University of Toronto, Ph.D. thesis, 1978.

Digital Library

[7]

Rescher, Many Valued Logic, McGraw-Hill Inc., New York, 1969.

[8]

Donahue, J., Scottery, Dept. of Computer Science, University of Toronto, July 1974.

[9]

Mylopoulos, J., and Wong, H.K.T., A Denotational Semantics for TAXIS, AI memo, Dept. of Computer Science, University of Toronto, 1979.

[10]

Levesque, H., private correspondence.

[11]

Grant, J., Null Values in a Relational Data Base, information processing letters, 5(1977), pp.156--157.

[12]

Stoy, J.E., Denotational Semantics, The Scott-Stachey Approach to Programming Language Theory, MIT press, 1977.

Digital Library

[13]

Trembley, J.P., and Manohar, R., Discrete Mathematical Structures with Applications to Computer Science, McGraw-Hill Inc., 1975.

Digital Library

[14]

Vassiliou, Y., The Use of Denotational Semantics in DBMSs, Database-Memo, Dept. of Computer Science, University of Toronto, 1978.

[15]

Lipski, W., Jr., On Semantic Issues Connected with Incomplete Data Bases (extended abstract), VLDB, 1977.

Cited By

Salvaneschi GKöhler MSokolowski DHaller PErdweg SMezini M(2019)Language-integrated privacy-aware distributed queriesProceedings of the ACM on Programming Languages10.1145/33605933:OOPSLA(1-30)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360593
Chen YLi SYao J(2018)Missing Information Management for Massive Sparse Data2018 IEEE 4th International Conference on Big Data Security on Cloud (BigDataSecurity), IEEE International Conference on High Performance and Smart Computing, (HPSC) and IEEE International Conference on Intelligent Data and Security (IDS)10.1109/BDS/HPSC/IDS18.2018.00058(238-243)Online publication date: May-2018
https://doi.org/10.1109/BDS/HPSC/IDS18.2018.00058
Chen YLi SYao J(2018)Processing Missing Information in Big Data EnvironmentData Mining and Big Data10.1007/978-3-319-93803-5_60(638-648)Online publication date: 10-Jun-2018
https://doi.org/10.1007/978-3-319-93803-5_60
Show More Cited By

Null values in data base management a denotational semantics approach
1. Information systems
  1. Data management systems

Recommendations

A denotational semantics implementation system
A Denotational Semantics for Circus

Circus specifications define both data and behavioural aspects of systems using a combination of Z and CSP. Previously, a denotational semantics has been given to Circus; however, as a shallow embedding of Circus in Z, it was not possible to use it to ...
On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC
TASE '13: Proceedings of the 2013 International Symposium on Theoretical Aspects of Software Engineering

In order to describe the requirement of spatial and temporal consistency of cyber-physical systems, a specification language called as STeC was proposed by Chen in [1]. In this paper, we focus on the theory of semantics of STeC. After simply restating ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGMOD '79: Proceedings of the 1979 ACM SIGMOD international conference on Management of data

May 1979

208 pages

ISBN:089791001X

DOI:10.1145/582095

General Chair:
James B. Rothnie
Computer Corporation of America
,
Program Chair:
Philip A. Bernstein
Harvard University

Copyright © 1979 ACM.

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]

Sponsors

SIGMOD: ACM Special Interest Group on Management of Data

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 May 1979

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

73
Total Citations
View Citations
819
Total Downloads

Downloads (Last 12 months)95
Downloads (Last 6 weeks)14

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Salvaneschi GKöhler MSokolowski DHaller PErdweg SMezini M(2019)Language-integrated privacy-aware distributed queriesProceedings of the ACM on Programming Languages10.1145/33605933:OOPSLA(1-30)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360593
Chen YLi SYao J(2018)Missing Information Management for Massive Sparse Data2018 IEEE 4th International Conference on Big Data Security on Cloud (BigDataSecurity), IEEE International Conference on High Performance and Smart Computing, (HPSC) and IEEE International Conference on Intelligent Data and Security (IDS)10.1109/BDS/HPSC/IDS18.2018.00058(238-243)Online publication date: May-2018
https://doi.org/10.1109/BDS/HPSC/IDS18.2018.00058
Chen YLi SYao J(2018)Processing Missing Information in Big Data EnvironmentData Mining and Big Data10.1007/978-3-319-93803-5_60(638-648)Online publication date: 10-Jun-2018
https://doi.org/10.1007/978-3-319-93803-5_60
Grahne G(2018)Incomplete InformationEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_1241(1819-1825)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_1241
Grahne G(2017)Incomplete InformationEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_1241-2(1-7)Online publication date: 18-Apr-2017
https://doi.org/10.1007/978-1-4899-7993-3_1241-2
Emran N(2015)Data Completeness MeasuresPattern Analysis, Intelligent Security and the Internet of Things10.1007/978-3-319-17398-6_11(117-130)Online publication date: 21-Jun-2015
https://doi.org/10.1007/978-3-319-17398-6_11
Görz QKaiser M(2012)An Indicator Function for Insufficient Data Quality – A Contribution to Data AccuracyKnowledge and Technologies in Innovative Information Systems10.1007/978-3-642-33244-9_12(169-184)Online publication date: 2012
https://doi.org/10.1007/978-3-642-33244-9_12
Cheng XMeng BChen YZhao PLi HWang TYang D(2012)Dynamic Table: A Layered and Configurable Storage Structure in the CloudWeb-Age Information Management10.1007/978-3-642-33050-6_21(204-215)Online publication date: 2012
https://doi.org/10.1007/978-3-642-33050-6_21
Grahne G(2009)Incomplete InformationEncyclopedia of Database Systems10.1007/978-0-387-39940-9_1241(1405-1410)Online publication date: 2009
https://doi.org/10.1007/978-0-387-39940-9_1241
Tré GCaluwe RPrade H(2008)Null values in fuzzy databasesJournal of Intelligent Information Systems10.1007/s10844-006-0021-030:2(93-114)Online publication date: 1-Apr-2008
https://dl.acm.org/doi/10.1007/s10844-006-0021-0
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents