A Logical Framework for Distributed Data
Abstract
In this paper we consider logic programming as a means of both computing and formulating complex queries in the same system and describe the application of these concepts to a medium sized database. In particular, we establish a term representation of the data used in an experimental battlefield information system and conceptually extend this database with rules. We develop browsing operations for that system by combining logical operations with constraints. These programs and queries have mathematical properties that can be specified as equations between relations. We than apply these equations to support program transformations that improve query efficiency. This work increases the likelihood of performing declarative operations on the constantly changing data associated with distributed databases.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1990
- Accession Number
- ADA230037
Entities
People
- Barbara Broome
- Paul Broome
Organizations
- Ballistic Research Laboratory