| 書目名稱 | Translating Relational Queries into Iterative Programs |
| 編輯 | Johann Christoph Freytag |
| 視頻video | http://file.papertrans.cn/929/928850/928850.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | 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-le |
| 出版日期 | Book 1987 |
| 關鍵詞 | Processing; algebra; algorithms; database; database systems; programming; query processing; relational data |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0055115 |
| isbn_softcover | 978-3-540-18000-5 |
| isbn_ebook | 978-3-540-47209-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1987 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 05:26
發(fā)表于 2025-3-21 18:18:45
