Project number 0004
YES
In the course 01017/01917 Discrete Mathematics and Databases three query languages are learned: relational algebra, relational calculus, and SQL. The project proposed concerns the construction of a compiler for translating queries in relational algebra and/or relational calculus into SQL. Having such a compiler will allow queries formed in relational algebra or calculus to be computed on commercial database management systems such as MySQL. The project involves many of the fundamental subjects in modern computer science: database management systems, compiler techniques, programming language semantics, logic.