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.
+1
A:
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
2009-08-14 05:35:29
It's not exactly of Relational Calculus but it'll be very helpfull for mi learning process.Thanks!
Sheldon
2009-08-15 02:32:31