Cílem projektu je návrh a funkční ověření datového modelu založeného na objektově orientovaných principech. Jeho charakteristickými vlastnostmi bude: a) využití deklarativního zápisu známého z funkcionálních jazyků pro manipulaci z objekty, příp. využití funkcí jako datového typu b) schopnost zpracování multimediálních údajů. Předpokládá se rovněž zahrnutí času jako vlastnosti datových objektů a využití hierarchie nejen na úrovni definice tříd, nýbrž i na úrovni výskytu objektů jako prostředku uživatelského pohledu na objekty. Bude studována možnost využití modelu při implementaci informačních systémů. Z hlediska funkčního ověření budou zkoumány metody zpracování multimediálních dat.

Popis anglicky
The aim of the project is to design and functionally vrify a data model based on object-oriented principles. Its characteristics will be: a) using a declarative notation known from functional programming for manipulation with objects, resp. using functions as a data type, b) capability of multimedia data processing. It is also supposed including time as a data object property and using a hierarchy not only at the class definition level, but also at the object instance level as a means of the user view of objects. the possibility of applications in information systems implementation will be studied. Methods of multimedia data processing will be studied along with the functional verification of the model.

Klíčová slova
objektově orientovaný model

Klíčová slova anglicky
object-oriented model

GA102/96/0986

čeština

Hruška Tomáš, prof. Ing., CSc. - hlavní řešitel

Ústav informačních systémů
- odpovědné pracoviště (23.10.2001 - nezadáno)
Výzkumná skupina informačních a databázových systémů
- interní (23.10.2001 - 31.12.1998)
Fakulta informačních technologií
- spolupříjemce (23.10.2001 - 31.12.1998)

BENEŠ, M.; HRUŠKA, T. Modularita v jazycích pro popis objektově orientovaných údajů. Studnice: neznámá, 1996. s. 8-12.
Detail

BENEŠ, M.; HRUŠKA, T. Modelling Objects with Changing Roles. Proceedings of 23rd Conference of the ASU, Object-Oriented Modelling and Simulation. Stará Lesná High Tatras: unknown, 1997. p. 188-195.
Detail

BENEŠ, M. Type Systems in Object-Oriented Model. Hradec nad Moravicí: Marq software s.r.o., 1997. p. 104-110. ISBN: 80-85988-16-X.
Detail

BENEŠ, M. Multiple Inheritance. ACTA MOSIS No. 70. Sv. Hostýn: Marq software s.r.o., 1998. s. 9-14. ISBN: 80-85988-24-0.
Detail

ČEŠKA, M. Petri nets in Information systems modelling. Proc. of 32st International Conference MOSIS'98. Sv. Hostýn: Marq software s.r.o., 1998. p. 59-66. ISBN: 80-85988-24-0.
Detail

BENEŠ, M.; HRUŠKA, T.; MÁČEL, M. Nested Objects and Items of Variable Length. Proceedings of 22nd Conference of the ASU. ASU Newsletter. Clermont Ferrand: unknown, 1996. p. 39-46. ISSN: 1102-593X.
Detail

HRUŠKA, T. Object Models of Information Systems. Proceedings of the MOSIS 96 Conference. Krnov: Marq software s.r.o., 1996. p. 252-257. ISBN: 80-85988-02-X.
Detail

HRUŠKA, T. Collections in the Object-Oriented Database Systems. Proceedings of MOSIS '97 Conference, Volume 2. Hradec nad Moravicí: Marq software s.r.o., 1997. p. 151-156. ISBN: 80-85988-17-8.
Detail

BENEŠ, M.; HRUŠKA, T.; MÁČEL, M. Bootstrapping of an Object-Oriented Database System. Proceedings of 10th International Conference Systems for Automation of Engineering and Research and DECUS NUG Seminar. Varna: 1996. p. 188-195. ISBN: 954-8329-121-3.
Detail

HRUŠKA, T. Objektová databáze - od modelu k implementaci. Sborník konference Tvorba software 97. Ostrava: Tanger sro., 1997. s. 126-136. ISBN: 80-86122-01-8.
Detail

BENEŠ, M.; HRUŠKA, T. Objektově orientované databáze. Sborník konference EurOpen.CZ 97. Borová Lada na Šumavě: neznámá, 1997. s. 23-36.
Detail

