Parallel Processing of Data and Knowledge by Means of N-tuple Algebra

$N$-tuple algebra is a mathematical system to formalize $n$-ary relations. This algebra provides for modelling both data (graphs, $n$-ary relations, etc.) and knowledge (semantic networks, reasoning models, formulas of propositional and predicate calculi, production systems, ontologies and so on) by the same structures. These structures look like matrices and can be easily processed by parallel algorithms.