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.
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: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Sarah Hall |
| Date Deposited: | 04 May 2021 16:39 |
| Last Modified: | 09 Aug 2023 12:50 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/44106 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
