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