MSc Project: From predicate logic to SQL

SQL is the preeminent query language for mainframe and client-server relational database management systems. First-order predicate logic is the fundamental logic of computer science. They are known to be equivalent. The goal of this project is to implement an automated translation tool from first-order predicate logic to SQL. The produced software should provide the following functionalities: a user interface to input (a subset of) first-order predicate logic queries. A compiler that translates the predicate logic query into a SQL query (following the syntax of some dbms available in the department that can be chosen by the student).