A Logical Framework for Operations on Distributed Data,
Abstract
In this paper we consider logic programming as a means of both and computing formulating complex queries in the same system. These concepts are applied to a medium sized database. In particular, we establish a term representation of the data used in a prototype battlefield information system and conceptually extend this database with rules. We develop browsing operations for that system by logically combining constraints. An extended language on binary predicates with richer operations is considered. In this language, programs and queries have mathematical properties that can be specified as equations between relations. These equations support program transformations that improve query efficiency. This work increases the likelihood of performing declarative operations on distributed data.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1992
- Accession Number
- ADP006615
Entities
People
- B. D. Broome
- P. Broome
Organizations
- Ballistic Research Laboratory