Type Inferencing Based on Complete Type Specifications
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.
KeywordsProduct Type Type Lattice Algebraic System Type Operation Object Management Group
Unable to display preview. Download preview PDF.
- S. Alagic. F-Bounded polymorphism for database programing languages. In Proc. of the Second East-West Database Conference, Klagenfurt, September 1994.Google Scholar
- 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
- 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
- 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
- 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
- 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
- B. Liskov, J. M. Wing. Specifications and their use in defining subtypes. OOPSLA’93, 1993.Google Scholar
- A.I. Maltsev. Algebraic systems. Moscow, Nauka, (in Russian), 1970.Google Scholar
- J. Melton. Object technology and SQL: adding objects to a relational language. Data Engineering Bulletin, IEEE Computer Society, 17(4), Decemeber 1994.Google Scholar
- The Object Database Standard: ODMG-93. Ed. by R. G. G. Cattell, Morgan Kaufmann Publ., 169p., 1994.Google Scholar
- A. Hutt (editor). Object Analysis and Design. Description of methods. Object management group. John Wiley and Sons. 202p., 1994.Google Scholar
- Object Management Group, ”Object Management Architecture Guide”, OMG Document Number 92.11.1, September 1, 1992.Google Scholar
- Object Management Group, ”The Common Object Request Broker: Architecture and Specification”, OMG Document Number 91.12.1, December 1991.Google Scholar
- 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
- M. Stonebraker. Inclusion of new types in relational data base systems. In Readings in Database Systems, Morgan Kaufmann Publishers, California, 1988.Google Scholar