Combining inheritance and parametric polymorphism in a functional database language

Courtenage, S. and Poulovassilis, A. 2005. Combining inheritance and parametric polymorphism in a functional database language. Springer.

TitleCombining inheritance and parametric polymorphism in a functional database language
AuthorsCourtenage, S. and Poulovassilis, A.
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.

KeywordsAtomic Type
Deductive Database
Type Environment
Type Inference
Type Expression
Year2005
PublisherSpringer
Publication dates
Published2005
ISSN1611-3349
Digital Object Identifier (DOI)https://doi.org/10.1007/bfb0000539
Web address (URL)http://www.scopus.com/inward/record.url?eid=2-s2.0-84947905300&partnerID=MN8TOARS
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Related outputs

Intelligent Machines, Collectives, and Moral Responsibility
Courtenage, S. 2024. Intelligent Machines, Collectives, and Moral Responsibility. AI and Ethics. 4, pp. 485-498. https://doi.org//10.1007/s43681-023-00285-6

High-level Design Models for Rich Web-based Applications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2023. High-level Design Models for Rich Web-based Applications. Showcasing Research at the School of Computer Science and Engineering. Regent cinema, Regent street, London 22 Nov 2023 University of Westminster.

Design Methodoolgy for Rich Web-based Appllications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2023. Design Methodoolgy for Rich Web-based Appllications.

Towards Architectural Design Method for Rich Web-based Applications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2019. Towards Architectural Design Method for Rich Web-based Applications. 2019 CSE Doctoral Conference. University of Westminster May 2019

Innovations in Web communications infrastructure
Courtenage, S., Lewis, D. and Tiropanis, T. 2007. Innovations in Web communications infrastructure. Computer Networks. 51 (16), pp. 4511-4513. https://doi.org/10.1016/j.comnet.2007.07.002

The design and implementation of a P2P-based composite event notification system
Courtenage, S. and Williams, S. 2006. The design and implementation of a P2P-based composite event notification system. in: 20th International Conference on Advanced Information Networking and Applications (AINA 2006) Los Alamitos, USA IEEE .

Semantic-based policy engineering for autonomic systems
Lewis, D., Feeney, K., Carey, K., Tiropanis, T. and Courtenage, S. 2005. Semantic-based policy engineering for autonomic systems. in: Smirnov, M. (ed.) Autonomic Communication: First International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004: revised selected papers Berlin, Germany Springer.

Semantic-based matching and personalization in FWEB, a publish/subscribe-based web infrastructure
Courtenage, S. and Williams, S. 2005. Semantic-based matching and personalization in FWEB, a publish/subscribe-based web infrastructure. in: On the move to meaningful internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31-November 4, 2005: proceedings Berlin, Germany ; New York, USA Springer.

Automatic hyperlink creation using P2P and publish/subscribe
Courtenage, S. and Williams, S. 2005. Automatic hyperlink creation using P2P and publish/subscribe. in: Klaus-Dieter, A. (ed.) Professional Knowledge Management: Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, revised selected papers Berlin, Germany Springer.

An active, ontology-driven network service for internet collaboration
Lewis, D., Feeney, K., Tiropanis, T. and Courtenage, S. 2004. An active, ontology-driven network service for internet collaboration. Workshop on the Application of Semantic Web Technologies to Web Communities at ECAI'04. Valencia, Spain 22-27 Aug 2004

Finding relevant web pages through equivalent hyperlinks
Courtenage, S. and Williams, S. 2004. Finding relevant web pages through equivalent hyperlinks. 3rd International Workshop on Web Dynamics (WWW2004). New York, USA 18th May 2004

Deriving structure from semi-structured data using functional grammar
Chondrogianni, M. and Courtenage, S. 2004. Deriving structure from semi-structured data using functional grammar. 11th International Conference on Functional Grammar. Gijon, Spain 22-25 Sep 2004

Optimising active database rules by partial evaluation and abstract interpretation
Bailey, J., Poulovassilis, A. and Courtenage, S. 2002. Optimising active database rules by partial evaluation and abstract interpretation. Springer.

Specifying and detecting composite events in content-based publish/subscribe systems
Courtenage, S. 2002. Specifying and detecting composite events in content-based publish/subscribe systems. in: Wagner, R.R. (ed.) Proceedings of the 22nd International Conference on Distributed Computing Systems Workshops (ICDCSW '02) Los Alamitos, USA IEEE . pp. 602-607

Distributing graphs to implement user subscriptions in a content-based publish/subscribe system
Courtenage, S. 2002. Distributing graphs to implement user subscriptions in a content-based publish/subscribe system. Workshop on Distributed Data and Structures. Paris, France 20-23 Apr 2002

Optimising active database rules by partial evaluation and abstract interpretation
Poulovassilis, A., Bailey, J. and Courtenage, S. 2001. Optimising active database rules by partial evaluation and abstract interpretation. 8th Biennial Workshop on Data Bases and Programming Languages. Frascati, Rome 08-10 Sep 2001

Permalink - https://westminsterresearch.westminster.ac.uk/item/w2701/combining-inheritance-and-parametric-polymorphism-in-a-functional-database-language


Share this

Usage statistics

42 total views
0 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.