Tuple relazionale calcolo o algebra relazionale Sintassi verificatore?

Question

Qualcuno sa di un pacchetto software in cui è possibile digitare una formula e verifica sintatticamente (non ha bisogno di controllare la semantica).

Grazie.

Answer 1

Il più vicino che conosco nulla di simile è un'implementazione di esercitazioni a D per le query di database relazionali:

• Rel

Non sono sicuro se questo è esattamente ciò che stai cercando però.