I developed FDL (Functional Database Language) as part
of my Ph.D. research at Birkbeck College during 1986-1989. FDL integrated functional
programming with the Functional Data Model (see right) for the first time, into one
uniform formalism for both data and computation. FDL improved on previous
implementations of the functional data model by allowing any computable
function to be defined and stored, by supporting arbitrarily nested data
types which are all persistent, and by providing for the representation of
default and incomplete data.
FDL was active use during the 1990s - 2000s within the TRISTARP project at Birkbeck.
FDL : an integration of the Functional Data Model and the Functional
Computational Model. A.Poulovassilis.
Proc. 6th British National Conference on Databases, Cardiff, July 1988,
pp 215-236. C.U.P.
Extending the Functional Data Model to computational completeness.
A.Poulovassilis and P.King.
Proc. International Conference on Extending Database Technology (EDBT-90),
Venice, March 1990, pp 75-91. Lecture Notes in Computer Science 416,
The Implementation of FDL, a Functional Database Language.
The Computer Journal, Vol. 35, No. 2, pp 119-128, 1992. C.U.P.
A Pattern-Matching Algorithm for Functional Databases.
The Computer Journal, Vol. 36, No. 2, pp 195-199, 1993. O.U.P.