COURSE PROJECT, Yurii KHARCHENKO, NUBIP, 2022 ABBREVIATION INTRODUCTION 1 MATHEMATICAL MODEL2 RELATIONAL MODEL3 SEMANTICS4 IMPLEMENTATION5 SYSTEM OF REQUESTS BY MEANS OF LOGIC PROGRAMMING6 EXAMPLE CONCLUSIONS APPENDIX AAPPENDIX BAPPENDIX C REFERENCES