Accession Number:

ADA230037

Title:

A Logical Framework for Distributed Data

Descriptive Note:

Final rept. 1 Sep 1989-31 Aug 1990

Corporate Author:

ARMY BALLISTIC RESEARCH LAB ABERDEEN PROVING GROUND MD

Personal Author(s):

Report Date:

1990-11-01

Pagination or Media Count:

30.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems
  • Military Operations, Strategy and Tactics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE