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.
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
Additional statistics are available via IRStats2.