Laboratory of Computing Systems

Staff
Research profile
Major recent results
Research grants
Major recent publications

Head Jerzy Brzeziński Ph.D., Dr. Habil., Associate Professor

Staff

Tadeusz Morzy Ph.D., Dr. Habil., Associate Professor

Zbyszko Królikowski, Ph.D., Dr. Habil., Assistant Professor
Tomasz Koszlajda, Ph.D., Assistant Professor
Maciej Stroiński, Ph. D., Assistant Professor
Maciej Zakrzewicz Ph.D., Assistant Professor

Bartosz Bębel Ph.D. student,

Krzysztof Jankiewicz Ph.D. student

Juliusz Jezierski Ph.D. student
Anna Kobusińska Ph.D. student

Jacek Kobusiński Ph.D. student

Tomasz Lis, Ph.D. student
Maciej Matysiak Ph.D. student
Cezary Sobaniec Ph.D. student
Artur Sobkowiak, Ph.D. student
Michał Szychowiak Ph.D. student
Dariusz Wawrzyniak, Ph.D. student
Adam Wojciechowski Ph.D. student
Marek Wojciechowski Ph.D. student
Robert Wrembel Ph.D. student
Tomasz Biały M.Sc., Technical Assistant

Piotr Krzyżagórski M.Sc., Technical Assistant
Michał Sajkowski, M.Sc., Technical Assistant
Piotr Woźniak, M.Sc., Technical Assistant

Research profile

The research activity of the laboratory is focused on two main areas:

– distributed algorithms and systems,

– database systems.

The former area involves theoretical foundations and methodology of:

– distributed algorithms (models of distributed algorithms and programs, algorithms specification and verification, complexity analysis, global state detection, self-stabilizing algorithms, failure resilient algorithms),

– computer networks ( networks architectures and protocols, protocol modeling and performance evaluation, protocol verification computer networks design, network monitoring and management),

– distributed operating systems (group communication, distributed shared memory systems, replication management, consistency models and protocols, performance evaluation of DSM systems, distributed synchronization, distributed resource allocation, distributed deadlock and termination detection, distributed recovery, fault tolerant and dependable systems, failure detectors),

– distributed programming environments (DCE, PVM, MPI, Ada’95, Java, distributed debugging, mobile agent systems),

– distributed applications (distributed systems monitoring and management, group-ware applications, inter and intranet applications, e-commerce).

The latter concerns methodology and techniques of database, data warehouse and data mining systems with an emphasis on:

– transaction processing in parallel and distributed database systems, concurrency control algorithms for multiversion, distributed, object-oriented and multidatabase systems, concurrency control algorithms for different types of database systems, database versioning,

– query and multiquery optimization (optimization techniques for distributed database systems, multidatabases, object-oriented database systems and parallel database systems, combinatorial and rules based techniques for query and multiquery optimization, access methods and physical structures for object-oriented database systems, efficient techniques for rule engine implementation and processing in deductive and active database systems),

– construction and maintenance of object-relational data warehouse systems, materialized views, object-oriented views, materialized view maintenance algorithms, access methods and indexing techniques for data warehouse systems,

– data mining techniques (associations discovery, sequential patterns discovery, clustering of data, constraint-driven algorithms), data mining query languages, data mining query optimization, data mining cache and buffer management, data mining views, indexing and structures for data mining systems, integration of data mining and database management systems, integration of data mining and OLAP, Web mining, multimedia mining, mining of workflow systems,

– integration of heterogeneous data sources, mediators, semistructured data processing, query optimization for semistructured data query languages.

Major recent results

Major recent results comprise:

– analysis and development of distributed deadlock detection and termination algorithms,

– analysis and development of self stabilizing algorithm,

– design and development of variable-based distributed shared memory system Jash,

– development and analysis of complex consistency models and protocols,

– development of polygon time structure for protocol verification,

– development of distributed debugger for Java programs,

– development of distributed debugger for Jash DSM system,

– development of backward recovery mechanism for Jash DSM system,

– development of fault tolerant system based on failure detectors mechanism,

– analysis and development of multiquery optimization techniques for advanced database systems and data warehouses,

– development of new decentralized query optimization techniques for multidatabase systems,

– analysis and development of materialized object-oriented views,

