Tuple Relational Calculus or Relational Algebra Syntax verifier?

Question

Does anybody knows of a software package where you can type a formula and it verifies sintactically (it doesn't need to check semantics).

Thanks.

Answer 1

The closest I know of anything like this is an implementation of Tutorial D for relational database queries:

• Rel

Not sure if that's exactly what you're looking for though.