×

zbMATH — the first resource for mathematics

The implementation of FDL, a functional database language. (English) Zbl 0757.68024
Summary: We describe the implementation of the functional database language FDL. FDL improves upon previous languages with a functional data model by allowing any computable function to be defined and stored and by supporting arbitrarily nested data types which are all persistent. All functions are updated incrementally by the insertion and deletion of equations, and an integrity sub-system verifies updates against the declared semantic integrity constraints. We show how a binary relational storage structure is used to support all of FDL’s persistent data. We also show how the technique of graph reduction from functional programming languages is modified for the evluation of FDL queries. Finally, we compare our implementation with that of related languages.

MSC:
68N15 Theory of programming languages
68P15 Database theory
Software:
Miranda
PDF BibTeX XML Cite
Full Text: DOI