Extending the functional data model to computational completeness

Poulovassilis, A. and King, Peter J.H. (1990) Extending the functional data model to computational completeness. In: Bancilhon, F. and Thanos, C. and Tsichritzis, D. (eds.) Advances in Database Technology, International Conference on Extending Database Technology: EDBT'90. Lecture Notes in Computer Science 416. Springer, pp. 75-91. ISBN 9783540522911.

Full text not available from this repository.

Official URL: https://doi.org/10.1007/BFb0022165

Abstract

We introduce the functional database language FDL which extends the functional data model to computational completeness while also supporting the persistence of any function, whether extensionally or intentionally defined. FDL improves on previous implementations of the functional data model by providing a uniform formalism both for modelling data and for computation, by supporting arbitrarily nested data types which are all persistent, and by allowing for the representation of incomplete and default knowledge. All functions are updated incrementally by the insertion and deletion of individual equations and an integrity sub-system verifies updates against the declared semantic integrity constraints.

Metadata

Item Type:	Book Section
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	04 May 2021 17:50
Last Modified:	09 Aug 2023 12:50
URI:	https://eprints.bbk.ac.uk/id/eprint/44111

Statistics

Archive Staff Only (login required)

Edit/View Item