Accession Number : ADP006615
Title : A Logical Framework for Operations on Distributed Data,
Corporate Author : ARMY BALLISTIC RESEARCH LAB ABERDEEN PROVING GROUND MD
Personal Author(s) : Broome, P. ; Broome, B. D.
Report Date : MAR 1992
Pagination or Media Count : 16
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.
Descriptors : *BATTLEFIELDS, *PROTOTYPES, *MANAGEMENT INFORMATION SYSTEMS, *COMBAT INFORMATION CENTERS, EFFICIENCY, EQUATIONS, INFORMATION SYSTEMS, LANGUAGE, LOGIC, OPERATION, PAPER, TRANSFORMATIONS, WORK, DISTRIBUTED DATA PROCESSING.
Subject Categories : Computer Systems
Military Operations, Strategy and Tactics
Distribution Statement : APPROVED FOR PUBLIC RELEASE