Program development by transformations applied to relational database queries

Authors:
V. W. Setzer
Affiliations:
-
Venue:
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Year:
1979

Citing 4
Cited 0

System R: relational approach to database management

ACM Transactions on Database Systems (TODS)
Decomposition—a strategy for query processing

ACM Transactions on Database Systems (TODS)
A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
A relational model of data for large shared data banks

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

Queries to relational databases may be formulated in a class of non-procedural query languages based on Predicate Calculus. Using a wide spectrum language, procedures are introduced which express these Predicate Calculus formulations. Program transformation schemes are then utilized to develop correct, quantifier-free programs.