Combining Inheritance and Parametric Polymorphism in a Functional Database Language (1995)
| Venue: | in Proc. 13th British National Conference on Databases (BNCOD-13 |
| Citations: | 4 - 0 self |
BibTeX
@INPROCEEDINGS{Courtenage95combininginheritance,
author = {Simon Courtenage and Alexandra Poulovassilis and Ra Poulovassilis},
title = {Combining Inheritance and Parametric Polymorphism in a Functional Database Language},
booktitle = {in Proc. 13th British National Conference on Databases (BNCOD-13},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. We consider extending a functional database language to support subtyping, inheritance and method overloading. We do so by extending previous work on type inference with subtypes for the pure calculus to cater for structured types, ML-style parametric polymorphism and overloaded function definitions. We attach semantics to overloaded functions by developing a generalisation of best-fit pattern-matching. Although developed for a specific language, our approach is applicable to other functional database languages, for example languages with a functional data model. 1 Introduction Two major trends in recent database research have been deductive databases and object-oriented databases. Deductive databases extend the relational data model with rules that enable the derivation of intentional relations from the stored, extensional, relations. Object-oriented databases typically start off with a semantic data model [HK87] supporting object identity and complex objects, and extend it with f...
