Type Inferencing Based on Complete Type Specifications

  • Leonid A. Kalinichenko
  • Vladimir I. Zadorozhny
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


Type specification completeness is a necessary prerequisite for support of object creating formulae in object calculus leading to formation of new types to be integrated into a type lattice containing the types from which they were formed.

The paper shows what conditions should be satisfied in order that the inferred types could be correct and what is the systematic way of integration of these types into the existing type lattice on the basis of a well-defined subtype relation. Ignoring of the specification completeness for type inference may lead to inconsistent results.

The paper contributes to clarification of type inferencing operations for the case of complete type specifications.


Product Type Type Lattice Algebraic System Type Operation Object Management Group 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    S. Alagic. F-Bounded polymorphism for database programing languages. In Proc. of the Second East-West Database Conference, Klagenfurt, September 1994.Google Scholar
  2. [2]
    I. A. Chaban, L. A. Kalinichenko, and V. I. Zadorozhny. Could the OODB standards be better if more grounded? In Proc. of the Second East-West Database Conference, Klagenfurt, September 1994.Google Scholar
  3. [3]
    H.-D. Enrich, G. Engels, J. Paredaens, and P. Wegner. Fundamentals of Object-Oriented Languages, Systems and Methods. Dagstuhl Seminar Report, 95, August 1994.Google Scholar
  4. [4]
    A. Formica, M. Missikoff. Correctness of ISA hierarchies in object -oriented database schémas. In Proceedings of the International Conference”Extending Database Technologies”, EDBT’94, March 1994.Google Scholar
  5. [5]
    L. A. Kalinichenko. SYNTHESIS: a language for description, design and programming of interoperable information resource environment. Institute for Problems of Informatics of the Russian Academy of Sciences, (in Russian), 113p., September 1993.Google Scholar
  6. [6]
    L. A. Kalinichenko. Emerging semantic-based interoperable information system technology. Computers as our better partners. In Proceedings of the International IISF/ACM Symposium, Tokyo, World Scientific, 1994.Google Scholar
  7. [7]
    B. Liskov, J. M. Wing. Specifications and their use in defining subtypes. OOPSLA’93, 1993.Google Scholar
  8. [8]
    A.I. Maltsev. Algebraic systems. Moscow, Nauka, (in Russian), 1970.Google Scholar
  9. [9]
    J. Melton. Object technology and SQL: adding objects to a relational language. Data Engineering Bulletin, IEEE Computer Society, 17(4), Decemeber 1994.Google Scholar
  10. [10]
    The Object Database Standard: ODMG-93. Ed. by R. G. G. Cattell, Morgan Kaufmann Publ., 169p., 1994.Google Scholar
  11. [11]
    A. Hutt (editor). Object Analysis and Design. Description of methods. Object management group. John Wiley and Sons. 202p., 1994.Google Scholar
  12. [12]
    Object Management Group, ”Object Management Architecture Guide”, OMG Document Number 92.11.1, September 1, 1992.Google Scholar
  13. [13]
    Object Management Group, ”The Common Object Request Broker: Architecture and Specification”, OMG Document Number 91.12.1, December 1991.Google Scholar
  14. [14]
    R. J. Peters, A. Lipka, M. T. Ozsu, and D. Szafron. The query model and query language of TIGUKAT. Technical Report TR 93–01, Computer Science Department, University of Alberta, Canada, June 1993.Google Scholar
  15. [15]
    J. M. Spivey. The Z Notation. A reference manual. Prentice-Hall, 1989.MATHGoogle Scholar
  16. [16]
    M. Stonebraker. Inclusion of new types in relational data base systems. In Readings in Database Systems, Morgan Kaufmann Publishers, California, 1988.Google Scholar

Copyright information

© British Computer Society 1996

Authors and Affiliations

  • Leonid A. Kalinichenko
    • 1
  • Vladimir I. Zadorozhny
    • 1
  1. 1.Institute for Problems of InformaticsRussian Academy of SciencesMoscow, V-334Russia

Personalised recommendations