Title :
Program Development By Transformations Applied To Relational Database Queries
Author_Institution :
Institute of Mathematics and Statistics, University of Sao Paulo
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.
Keywords :
program development by transformations, transformation schemes, relational database, query programs; Algebra; Calculus; Database languages; EMP radiation effects; Indexes; Mathematics; Relational databases; Remuneration; Statistics;
Conference_Titel :
Very Large Data Bases, 1979. Fifth International Conference on
Conference_Location :
Rio de Janeiro, Brazil
DOI :
10.1109/VLDB.1979.718159