Інфологічне моделювання інформаційної системи контролю витрат ресурсів

Інфологічне моделювання даних є невід’ємною складовою процесу розробки інформаційної системи контролю витрат ресурсів. Звичайні чіткі високорівневі моделі даних не дозволяють враховувати недосконалу інформацію, яка міститься в описі різних видів ресурсів та процесів їх використання. На основі аналізу видів недосконалої інформації системи розроблено узагальнену інфологічну модель шляхом розширення ER-моделі представленням нечітких атрибутів. Запропонована модель дозволяє одночасне представлення чітких та нечітких атрибутів сутностей та відношень і може бути використана при проектуванні даталогічної моделі даних з урахуванням особливостей виробничих процесів конкретного підприємства.Infological modeling of data is an integral part of the resource supervising information system developing process. Ordinary crisp high-level data models do not allow to consider the imperfect information contained in the description of various types of resources and their use processes. On the basis of the analysis of the system imperfect information types, a generalized infological model was developed by extending the ER-model with the representation of fuzzy attributes. The proposed model can allow the simultaneous presentation of crisp and fuzzy attributes of entities and relationships and can be used in datalogical modeling taking into account the features of the specific enterprise production processes

A real-time active database for high transaction loads and moderate deadlines

A large class of real-time database problems has very high transaction loads and moderate deadlines. Traditional approaches have not been designed to handle such problems. A model based on the use of encapsulated events and rule objects has been developed. The model describes an active, real-time, object-oriented, memory-resident database environment (REACT). A system based on the model has been designed and implemented. A concurrency control algorithm was developed that uses the extra information available from the object-oriented and active features of REACT to pre-process the database and speed up concurrency control. Analysis was done for both single and multiple processor systems. For multiprocessor analysis a simulator was developed to verify the performance of REACT on a multiprocessor system. Examples of all the features needed for an actual system are given along with examples of how REACT can be used to solve real-world control and monitoring problems. Algorithms have been developed to allow users to test that the properties termination, confluence, and observable determinism hold for a target REACT database

Towards a formal approach for object database design

This paper focuses on a formal approach * for advanced database modeling and design. It is based on the IF02 model, an extension of the semantic model IF0 defined by S. Abiteboul and R. Hull. It preserves the acquire