Development of n-tuple algebra for logical analysis of databases with the use of two-place predicates

In designing various programming systems, particularly, simulation systems, the necessity to integrate databases with other programming modules of the system arises. The goal of integration is to lodge the component of interaction with the database with additional capabilities of logical analysis of the subject domain information. In this paper, we propose to extend the mathematical tool of n-tuple algebra to the problem of simulation and analysis of both the relations of relational databases, queries to them, and the logical structures involved in the formation of the subject domain knowledge base.