Translating Relational Queries into Iterative Programs (Record no. 35298)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03426nam a22004935i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540472094 |
-- | 978-3-540-47209-4 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.74 |
100 1# - MAIN ENTRY--AUTHOR NAME | |
Personal name | Freytag, Johann Christoph. |
245 10 - TITLE STATEMENT | |
Title | Translating Relational Queries into Iterative Programs |
Statement of responsibility, etc | by Johann Christoph Freytag. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1987. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | XIV, 134 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Data models and rewriting systems -- A transformation system based on recursive programs -- Query transformation based on map expressions -- The transformation of aggregate functions -- The implementation of database systems in T -- Conclusion and future work. |
520 ## - SUMMARY, ETC. | |
Summary, etc | This book investigates the problem of translating relational queries into iterative programs using methods and techniques from the areas of functional programming and program transformation. The first part presents two algorithms which generate iterative programs from algebra-based query specifications. While the first algorithm is based on the transformation of recursive programs, the second uses functional expressions to generate the final iterative form. In the second part the same techniques generate efficient programs for the evaluation of aggregate functions in relational database systems. In several steps, programs which perform aggregation after sorting, are transformed into programs which perform aggregation while sorting. The third part then investigates the Lisp-dialect T as a possible implementation language for database systems. The book describes all transformations by transformation rules. The reader can expect a formal treatment of the proposed transformations which provide the basis for proving the correctness of the algorithms and, at the same time, give important insight into the techniques and methods developed for the transformation. Additionally, the high-level, detailed description of the algorithms immediately leads to their implementation and allows their extension to meet new requirements. Overall, the use of transformation rules and transformation methods introduces a new approach to query processing in relational database systems. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Database management. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Information storage and retrieval systems. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Database Management. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Information Storage and Retrieval. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/BFb0055115 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1987. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK6004 | http://dx.doi.org/10.1007/BFb0055115 | E-BOOKS |