Phil Trinder  Home/Search
Context Related
| dcs.gla.ac.uk/pub/...AFunctionalDb.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.jussieu.fr...p.dcs.gla.ac.uk (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A Functional Database Phil Trinder D.Phil. Thesis Wolfson College Michaelmas Term, 1989 This thesis explores the use of functional languages to implement, manipulate and query databases. Implementing databases. A functional language is used to construct a database manager that allows efficient and concurrent access to shared data. In contrast to the locking mechanism found in conventional databases, the functional database uses data dependency to provide exclusion. Results obtained from a... (Update)
Context of citations to this paper: More
.... list comprehension queries can be cleanly integrated with a functional database described elsewhere [1] These results are reported in [21, 22]. Currently visiting at the Computing Science Department, Glasgow University, Glasgow G12 8QQ, Scotland. Email: trinder uk.ac.glasgow.cs...
...hard to optimise. For example, lists only readily support the common relational optimisations if the concept of bag equality is used [Tri89] (i.e. lists are equal if they contain the same elements, although possibly in different orders) whilst some of the algebraic...
Cited by: More
Object-Oriented Query Language Design and Processing - Chan (1994) (Correct)
Formal foundations for optimising aggregation functions in .. - Poulovassilis, Small (1997) (Correct)
Algebraic Query Optimisation for Database Programming Languages - Poulovassilis, Small (1996) (Correct)
Active bibliography (related documents): More All
0.5: Comprehensions, a Query Notation for DBPLs - Trinder (1990) (Correct)
0.5: LexAGen: An Interactive Incremental Scanner Generator - Duane Szafron (1990) (Correct)
0.4: A Parallel Functional Database on GRIP - Akerholt, Hammond, Jones, Trinder (1992) (Correct)
Similar documents based on text: More All
0.3: Structure and Motion from Silhouettes - Wong (2001) (Correct)
0.1: A CSP Approach To Action Systems - Butler (1992) (Correct)
0.1: A Strategic Profiler for Glasgow Parallel Haskell - King, Hall, Trinder (1998) (Correct)
Related documents from co-citation: More All
9: The Implementation of Functional Programming Languages (context) - Jones - 1987
8: Introduction to Functional Programming (context) - Bird, Wadler - 1988
6: Database programming in Machiavelli: A polymorphic language with static type inf.. - Ohori, Buneman et al. - 1989
BibTeX entry: (Update)
Trinder P.W. A Functional Database. D.Phil Thesis, Oxford University (December 1989). http://citeseer.ist.psu.edu/trinder89functional.html More
@techreport{ trinder90functional,
author = "P. Trinder",
title = "A Functional Database",
number = "CSC/90/R10",
address = "Glasgow, UK",
year = "1990",
url = "citeseer.ist.psu.edu/trinder89functional.html" }
Citations (may not include all citations):273 Can Programming be Liberated from the von Neumann Style (context) - Backus - 1978
121 Types and Persistence in Database Programming Languages (context) - Buneman - 1987
71 COL: A Logic-based Language for Complex Objects (context) - Grumbach - 1987
57 Relational Approach to Database Management (context) - Blasgen, Chamberlin et al. - 1976
50 Galileo: A Strongly Typed Interactive Conceptual Language - Cardelli, Orsini - 1985
45 A Powerful and Simple Database Language (context) - Briggs, Khosafian et al. - 1987
26 Programming Languages and Databases (context) - Atkinson - 1978
17 The Programming Language Ada Reference Manual (context) - Standards, Inc - 1983
10 Implementing Functional Databases (context) - Fairbairn, Hughes et al. - 1987
7 Lazy ML User's Manual (context) - Johnsson - 1988
3 Document Reference G0003 Issue (context) - Project, Proposal - 1985
2 Organisation and Maintenance of Large Ordered (context) - McCreight
2 PS-Algol Reference Manual 2nd Ed (context) - Atkinson - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.dcs.gla.ac.uk.html): More
Space-saving Optimisations for the Glasgow Haskell Compiler - O'Sullivan (1994) (Correct)
ESPRIT Basic Research Action 6309 FIDE - Deliverable Id (Correct)
Formally Based Profiling for Higher-Order Functional Languages - Sansom, Jones (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC