Browsing by Author "Григорович, В."

Now showing 1 - 2 of 2

Еквівалентність виразів реляційного числення доменів для ненормалізованих відношень та розширеної реляційної алгебри
(Видавництво Львівської політехніки, 2013) Григорович, А.; Григорович, В.
Введено означення безпечного виразу реляційного числення доменів для ненормалізованих відношень, доведено теореми про еквівалентність виразів числення доменів для ненормалізованих відношень та виразів розширеної реляційної алгебри. Для доведення теорем використано метод математичної індукції. The article introduces the definition of safe expression of the domain relational calculus for nested relations, proves theorems on equivalence of the expressions of the domain relational calculus for the nested relations and of the extension of relational algebra. There is used the method of mathematical induction for proving theorems.
Інформаційні системи розрахунку навчального навантаження та розподілу штатів ВНЗ
(Видавництво Львівської політехніки, 2016) Григорович, В.
Описано запропонований підхід до проектування та розроблення інформаційних систем для оптимізації структури та автоматизації управління вищим навчальним закладом – систем формування обсягу навчального навантаження кафедр та систем управління розподілом ставок заробітної плати професорсько-викладацького складу. Проведено огляд проблем побудови та вдосконалення структури ключових процесів управління вищим навчальним закладом. Запропоновано метод побудови дискретної моделі структури управління процесами формування обсягу навчального навантаження кафедр та управління розподілом ставок заробітної плати професорсько-викладацького складу. Описано спроектовані та програмно реалізовані інформаційні системи. This paper describes the proposed approach to designing and developing information systems to optimize the structure and management automation higher education institution – systems for formation of workload of departments and management systems of distribution rates of wages of the teaching staff. The problems of developing and improving the structure of key management processes higher education institution were considered. There was proposed the method of construction of discrete model of structure of management of the processes of formation the workload of departments and management of the distribution of rates of wages the teaching staff. In article describes the design and the implementation of the information systems.