Translating relational queries into iterative programs
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 specificati...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science
261 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Translating relational queries into iterative programs, Johann Christoph Freytag, Berlin, Springer-Verlag, 1987, 1 vol. (XI-131 p.), Lecture notes in computer science, 0-387-18000-1 • Translating Relational Queries into Iterative Programs, Texte imprimé, 9783662180945 |
| LEADER | 03954nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 944681 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155197673 | ||
| 020 | |a 9783540472094 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.756 | ||
| 100 | 1 | |a Freytag, Johann Christoph, |d 19..- | |
| 245 | 1 | 0 | |a Translating relational queries into iterative programs |c Johann Christoph Freytag. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 261 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Informatique documentaire | ||
| 650 | |a Bases de données relationnelles | ||
| 650 | |a Langages de programmation fonctionnelle | ||
| 776 | 0 | |0 020294522 |t Translating relational queries into iterative programs |f Johann Christoph Freytag |c Berlin |n Springer-Verlag |d 1987 |p 1 vol. (XI-131 p.) |s Lecture notes in computer science |z 0-387-18000-1 | |
| 776 | 0 | |t Translating Relational Queries into Iterative Programs |b Texte imprimé |z 9783662180945 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0055115 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1NZBN5HK-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747892709 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0055115 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750905743 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0055115 |z Accès INSA CVL | |
| 997 | |0 944681 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||