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.

Official URL: https://doi.org/10.1007/3-540-55693-1\_37

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

Archive Staff Only (login required)

Edit/View Item