On the Theory of Relational Data Bases with Incomplete Information

  • M. Sh. Tsalenko
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


In many applications the information stored in relational databases is incomplete. Database designers and users quite often face difficulties due to the inadequate consideration of incomplete information. In this paper we present a theory for the treatment of incomplete information in relational databases using L-relations and algebras of L-relations. We show that the main results of the theory of relational databases like the theory of functional and mulivalued dependencies remain valid for L-relations. Furthermore, it is shown that in order to solve the decomposition problem for L-relations we have to investigate systems of equations with coefficients in L which express specific properties of L-relations.




Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M.A.Babushkin. Heyting categories with involution and their applications. Ph.D.Thesis.-Moscow State Pedagog.Inst., 1988.Google Scholar
  2. [2]
    C.Beeri, M.Y.Vardi. Formal systems for tuple and equality generating dependencies. SIAM J. Comput., 1984, v. 13, NI, pp.76–98.Google Scholar
  3. [3]
    N.D.Belnap. How a computer should think. In: Contemporary aspects of philosophy. Proc. of the Oxford Int. Symposium, 1976.Google Scholar
  4. [4]
    E.F.Codd. Extending the Database Relational Model to Capture More Meaning. ACM Trans on Datebase Systems, 1979, v.4, N4, pp. 397–434.Google Scholar
  5. [5]
    T. Imielinski, W. Lipski. The relational model of data and cylinric algebras. J. of Comp. and Syst. Sci., 1984, v. 28, pp. 80–102.MathSciNetMATHCrossRefGoogle Scholar
  6. [6]
    D.Meier. The theory of relational databases. Comp. Sci. Press. 1983.Google Scholar
  7. [7]
    M.Sh.Tsalenko. Modeling semantics in data bases. Moscow, Nauka, 1989 (in Russian).Google Scholar
  8. [8]
    M.Sh.Tsalenko. Database theory in Russia (1979–1991)(an overview). Lect. Notes in Comp. Sci., 1992, v. 646, pp. 50–70.Google Scholar
  9. [9]
    M.Sh.Tsalenko. Functional and multivalued dependencies for L-relations. ADBIS’94. Proc. of Int. Conf., Moscow, 1994, pp. 228–234.Google Scholar
  10. [10]
    L.A.Zadeh. The concept of a linguistic variable and its application to approximate reasoning. N.Y., Elsevier Publ. Comp., 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • M. Sh. Tsalenko
    • 1
  1. 1.Russian State University for HumanitiesMoscowRussia

Personalised recommendations