– development of materialized object-oriented view maintenance algorithms,

– analysis and development of constraint-driven association rule and sequential pattern discovery algorithms,

– development of sequential data clustering algorithms,

– development of access methods and indexing techniques for data mining systems,

– integration of database management systems and data mining concepts,

– development of data mining query languages,

– development of data mining query optimization algorithms,

– development of data mining view concepts.

Research grants

1. Grant KBN 3 3520 91 02: Management algorithms of distributed computer systems - supervised by dr. Jerzy Brzeziński (1992-1994).

2. CRIT III/92 (Cooperative Research in Information Technology) project: Algorithms for distributed computer systems management - supervised by dr. Jerzy Brzeziński (1993-1994).

3. Grant KBN 8 T11C 052 08: Management of distributed and heterogeneous computing systems - supervised by dr. Jerzy Brzeziński (1995-1997).

4. POLONIUM program - French-Polish scientific co-operation program with Ecole Nationale Superieure de Télécommunication de BRETAGNE, Brest, France: Distributed processing platforms with high efficiency and reliability systems - supervised by dr. Jerzy Brzeziński (1998-1999).

5. Grant KBN 8T11C 025 14: The design problems of efficient and reliable distributed shared memory systems - supervised by dr. Jerzy Brzeziński (in progress).

6. Grant KBN (ordered grant for UW in Poznan): Integration of information systems of public administration of the Poznan province - supervised by dr. Tadeusz Morzy (1994-1995).

7. Grant KBN 8T11C 025 15: Association rule discovery in database systems - supervised by dr. Tadeusz Morzy (1998-1999).

8. Grant KBN 8T11C 043 15: The design and management of object-relational data warehouses - supervised by dr. Tadeusz Morzy (in progress).

9. Grant KBN 8T11C 010 18: The construction and maintenance of materialized object-oriented views in data warehouses - supervised by dr. Tadeusz Morzy (in progress).

Major recent publications

Books, monographs and edited volumes

1. W.Litwin, T.Morzy, G.Vossen (eds.), Advances in Databases and Information Systems, LNCS 1475, Springer Verlag, 1998.

2. Z.Królikowski, M.Sajkowski, Unix Operating System, Nakom Publisher, Poznan, 1996, pp. 202, (in Polish).

3. R.Wrembel, J.Jezierski, M.Zakrzewicz, Database Management System Oracle7 and Oracle8, NAKOM publisher, ISBN 83-86969-34-3, ISSN 0867-6011, Poznan 1999, (in Polish).

4. R.Wrembel, W.Wieczerzycki, Designing Oracle Database Applications, NAKOM Publisher, Poznan, 1997, ISBN 83-86969-07-5, ISSN 0867-6011, (in Polish).

Articles in journals and edited volumes

1. J.Błażewicz, D.Bovet, J.Brzeziński, G.Gambosi, M.Talamo, Optimal centralized algorithms for store-and-forward deadlock avoidance, IEEE Transactions on Computers, vol. 43, no. 11, 1994, pp. 1333-1338.

2. R.Baldoni, J.Brzeziński, J-M.Helary, A.Mostefaoui, M.Raynal, Domino-free checkpointing for large scale distributed systems, IEEE Conf. on Future Trends of Distributed Computing Systems - FTDCS'95, Cheju, 1995, pp. 314-323.

