3

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.

Sheldon
  • 2,598
  • 10
  • 27
  • 36

1 Answers1

1

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

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

ars
  • 120,335
  • 23
  • 147
  • 134
  • It's not exactly of Relational Calculus but it'll be very helpfull for mi learning process. Thanks! – Sheldon Aug 15 '09 at 02:32