BENEŠ, M.; HRUŠKA, T. Layout of Object in Object-Oriented Database System. Sborník 17. celostátní konference DATASEM 97. Brno: unknown, 1997. p. 89-96. ISBN: 80-238-1176-2.
Detail

BENEŠ, M.; HRUŠKA, T. Objektově relační databáze. Sborník konference Informační systémy a jejich aplikace 1997. Ruprechtov: neznámá, 1997. s. 3-7. ISBN: 80-214-0894-4.
Detail

HRUŠKA, T. Multiple Class Objects. Proceedings of Information System Modeling Conference 1998. Sv. Hostýn: Marq software s.r.o., 1998. p. 15-22. ISBN: 80-85988-24-0.
Detail

BENEŠ, M.; HRUŠKA, T. Implementation Opposition in Multi-Type Objects. Sborník přednášek konference DATASEM ´98. Brno: unknown, 1998. p. 145-153.
Detail

JANOUŠEK, V. Reflective Approach to Petri Net Simulation. Proc. of MOSIS'97. Ostrava: Marq software s.r.o., 1997. p. 209-304. ISBN: 80-85988-16-X.
Detail

JANOUŠEK, V.; VOJNAR, T. State Spaces of Object-Oriented Petri Nets. Proceedings of MFCS'98 Workshop on Concurrency. Brno: unknown, 1998. p. 87-96.
Detail

KOLÁŘ, D. Overloading in Object-Oriented Data Models. Proceedings of 31st International Conference MOSIS'97. Hradec nad Moravici: Marq software s.r.o., 1997. p. 86-91. ISBN: 80-85988-16-X.
Detail

KOLÁŘ, D. Přetěžování funkcí a operátorů, Vlastnosti typů bez překrytí. In Sborník prací studentů a doktorandů 1997. Brno: neznámá, 1997. s. 136-138. ISBN: 80-214-0637-2.
Detail

KOLÁŘ, D. Huge Component Modelling for System Design. Proceedings of 32nd Spring International Conference MOSIS'98, ISM'98. Sv.Hostyn - Bystrice pod Hostynem: Marq software s.r.o., 1998. p. 131-136. ISBN: 80-85988-24-0.
Detail

KOLÁŘ, D. Type Inference in OO Functional Languages. Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications. Smolenice: unknown, 1998. p. 108-115. ISBN: 90-5199-417-6. ISSN: 0922-6389.
Detail

HRUŠKA, T.; KOLENČÍK, P. Semantics of Object Identification in Object-oriented Database Model. Proceedings of Scientific Conference Electronic Computers and Informatics. Košice: unknown, 1996. p. 243-249.
Detail

HRUŠKA, T.; KOLENČÍK, P. Comparison of Categorical Foundations of Object-Oriented Database Model. Proceedings of 5th International Conference on Deductive and. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Montreaux: Springer Verlag, 1997. p. 302-319. ISBN: 3-540-63792-3. ISSN: 0302-9743.
Detail

HRUŠKA, T.; KOLENČÍK, P. Extending an Object-Oriented Model: Multiple Class Objects. Proceedings of 16th International Conference ER'97 on Conceptual Modelling. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Los Angeles, California: Springer Verlag, 1997. p. 229-242. ISBN: 3-540-63699-4. ISSN: 0302-9743.
Detail

KOLENČÍK, P. Methods in The Object-Oriented Model as Sums of Morphisms. Preceeding of International Conference MOSIS'97, Volume 2. Hradec nad Moravicí: Marq software s.r.o., 1997. p. 83-88. ISBN: 80-85988-17-8.
Detail

KOLENČÍK, P. Resolving Conflicts in Classes Defined by the Multiple Inheritance. Proceedings of Information System Modeling Conference 1998. Sv. Hostýn: Marq software s.r.o., 1998. p. 23-28. ISBN: 80-85988-24-0.
Detail

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Object-Oriented Petri Nets, Their Simulation, and Analysis. Proceedings of the IEEE SMC'98 Conference. Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. San Diego, California: unknown, 1998. p. 256-261. ISBN: 0-7803-4781-1. ISSN: 1062-922X.
Detail

