Program partition and logic program analysis

A program partition scheme for stratified programs introduced by Apt et al. (1988) is used to study efficient computation of logic programs. We consider three types of program partitions and their corresponding graph representations: 1) the natural partition, 2) stratified partitions, and 3) the red...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. 21; no. 12; pp. 959 - 968
Main Author: Han, Jia Liang
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.12.1995
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Subjects:
Algorithms
Applied sciences
Automatic programming
Automation
Computational efficiency
Computer science; control theory; systems
Costs
Exact sciences and technology
Graph representations
Graphs
Information systems. Data bases
Logic programming
Memory organisation. Data processing
Optimization techniques
Partitioning algorithms
Programming languages
Query processing
Relational data bases
Relational databases
Semantics
Software
Software engineering
Software maintenance
Studies
Systems analysis
Writing
Program graph
Query formulation
Computer programming
Logic programming
Deductive database
Semantic analysis
Task scheduling
Computer programming languages
Decomposition
Graph theory
Optimization
Program verification
Algorithms
Acyclic graph
Directed graph
ISSN:0098-5589, 1939-3520
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A program partition scheme for stratified programs introduced by Apt et al. (1988) is used to study efficient computation of logic programs. We consider three types of program partitions and their corresponding graph representations: 1) the natural partition, 2) stratified partitions, and 3) the reduced partition. The natural (program) partition consists of definitions of relations, each definition being a subprogram. Subprograms of a program partition may consist of several relations. A partition graph is introduced for a program partition, each node of which corresponds to a subprogram. The partition graph for a stratified partition is a directed acyclic graph (DAG). A stratified partition decomposes a program into modules. The stratified partition with the maximum number of modules is the reduced partition. The cost to achieve a reduced partition is linear in the program size, using well known graph algorithms. We introduce the modular interpretations, which are equivalent in semantics to the standard interpretation. The modular interpretations offer encapsulation and may reduce the computation cost for some modules significantly. The modular approach can play an important role in query optimization, efficient termination, programming design, and software engineering. We classify query types and answer types then discuss query optimization for some query types. Many efficient query processing strategies are applicable to restricted subclasses of programs. The program partition method allows us to select the most efficient strategy for each module. For example, if a module is a uniformly bounded recursion, then the module can be terminated efficiently. If a module defines the transitive closure, then efficient program transformations may be applied to this module.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/32.489072