ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
| Hi-index | 0.01 |
This paper presents a type system for logic programs which is intended to serve as the basis for algebraic database programming languages. This type system supports user—defined types, parametric polymorphism, union types, and subtypes. It has a particularly interesting treatment of type equivalence and the subtype relationship: predefined type constructors) such as union, are treated structurally and user—defined type constructors, such as list, are treated “by name”. Milner—style type inference rules for logic programs) which can be used to develop type—checking algorithms) are presented.