Munerman, Victor, AND Munerman, Daniel. " Axiomatic Method for Proof of Conformity of Queruies Formalized in Diferent Data Models" Modern Information Technologies and IT-Education [Online], Volume 19 Number 4 (20 December 2023)