DocumentCode :
3473948
Title :
Program Development By Transformations Applied To Relational Database Queries
Author :
Setzer, V.W.
Author_Institution :
Institute of Mathematics and Statistics, University of Sao Paulo
fYear :
1979
fDate :
3-5 Oct. 1979
Firstpage :
436
Lastpage :
443
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Very Large Data Bases, 1979. Fifth International Conference on
Conference_Location :
Rio de Janeiro, Brazil
Type :
conf
DOI :
10.1109/VLDB.1979.718159
Filename :
718159
Link To Document :
بازگشت