BIROn - Birkbeck Institutional Research Online

    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.


    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.


    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 04 May 2021 17:50
    Last Modified: 04 May 2021 17:50


    Activity Overview

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item