A note on the translation of SQL to tuple calculus
Tóm tắt
This note presents a translation of a subset of the relational query language SQL into the well known tuple calculus. Roughly speaking, tuple calculus corresponds to first order predicate calculus. The SQL subset is relationally complete and represents a “relational core” of the language. Nevertheless, our translation is simple and elegant. Therefore it is especially well suited as a beginners course into the principles of a formal definition of 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.