Compiler from Alf relational expressions to SQL