Một ghi chú về việc dịch SQL sang phép tính tuple
Tóm tắt
Bài viết này trình bày một bản dịch của một tập con của ngôn ngữ truy vấn quan hệ SQL sang phép tính tuple nổi tiếng. Nói một cách tổng quát, phép tính tuple tương ứng với phép tính đệ nhất thứ tự. Tập con SQL là đầy đủ về mặt quan hệ và đại diện cho một “cốt lõi quan hệ” của ngôn ngữ. Tuy nhiên, bản dịch của chúng tôi lại đơn giản và tinh tế. Do đó, nó đặc biệt phù hợp làm khóa học cho người mới bắt đầu vào các nguyên lý của định nghĩa chính thức về SQL.
Từ khóa
Tài liệu tham khảo
[ Bü 87] G. von Bültzingsloewen: Translating and Optimizing SQL Queries Having Aggregates. Proc. 13th VLDB , Saratoga Press , 1987 . [Bü 87] G. von Bültzingsloewen: Translating and Optimizing SQL Queries Having Aggregates. Proc. 13th VLDB, Saratoga Press, 1987.
[ Da 87] C. J. Date: A Guide to the SQL Standard . Addison-Wesley , Reading . 1987 . [Da 87] C. J. Date: A Guide to the SQL Standard. Addison-Wesley, Reading. 1987.
[ Go 87] M. Gogolla: Begleitmaterial zur Vorlesung Datenbanksysteme. TU Braunschweig , Wintersemester 87/88 , 1987 . [Go 87] M. Gogolla: Begleitmaterial zur Vorlesung Datenbanksysteme. TU Braunschweig, Wintersemester 87/88, 1987.
[ Ma 83] D. Maier: The Theory of Databases . Computer Science Press , Rockville . 1983 . [Ma 83] D. Maier: The Theory of Databases. Computer Science Press, Rockville. 1983.
[PBGG 89] J. Paredaens , P. de Bra , M. Gyssens , D. van Gucht: The Structure of the Relational Database Model. EATCS Monographs on Theoretical Computer Science No. 17 , Springer Verlag , Berlin , 1989 . [PBGG 89] J. Paredaens, P. de Bra, M. Gyssens, D. van Gucht: The Structure of the Relational Database Model. EATCS Monographs on Theoretical Computer Science No. 17, Springer Verlag, Berlin, 1989.