Formalization of algorithms for relational database machines

MaRDI QIDQ1093383zbMATH OpenFDO

Authors V. M. Ryvkin, P. I. Komarov, A. S. Nazarov

Publication date 1986

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

algorithmic algebrasparallel-structure database machinerelational algebra

Mathematics Subject Classification ID

Data structures (68P05) Database theory (68P15)

Review text

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.

Cited in

(7)

• Domain-independent formulas and databases
• A new formalism for relational algebra
• Formal restructuring functions for hierarchical data bases
• scientific article; zbMATH DE number 6533732 (Why is no real title available?)
• A Formal Coding Structure for Database Record Processing
• Formal specification scheme for database applications using requirements particle networks
• scientific article; zbMATH DE number 5034153 (Why is no real title available?)

This page was built for publication: Formalization of algorithms for relational database machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1093383)