Program Development By Transformations Applied To Relational Database Queries

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 corre...

Full description

Saved in:
Bibliographic Details
Published inFifth International Conference on Very Large Data Bases, 1979 pp. 436 - 443
Main Author Setzer, V.W.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1979
Subjects
Algebra
Calculus
Database languages
EMP radiation effects
Indexes
Mathematics
Relational databases
Remuneration
Statistics
Online AccessGet full text
DOI10.1109/VLDB.1979.718159

Cover

More Information
Summary: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.
DOI:10.1109/VLDB.1979.718159