Accession Number:

ADP006615

Title:

A Logical Framework for Operations on Distributed Data,

Descriptive Note:

Corporate Author:

ARMY BALLISTIC RESEARCH LAB ABERDEEN PROVING GROUND MD

Personal Author(s):

Report Date:

1992-03-01

Pagination or Media Count:

16.0

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.

Subject Categories:

  • Computer Systems
  • Military Operations, Strategy and Tactics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE