BIROn - Birkbeck Institutional Research Online

    Integration of modal logic and the functional data model

    Sutton, D.R. and King, Peter J.H. (1992) Integration of modal logic and the functional data model. In: Gray, P.M.D. and Lucas, R.J. (eds.) Advanced Database Systems, 10th British National Conference on Databases: BNCOD 10. Lecture Notes in Computer Science 618. Springer, pp. 156-174. ISBN 9783540556930.

    Full text not available from this repository.

    Abstract

    This paper argues that the treatment of incomplete information in conventional database systems is inadequate. It is not possible for users to formulate queries which clearly state what it is they want to know and the answers to queries are often misleading. These problems can be remedied by the use of modal logic which allows questions to be asked about what might be true and what must be true, rather than simply about what is true. This paper presents a functional database language which seamlessly integrates propositional modal logic with the computationally complete functional data model of FDL, thus allowing incomplete information to be handled more effectively than in SQL or in more recent developments.

    Metadata

    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 04 May 2021 16:39
    Last Modified: 04 May 2021 16:39
    URI: https://eprints.bbk.ac.uk/id/eprint/44106

    Statistics

    Downloads
    Activity Overview
    0Downloads
    22Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item