Tuple correlation calculus or relational algebra Syntax check?

Question

Does anyone know of a software package where you can enter a formula and it checks syntactically (it doesn't need to check semantics).

Thanks.

Answer 1

The closest I know about something like this is the implementation of Tutorial D for relational database queries:

• Rel

Not sure if this is exactly what you are looking for.