ZENDULKA, J. Modelovací techniky objektově orientované analyzy a návrhu. Sborník Informační systémy a jejich aplikace. Studnice: neznámá, 1996. s. 98-105. ISBN: 80-214-0774-3.
Detail

ZENDULKA, J. The conception of the method interpreter of the object-oriented database management system. Proceedings of Electronic Computers & Informatics. Herlany: unknown, 1996. p. 230-235.
Detail

PAVLAS, Z.; ZENDULKA, J. Modelling Temporal Data with TSQL2. MOSIS'97 Proceedings, Volume 2. Hradec nad Moravicí: Marq software s.r.o., 1997. p. 175-180. ISBN: 80-85988-17-8.
Detail

ZENDULKA, J. Models of Object-Oriented Analysis and Design. MOSIS'97 Proceedings, Volume 2. Hradec nad Moravicí, Czech Republic: Marq software s.r.o., 1997. p. 163-168. ISBN: 80-85988-17-8.
Detail

KORČÁK, Z.; ZENDULKA, J.; ZEZULA, P. Simulation of Signature File Organizations. MOSIS'97 Proceedings, Volume 2. Hradec nad Moravicí: Marq software s.r.o., 1997. p. 63-68. ISBN: 80-85988-17-8.
Detail

KORČÁK, Z.; ZENDULKA, J.; ZEZULA, P. Signature Extraction Methods for Text. Proceedings of the Conference Modelling and Simulation of systems. Sv.Hostýn - Bystřice pod Hostýnem: Marq software s.r.o., 1998. p. 51-58. ISBN: 80-85988-24-0.
Detail

ZENDULKA, J. Mapping a Relational to an Object-Oriented Schema. Proceedings of the Conference Modelling and Simulation of Systems. Sv.Hostýn - Bystřice pod Hostýnem: Marq software s.r.o., 1998. p. 37-44. ISBN: 80-85988-24-0.
Detail

KOTÁSEK, P.; ZENDULKA, J. A New Algorithm for Discovery of Frequent Itemsets. Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications. Smolenice: unknown, 1998. p. 183-186. ISBN: 905199 417 6. ISSN: 0922-6389.
Detail

KORČÁK, Z.; ZENDULKA, J.; ZEZULA, P. A Survey of Access Methods for Text. Advanced Simulation of Systems ASIS 1998. Krnov: Marq software s.r.o., 1998. p. 233-238. ISBN: 80-85988-27-5.
Detail

ZENDULKA, J. Customisation of Paradigm Plus for VDL object-oriented database language. Electronic Computers & Informatics'98. Herľany: unknown, 1998. p. 151-156. ISBN: 80-88786-94-0.
Detail

ZENDULKA, J. Modelování vztahů v objektovém modelu. Informační systémy a jejich aplikace. Ruprechtov: neznámá, 1998. s. 238-244. ISBN: 80-214-1205-4.
Detail

KORČÁK, Z.; ZENDULKA, J.; ZEZULA, P. Nové metody organizace signatur. Informační systémy a jejich aplikace. Ruprechtov: neznámá, 1998. s. 78-83. ISBN: 80-214-1205-4.
Detail

HRUŠKA, T., KOLENČÍK, P., MÁČEL, M. Behavioral Safety in a Model With Multiple Class Objects. In Lecture Notes in Computer Science 1521. Lecture Notes In Computer Science. Jasná, Slovakia: Springer Verlag, p. 360 ( p.)ISBN: 3-540-6526.
Detail

ČEŠKA, M., JANOUŠEK, V. Formal Model for Object Oriented Petri Nets Modelling. Advances in System Science and Applications, vol. Spetial Is, no. 1-6, p. 119 ( p.)ISSN: 1078-6236.
Detail

HRUŠKA, T., KOLENČÍK, P., MÁČEL, M. A Role Model with Constrained Method Redefinition. ASU Newsletter, vol. Vol. 24, no. October 19, p. 165 ( p.)ISSN: 1102-593X.
Detail

ZACIOS, D. Návrh modulu evidence výuky na ústavu. Proceedings of 7th Conference Student FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. s. 331-333. ISBN: 80-214-1859-1.
Detail

Odpovědnost: Hruška Tomáš, prof. Ing., CSc.