We study the superposition of different multi-criteria choice procedures such as scoring rules, rules, using majority relation, value function and tournament matrix, which are used in social and multi-criteria choice problems. The main focus of the work lies in the study of normative properties (rationality, monotonicity, non-compensablity) for 591 different multi-criteria choice procedures. Such information leads to a better understanding of different choice procedures and how stable and sensible is a set of alternatives obtained after applying some choice procedure. We also divided multi-criteria choice procedures in accordance with their computational complexity and obtained a list of those procedures which can be used in Big Data analysis.