MATHEMATICS

On the construction of a formal query model for a relational database

Ya. A. Sadukhiv

Institute of Applied Mathematics and Automation, Nalchik

Abstract: We describe the formalization of the process of transition from a non-procedural specification of a relational query in a language such as relational calculus to its formal model in the form of a standard tree structure, which makes it possible to build efficient parallel schemes for calculating a relational query in various computing environments.

Keywords: parallelization, relation diagram, architecture, relational database

UDC: 681.3.0