Munerman, V., & Munerman, D. 2023 Dec 20. Axiomatic Method for Proof of Conformity of Queruies Formalized in Diferent Data Models. Modern Information Technologies and IT-Education. [Online] 19:4