Growing certainty with null values

Abstract Non-availability of part of the data is a problem common to many database systems. We study here some aspects relating to incomplete information. Obviously, when the information in a database is not complete the answer to any query is only an approximation to the true result. The aim is to get a precise approximation. We regard databases as many-sorted algebras. Based on the concept of extended algebra we define what it means for an algebra to approximate another algebra. We then give the following simple principle for extending query languages to handle missing data: “Whenever information is added to an incomplete database subsequent answers to queries must not be contradictory or less informative than previously.” We then apply this principle to extend the functional query language Varqa. Finally, we compare the previously proposed many-valued logic systems with the system devised based on our principles.

[1]  Ken Kennedy,et al.  An introduction to the set theoretical language SETL , 1975 .

[2]  Joachim Biskup,et al.  A Formal Approach to Null Values in Database Relations , 1979, Advances in Data Base Theory.

[3]  Walter Dosch,et al.  On the Algebraic Specification of Databases , 1982, VLDB.

[4]  Witold Lipski,et al.  On semantic issues connected with incomplete information databases , 1979, ACM Trans. Database Syst..

[5]  N. Rescher.  Many Valued Logic , 1969 .

[6]  Alonzo Church,et al.  Review: D. A. Bocvar, On a Three-Valued Logical Calculus and its Application to the Analysis of Contradictions , 1939 .

[7]  Peter Buneman,et al.  FQL: a functional query language , 1979, SIGMOD '79.

[8]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[9]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[10]  John Grant,et al.  Null Values in a Relational Data Base , 1977, Inf. Process. Lett..

[11]  Peter Buneman,et al.  An implementation technique for database query languages , 1982, TODS.

[12]  Yannis Vassiliou.  Functional Dependencies and Incomplete Information , 1980, VLDB.

[13]  Carlo Zaniolo.  Database relations with null values , 1982, PODS '82.

[14]  Tomasz Imielinski,et al.  On Representing Incomplete Information in a Relational Data Base , 1981, VLDB.

[15]  Yannis Vassiliou,et al.  Null values in data base management a denotational semantics approach , 1979, SIGMOD '79.

[16]  Forouzan Golshani.  Varqa : a functional query language based on an algebraic approach and conventional mathematical notation , 1982 .

[17]  E. F. Codd,et al.  Understanding relations , 1973, SGMD.