A data base sublanguage founded on the relational calculus | Synapse