3. G.Barone, S.Salza, T.Morzy, Distributed query optimization in loosely coupled multidatabase systems, 5th Int. Conf. on Database Theory ICDT`95, Prague, 1995, LNCS 893, Springer-Verlag, pp. 40-53.

4. J.Brzeziński, J-M.Helary, M.Raynal, A general definition of deadlocks for distributed systems, IEEE Int. Conf. on Algorithms and Architectures for Parallel Processing, Brisbane, 1995, pp. 324-328.

5. J.Brzeziński, J-M.Helary, M.Raynal, Deadlocks in distributed systems: request models and definitions, IEEE Conf. on Future Trends of Distributed Computing Systems - FTDCS'95, Cheju, 1995, pp. 186-193

6. J.Brzeziński, J-M.Helary, M.Raynal, Distributed algorithms for static and dynamic termination detection, Bulletin of the Polish Academy of Sciences, vol. 43, nr. 3, 1995, pp. 363-380 .

7. J.Brzeziński, J-M.Helary, M.Raynal, Semantics of recovery lines for backward recovery in distributed systems, Annals des Telecommunications, vol. 50, no. 11-12, 1995, pp. 874-887.

8. J.Brzeziński, J-M.Helary, M.Raynal, M.Singhal, Deadlock models and general algorithm for distributed deadlock detection, Journal of Parallel and Distributed Computing, vol. 31, no 2, 1995, pp. 112-125.

9. Z.Królikowski, Optimization Multiple Large Queries with Strategy Rules, Bulletin of the Polish Academy of Sc., Computer and Infor. Sc. vol. 43, no. 1, 1995, pp. 89-110.

10.P.Krzyżagórski, T.Morzy, Optimistic concurrency control algorithm with dynamic serialization adjustment for firm deadline real-time database systems, ADBIS'95, Moscow, 1995, pp. 27-42, also Springer Verlag, series: Workshops in Computing.

11.T.Morzy, S.Salza, G.Barone, Distributed query optimization in loosly coupled multidatabase systems, ICDT'95 Conference, Prague, 1995, also Lecture Notes in Computer Science 803, pp. 40-53.

12.J.Brzeziński, D.Wawrzyniak, Parallelisation of Tabu Search for query and multiple-query optimisation, 14th IASTED International Conf. "Applied Informatics", Innsbruck, 1996, pp. 182-185.

13.B.Czejdo, M.Matysiak, T. Morzy, Hierarchy and version modeling, 2nd Int. Biennial Joint Conference on Engineering Systems Design and Analysis, Montpellier, France, 1996, pp. 111-121.

14.P.Krzyżagórski, T.Morzy, Transaction processing in real-time database systems, 3rd Int. Biennial Joint Conference on Engineering Systems Design and Analysis, Montpellier, 1996, pp. 165-175.

15.J.Brzeziński, On time complexity of distributed algorithms for generalized deadlock detection, 1st East-European Symposium on Advances in Databases and Information Systems - ADBIS'97, St. Petersburg, 1997, pp. 47-55; also Springer-Verlag series Workshops in Computing.

16.J.Brzeziński, M.Szychowiak, D.Wawrzyniak, Page-based distributed shared memory for OSF/DCE, 2nd International Conference on Parallel Processing and Applied Mathematics PPAM’97, Zakopane, 1997, pp.30‑39.

17.J.Brzeziński, M.Szychowiak, D.Wawrzyniak, RPC-based coherence protocols for distributed shared memory, IASTED International Conference on Parallel and Distributed Computing and Networks - PDCN’97, Singapore, 1997, pp. 71-74.

18.J.Brzeziński, D.Wawrzyniak, Group RPC service preserving causal order, 12th International Symposium on Computer and Information Sciences - ISCIS’97, Antalya, 1997, pp.341-348.

19.J.Brzeziński, D.Wawrzyniak, Multi-criterion coherence protocol for distributed shared memory, 5th IEEE Workshop on Future Trends of Distributed Computing Systems - FTDCS’97, Tunis, 1997, pp. 202-207

20.Z.Królikowski, Multiquery optimization in advanced database systems, Archiwum Informatyki Teoretycznej i Stosowanej, Wydawnictwo Naukowe PWN, 1997, pp. 30, (in Polish).

21.Z.Królikowski, M.Matysiak, Using combinatorial algorithms in multiquery optimization in advanced database systems, Archiwum Informatyki Teoretycznej i Stosowanej, Wydawnictwo Naukowe PWN, 1997, pp. 28, (in Polish).

22.P.Krzyżagórski, T.Morzy, Two phase locking-based algorithm with partial abort for firm deadline real-time database systems, 1st East-European Symposium on Advances in Databases and Information Systems - ADBIS'97, St. Petersburg, 1997, pp. 40-46; also Springer-Verlag series Workshops in Computing.

23.T.Morzy, M.Zakrzewicz, SQL-like language for database mining, 1st East-European Symposium on Advances in Databases and Information Systems - ADBIS'97, St. Petersburg,1997, pp. 311-317; also Springer-Verlag Workshops in Computing.

24.J.Brzeziński, W.Konopka, Distributed debugger for Java programs, 9th European Workshop on Dependable Computing, Gdańsk, 1998, pp. 155-158.

25.J. Brzeziński, M. Sajkowski, On the applicability of an interval time structure for protocol verification, 13th International Symposium on Computer and Information Sciences - ISCIS’98, Antalya, 1998, pp. 453-463.

26.J.Brzeziński, C.Sobaniec, M.Szychowiak, D.Wawrzyniak, Jash: a platform for sharing data in distributed Java applications, International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, 1998, pp. 1430-1437.

27.J. Brzeziński, M. Szychowiak, D. Wawrzyniak, Failure resilient group RPC preserving causal order, 13th International Symposium on Computer and Information Sciences - ISCIS’98, Antalya, 1998, pp. 464‑472.

28.J. Brzeziński, D. Wawrzyniak, Supporting multiple consistency models in distributed shared memory systems, DAPSYS’98 Workshop on Distributed and Parallel Systems, Budapest, 1998, pp. 83-90.

29.B.Czejdo, M.Matysiak, T. Morzy, Integration of data hierarchy models, 3rd Int. Biennial Joint Conference on Integrated Design and Process Technology, Berlin, 1998.

30.B.Czejdo, M.Matysiak, T.Morzy, Integration of schemas containing data versions and time components, 2nd Int. East-European Symp. on Advances in Databases and Information Systems ADBIS’98, Poznań, Poland, 1998, LNCS 1475, Springer-Verlag , pp. 175-188.

31.Z.Królikowski, Query Optimization in Advanced Database Systems, Poznan University of Technology Dissertation no. 326, 1998, pp. 123, (in Polish).

32.Z.Królikowski, Multiquery optimization methods in data warehouse and OLAP systems, Foundation of Computing and Decision Sciences, Poznan University of Technology Publishing Co., vol. 23, no. 1, 1998.

33.Z.Królikowski, J.Jezierski, Multiple query optimization in advanced database systems, 3rd Int. Baltic Workshop on Databases and Information Systems, 1998.

34.Z.Królikowski, J.Jezierski, Multiquery optimization methods in data warehouse and OLAP systems, Foundations of Computing and Decision Sciences, Poznan University of Technology Publishing Co., 1998.

35.P.Krzyżagórski, Optimistic concurrency control algorithms with partial abort for firm deadline real-time database systems, 3rd Int. Baltic Workshop on Databases and Information Systems, 1998, pp. 51-62.

36.P.Krzyżagórski, Real-time database systems, Archiwum Informatyki Teoretycznej i Stosowanej, Wydawnictwo Naukowe PWN, vol. 10, 1998, no. 1-2, pp. 3-23.

37.T.Morzy, B.Czejdo, M. Matysiak, Integration of schemas containing data versions and time components, LNCS 1475, Springer-Verlag, 1998, pp. 175-188.

38.T.Morzy, S.Salza, G.Barone, Distributed algorithm for global query optimization in multidatabase systems, 2nd Int. East-European Symp. on Advances in Databases and Information Systems ADBIS’98, Poznan, Poland, 1998, LNCS 1475, Springer-Verlag, pp. 95-107.

39.T.Morzy, M.Zakrzewicz, Group Bitmap Indexing for Association Rules Retrieval, Int. Conf. on Knowledge Discovery in Databases – KDD’98, New York, 1998, AAAI/MIT Press, Menlo Park, CA.

40.C.Sobaniec, Why LaTex?, Linux Plus, (3), April 1998, pp. 29-32, (in Polish).

41.M.Stroiński, Computer Networks, NetWorld, special edition: Vademecum Teleinformatyka, 1998, part.2, pp.6-8, (in Polish).

42.R. Wrembel, Data warehousing, Informatyka, no. 10, 1998, (in Polish).

43.R.Wrembel, Object-oriented views: virtues and limitations, 3rd Int. Symp. on Computer and Information Sciences, ISCIS'98.

44.M.Zakrzewicz, M.Wojciechowski, Itemset materializing for fast mining of association rules, LNCS 1475, Springer-Verlag, 1998, pp. 284-295.

45.J.Brzeziński, M.Sajkowski, A polygon time structure for protocol verification, PPAM’99, Kazimierz Dolny, 1999, pp. 177-194.

46.J.Brzeziński, D.Wawrzyniak, Consistency requirements of distributed shared memory for Peterson’s mutual exclusion algorithm, 14th International Symposium on Computer and Information Sciences - ISCIS’99, Kusadasi, 1999, pp. 304-311.

47.Z.Królikowski, Advanced database systems, Pro Dialog (Polish Information Processing Society journal), no. 8, Poznan, 1999, pp. 69-88, (in Polish).

48.Z.Królikowski, J.Jezierski, T.Koszlajda, R.Wrembel, Object and object-relational database systems: current state of technology, Pro Dialog (Polish Information Processing Society journal), no. 9, 1999, ISBN 83-86969-43-1, ISSN 0867-6011, pp. 43-68, (in Polish).

49.Z.Królikowski, M.Matysiak, W. Górecki, Aggregate multiquery optimization in data warehousing environments, 14th International Symposium on Computer and Information Sciences, 1999, Kusadasi, pp. 932-940.

50.Z.Królikowski, M.Matysiak, W. Górecki, Multiquery optimization methods using genetic search in advanced database applications, 19th International Conference on Current Trends in Database and Information Systems DATASEM'99, Brno, 1999.

51.T.Morzy, Z.Królikowski, Query optimization in multidatabase systems: solutions and open issues, 3rd Int. Workshop on Database and Expert Systems Applications, Florence, 1999, IEEE Computer Society Press, pp. 6–11.

52.T.Morzy, M.Wojciechowski, M.Zakrzewicz, Pattern-oriented hierarchical clustering, 3rd East European Conference on Advances in Databases and Information Systems ADBIS'99, Maribor, LNCS 1691, Springer-Verlag, 1999, pp. 179-190.

53.M.Wojciechowski, Mining various patterns in sequential data in an SQL-like manner, 3rd East European Conference on Advances in Databases and Information Systems (ADBIS'99), Maribor, 1999, pp. 131-138.

54.R.Wrembel, Deriving consistent view schemas in an object-oriented database, 14th Int. Symp. on Computer and Information Science, ISCIS'99, pp. 803-810.

55.R.Wrembel, On a formal model of object–oriented database with views supporting data materialisation, 3rd East-European Conference on Advances in Databases and Information Systems – ADBIS'99, Maribor, 1999, pp. 109-116.

56.J.Brzeziński, A.Kobusińska, J.Kobusiński, M.Szychowiak, COBRA - the library for building reliable applications in distributed environment, DAPSYS'2000 - Austrian-Hungarian Workshop on Distributed and Parallel Systems, Balatonfured, 2000, (accepted for publication).

57.J.Brzeziński, A.Kobusińska, J.Kobusiński, Reliable services for distributed environment, PDPTA'2000 - 2000 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, USA, 2000, (accepted for publication).

58.J.Brzeziński, C.Sobaniec, Corba compliant DSM service, PDPTA'2000 - 2000 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, 2000, (accepted for publication).

59.J.Brzeziński, D.Wawrzyniak, Consistency requirements of distributed shared memory for Lamport's Bakery algorithm for mutual exclusion, 8th Euromicro Workshop on Parallel and Distributed Processing, Rhodos, 2000, pp. 220-226

60.J.Brzeziński, D.Wawrzyniak, Consistency requirements of distributed shared memory for Dijkstra's mutual exclusion algorithm, IEEE IC on Distributed Computing Systems, Taipei, 2000, pp. 618-625.

61.T.Morzy, J.Eder, H.Frank, R.Wrembel, M.Zakrzewicz, Designing an Object-Oriented Data Warehousing System: Project ORDAWA, 2000 ADBIS-DASFAA Symposium on Advances in Databases and Information Systems, Prague, 2000, (accepted for publication LNCS, Springer-Verlag).

62.T.Morzy, R.Wrembel, T.Koszlajda, Hierarchical materialisation of method results in object-oriented views, 2000 ADBIS-DASFAA Symposium on Advances in Databases and Information Systems, Prague, 2000, (accepted for publication LNCS, Springer-Verlag).

63.T.Morzy, M.Zakrzewicz, M.Wojciechowski, Data mining support in database management systems, 2nd Int. Conf. on Data Warehousing and Knowledge Discovery – DaWaK2000, Greenwich, 2000, (accepted for publication LNCS, Springer-Verlag).