A modal logic formalism for distributed and parallel knowledge bases

Levene, Mark and Loizou, G. (1993) A modal logic formalism for distributed and parallel knowledge bases. International Journal of Parallel, Emergent and Distributed Systems 1 (1), pp. 11-27. ISSN 1744-5760.

Full text not available from this repository.

Official URL: https://doi.org/10.1080/10637199308915428

Abstract

Knowledge bases are currently being investigated by database researchers in order to extend the expressiveness of the relational model to include deductive capabilities in the form of rules. The motivation behind this paper is to present a formalism which extends the relational approach to homogeneous distributed databases to the knowledge base paradigm. The basis of our formalism of distributed knowledge bases is the S5 modal logic system. We define an extensional distributed database as a modal structure and an intentional distributed database as a DatalogK logic program. We interpret a modal structure, (W,V), as a network of user sites, W, together with a valuation function, V, which assigns a database to each site w ∊ W DatalogK extends Datalog + negation by incorporating into it the modal knowledge operator, K. Knowing in our context can be viewed as data replication, and possibility can be viewed as data fragmentation. We define the model-theoretic semantics of DatalogK via implication in a proper subset of first-order modal logic and its operational semantics in terms of two inflationary fixpoint operators, the local fixpoint and the global fixpoint operators. It is shown that the operational semantics of DatalogK coincides with its model-theoretic semantics and that DatalogK queries are computable in polynomial time. We also demonstrate that DatalogK can be implemented in a parallel knowledge base environment over a shared-nothing architecture for a multiprocessor database.

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	15 Jun 2021 17:12
Last Modified:	09 Aug 2023 12:51
URI:	https://eprints.bbk.ac.uk/id/eprint/44736

Statistics

Archive Staff Only (login required)

Edit/View Item