Formalization of algorithms for relational database machines
We apply the apparatus of algorithmic algebras to formalize the mapping of the relational algebra language into the internal language of a parallel-structure database machine.
scientific article; zbMATH DE number 4022673