Skip to main content
SpringerLink
Log in
Book cover

Datenbanksysteme in Büro, Technik und Wissenschaft pp 124–143Cite as

The KRISYS Project: a Summary of What We Have Learned so far

  • Conference paper

  • 56 Accesses

Part of the book series: Informatik aktuell ((INFORMAT))

Abstract

KRISYS is a prototype of a Knowledge Base Management System whose first implementation was completed at the University of Kaiserslautern in 1989. Since then, the system has been used for the development of various applications which allowed us to perform a well-founded evaluation of the system. In this paper, we summarize our evaluation by describing the major lessons we have learned from the design and implementation of KRISYS and, above all, from its use in the development of these applications. We address issues related with the concepts available for application modeling and processing, the support of designing an application, as well as the overall means for efficient processing in a workstation/server environment. Additionally, we point out in how far these experiences validate our approach or stimulate improvements and future research.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Atkinson, M., et.al.: The Object-Oriented Database Manifesto, in Proc. First Int. Conf. on Deductive and Object-Oriented Databases, 1989, Kyoto, Japan, pp. 40–57.

    Google Scholar 

  2. BL86 Brachman, R., Levesque, H.: The Knowledge Level of KBMS, in: [BM86], pp. 9–12.

    Google Scholar 

  3. Brodie, M.L., Mylopoulos, J. (ads.): On Knowledge Base Management Systems (Integrating Artificial Intelligence and Database Technologies), Topics in Information Systems, Springer-Verlag, New York, 1986.

    Google Scholar 

  4. Borgida, A., Mylopoulos, J., Wong, H.K.T.: Generalization/Speclalization as a Basis for Software Specification, in: On Conceptual Modelling (Perspectives from Artificial Intelligence, Databases, and Programming Languages), Topics in Informa-tion Systems, (eds.: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. ), Springer-Verlag, New York, 1984, pp. 87–114.

    Google Scholar 

  5. Borrmann, H.P.: MODIS - An Expert System for Supplying Repair Diagnosis of the Otto-Motor and its Aggregates (in ger-man), Research Report No. 72/83, University of Kaiserslautern, Computer Science Department, Kaiserslautern, 1983.

    Google Scholar 

  6. Brodie, M.L.: Association: A Database Abstraction for Semantic Modelling, In: Proc. 2nd Int. Entity-Relationship Conference, Washington, D.C., Oct. 1981.

    Google Scholar 

  7. Damaschke, S., Differding, Ch.: Validating the Modeling Concepts of the KBMS KRISYS using a Sample Application (in German), University of Kaiserslautern, Kaiserslautern - Germany, September 1991.

    Google Scholar 

  8. Deßloch S.: Enforcing Integrity in the KBMS KRISYS, in: Proc. of the 2nd Workshop on Foundations of Models and Lan-guages for Data and Objects, Algen ( Austria ), September 1990, pp. 123–138.

    Google Scholar 

  9. De91 Deßloch, S.: Handling Integrity in a KBMS Architecture for Workstation/Server Environments, in: Proc. GI-Fachtagung“Datenbanksysteme in Büro, Technik und Wissenschaft”, Kaiserslautern, März 1991, Hrsg. H.-J. Appelrath, Informatik-Fachberichte 270, Springer-Verlag, S.89–108.

    Google Scholar 

  10. DeWitt, D.J., Futtersack, P., Maier, D., Velez, F.: A Study of Three Alternative Workstation Server Architectures for Object-Oriented Database Systems, in Proc. 16th VLDB Conf., Brisbane, Australia 1990.

    Google Scholar 

  11. Deßloch, S., Härder, T., Marias, N., Mitschang, B.: KRISYS: KBMS Support for Better CAD Systems, in: Proc. 2nd Int. Conf.on Data and Knowledge Systems for Manufacturing and Engineering, Gaithersburg–Maryland, Oct. 1989, pp. 172–182.

    Google Scholar 

  12. Deßloch, S., Hübel, C., Mattos, N., Sutter, B.: KBMS Support for Technical Modeling in Engineering Systems, in: Proc. 3rd International Conference of Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Charleston- South Carolina, July 1990, pp. 790–799.

    Google Scholar 

  13. Deßloch, S., Hubei, C., Mattos, N., Sutter, B.: Handling Functional Constraints of Technical Modeling Systems in a KBMS Environment, in: International Journal of Systems Automation: Research and Applications (SARA), 1, 1991,pp. 347–367.

    Google Scholar 

  14. Davis, R., King, J.: An overview of production systems, in Elcock, E., Michie, D. (ads.): Machine Intelligence, Wiley, New York, pp. 300–332, 1976.

    Google Scholar 

  15. Duchow, K. & Keil, M.: A General Tool for the Development of Dialog Components for Knowledge-based Systems (in Ger-man), University of Kaiserslautern, Kaiserslautern - Germany, January 1991.

    Google Scholar 

  16. DeBloch, S., Leick, F.J., Mattos, N.M.: A State-oriented Approach to the Specification of Rules and Queries in KBMS, ZRIReport 4/90, University of Kaiserslautern, 1990.

    Google Scholar 

  17. Durban, R.: Modeling Technical Functional Constraints with KRISYS (in German), University of Kaiserslautern, Kaiserslautern - Germany, September 1991.

    Google Scholar 

  18. Filman, R.E.: Reasoning with Worlds and Truth Maintenance in a Knowledge-based Programming Environment, in: Communications of the ACM, Vol. 31, No. 4, April 1988, pp. 382–401.

    Google Scholar 

  19. Fikes, R., Kehler, T.: The Role of Frame-based Representation in Reasoning in• Communications of the ACM, Vol. 28, No. 9, Sept. 1985, pp. 904–920.

    Google Scholar 

  20. Fox, M., Wright, J., Adam, D.: Experience with SRL: an Analysis of a Frame-based Knowledge Representation, Technical Report CMU-CS-81. 135, Carnegie-Mellon University, Pittsburgh 1985.

    Google Scholar 

  21. Frost, R. A.: Introduction to Knowledge Base Systems, Collins, London, 1986.

    Google Scholar 

  22. Hä88 Härder, T. (ed.): The PRIMA Project: Design and Implementation of a Non-Standard Database System, SFB 124 Research Report No. 26/88, University of Kaiserslautern, Kaiserslautern, 1988.

    Google Scholar 

  23. Hä89 Härder, T.: Engineering Applications - a Challenge for the Next Generation of DBMS, invited talk at the 2nd German INGRES user conference, 1989.

    Google Scholar 

  24. Hä91 Hänsel, E.: Query Processing in the Knowledge Base Management System KRISYS (in German), Diploma Thesis Work,University of Kaiserslautern, Kaiserslautern - Germany, July 1991.

    Google Scholar 

  25. Härder, T., Mattos, N.: An Enhanced DBMS Architecture Supporting Intelligent CAD (invited lecture), in: Engineering Information in Data Bases and Knowledge Based Systems–TECHNO-DATA’90, (eds. Richter, D. Grabowski, H.), Akademie-Verlag, Berlin -Germany, 1990, pp. 28–50.

    Google Scholar 

  26. Härder, T., HObel, C., Meyer-Wegener, K., Mitschang, B.: Processing and Transaction Concepts for Cooperation of Engineering Workstations and a Database Server, in: Data and Knowledge Engineering, Vol. 3, 1988, pp. 87–107.

    Google Scholar 

  27. Hull, R., King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues, in ACM Computing Surveys,vol. 19, no. 3, September 1987, pp. 201–260.

    Article  Google Scholar 

  28. Harder, T., Meyer-Wegener, K., Mitschang, B., Sikeler, A.: PRIMA–A DBMS Prototype Supporting Engineering Applications, in: Proc. 13th VLDB Conf., Brighton, UK, 1987, pp. 433–442.

    Google Scholar 

  29. HR85 Härder, T., Reuter, A.: Architektur von Datenbanksystemen für Non-Standard-Anwendungen, in: Proc. GI-Proc. GI Cont. on Database Systems for Office, Engineering and Scientific Applications, p.253–286, Karlsruhe, Germany, März85, IFB 94, Springer Verlag,Heidelberg.

    Google Scholar 

  30. IRLM92 lochpe, C., Rezende, F. F., Uvi, MAC, Mattos, N.M.: Implementing a Design Management and Cooperation Model on the Basis of KRISYS, September 1992, submitted for publication.

    Google Scholar 

  31. Jarke, M., Koch, J.: Query Optimization in Database Systems, in: ACM Computing Surveys, vol.16, no.2, 1984, pp. 111–151.

    Google Scholar 

  32. KDE90 IEEE Transactions on Knowledge & Data Engineering, special issue on database prototype systems. March 1990, vol.2, no 1.

    Google Scholar 

  33. Küspert, K., Dadam, P., Günauer, J.: Cooperative Object Buffer Management in the Advanced Information Management Prototype, Proc. 13th VLDB Conf., Brighton, England, Sept. 1987, pp. 483–492.

    Google Scholar 

  34. Kifer, M., Lausen, G.: F-Logic, a Higher-Order Language for Reasoning about Objects, Inheritance and Schema, Proc. Of the ACM SIGMOD Int. Conf. on Management of Data, 1989, pp. 134–146.

    Google Scholar 

  35. Knapmeyer, Ch.: Optimization of the Database Mapping in the KBMS KRISYS Using Load Information (in German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, June 1992.

    Google Scholar 

  36. The KBMS Prototype KRISYS - User Manual, Version 2.3, Kaiserslautern, West Germany, 1989.

    Google Scholar 

  37. Kraft, S.: An Analysis of Existing Systems for Knowledge Modeling (in German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, February 1990.

    Google Scholar 

  38. Langkafel, D.: A Component for Graph-oriented Management of Knowledge Base Contents (in German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, June 1991.

    Google Scholar 

  39. Leick, F.J., Mattos, N.M.: A Framework for an Efficient Processing of Knowledge Bases on Secondary Storage, in: Proc. Of the 4th Brazilian Symposium on Data Bases, Campinas-Brazil, April 1989.

    Google Scholar 

  40. Mattos, N.M.: Abstraction Concepts: the Basis for Data and Knowledge Modeling, in: 7th Int. Conf. on Entity-Relationship Approach, Rom, Italy, Nov. 1988, pp. 331–350.

    Google Scholar 

  41. Mattos, N.M.: KRISYS–A Multi-Layered Prototype KBMS Supporting Knowledge Independence, in: Proc. Int. Computer Science Conference–Artificial Intelligence: Theory and Application, Hong Kong, Dec. 1988, pp. 31–38.

    Google Scholar 

  42. Mattos, N.M.: An Approach to Knowledge Base Management - Requirements, Knowledge Representation, and Design Issues -, Doctoral Thesis, University of Kaiserslautern, Computer Science Department, Kaiserslautern,1989, also appeared as: Lecture Notes in Artificial Intelligence, Vol. 513, Springer, 1991.

    Google Scholar 

  43. Ma90a Mattos, N.: An Approach to DBS-based Knowledge Management (invited talk), in: Proc. 1st Workshop “Information Systems and Artificial Intelligence”, Ulm - West Germany, March 1990.

    Google Scholar 

  44. Ma90b Mattos, N.: Performance Measurements and Analyses of Coupling Approaches of Database and Expert Systems and Consequences to their Integration, in: Proc. 1st Workshop ‘Information Systems and Artificial Intelligence’, Ulm - Germany, March 1990.

    Google Scholar 

  45. Ma91 Mattos, N.M.: KRISYS - a KBMS Supporting Development and Processing of Knowledge-based Applications in Workstation/Server Environments, ZRI-Bericht 5/91, Universität Kaiserslautern, submitted for publication.

    Google Scholar 

  46. Mattos, N.M., Deßloch, S., Leick, F.-J.: A Knowledge-based Approach to Intelligent CAD for Architectural Design, in: Proc. IEA/AIE’91–4th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Kauai, Hawaii, June 1991, S. 409–418.

    Google Scholar 

  47. Mitschang, B.: Towards a Unified View of Design Data and Knowledge Representation, in: Proc. of the 2nd Int. Conf. on Expert Database Systems, Tysons Corner, Virginia, April 1988, pp. 33–49.

    Google Scholar 

  48. Mitschang, B.: Extending the Relational Algebra to Capture Complex Objects, in: Proc. of the 15th VLDB Cont., Amsterdam, 1989, pp. 297–306.

    Google Scholar 

  49. Michels, M.: The KBMS KRISYS from the Viewpoint of Expert Systems for Diagnosis (in German), University of Kaiserslautern, Kaiserslautern - Germany, March 1989.

    Google Scholar 

  50. Mattos, N.M., Michels, M.: Modeling with KRISYS: the Design Process of DB Applications Reviewed, in: Proc. the 8th Int.Conf. on Entity-Relationship Approach, Toronto–Canada, Oct. 1989, pp. 159–173.

    Google Scholar 

  51. Mattos, N.M., Meyer-Wegener, K., Mitschang, B.: Grand Tour of Concepts for Object-Orientation from a Database Point of View, to appear in: Data and Knowledge Engineering.

    Google Scholar 

  52. Mällenkamp, H. T.: Ensuring Spatial Semantics of 3D Objects with Semantic Integrity Constraints (in German), University of Kaiserslautern, Kaiserslautern - Germany, August 1990.

    Google Scholar 

  53. Möllenkamp, H.: Knowledge based Support for Real-Estate Valuation - Application Analysis, Conception and Prototypical Implementation (in German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, December 1991.

    Google Scholar 

  54. Puppe, F.: Diagnostic Problem Solving with Expert Systems On german), Doctoral Thesis, University of Kaiserslautern,Computer Science Department, Kaiserslautern 1986.

    Google Scholar 

  55. Puppe, F.: Introduction to Expert Systems (in german), Springer, Berlin, 1988.

    Google Scholar 

  56. Reinert, J.: A Model for Representing Satic and Dynamic Aspects in Design (in German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, February 1990

    Google Scholar 

  57. Rheinberger, B.: A XPS for trip planning as application of the KBMS KRISYS (in German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, March 1989.

    Google Scholar 

  58. Rosenthal, A., Heiler, S., Manola, F., Dayal, U.: Query Facilities for Part Hierarchies: Graph Traversal, Spatial Data, and Knowledge-Based Detail Supression, Research Report, CCA, Cambridge, MA, 1987.

    Google Scholar 

  59. Rocha, R. P. da: Transformation and Rewrite in the Query-Processing System of the KBMS KRISYS (in Portuguese), Master Thesis, CPGCC, UFRGS, Porto Alegre, Brasil, May 1992.

    Google Scholar 

  60. Schulte, D.: Conception and Implementation of a Knowledge Base for the Representation of three-dimensional objects with the KBMS KRISYS (in German), University of Kaiserslautern, Kaiserslautern - Germany, October 1989.

    Google Scholar 

  61. Sch91 Schulte,D.:An Approach to Flexible Mapping of Knowledge Models Data Models (in German),Diploma Thesis Work,University of Kaiserslautern, Kaiserslautern - Germany, June 1991.

    Google Scholar 

  62. Smith, J.M., Smith, D.C.P.: Database Abstractions: Aggregation and Generalization, in: ACM Transactions on Database Systems, Vol. 2, No. 2, June 1977, pp. 105–133.

    Google Scholar 

  63. Schmidt, J.W., Thanos, C. (ed.): Foundations of Knowledge Base Management, TOIS, Springer-Verlag, 1989.

    Google Scholar 

  64. Strobel, M.: Conception of a Component for Context Management In the KBMS KRISYS (in German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, June 1992.

    Google Scholar 

  65. Surjanto, B.: Conception and Implementation of a knowledge based system for the generation of an application oriented DB schema for a KRISYS KB (In German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, October 1991.

    Google Scholar 

  66. Thomczyk, Ch.: An Expert System for Design as Application of the Knowledge Base Management System KRISYS (in German), Diploma Thesis Work, University of Kaiserslautern, Kaiserslautern - Germany, January 1990.

    Google Scholar 

  67. Thomas, J.: An Approach to Parallelism in KRISYS, ZRI-Report 1/92, University of Kaiserslautern, Computer Science Department, March 1992.

    Google Scholar 

  68. Thomas, J., Mitschang, B.,Mattos, N., Deßloch, S.: Knowledge Processing in Workstation/Server Environments - the KRISYS Approach, September 1992 (submitted for publication).Zi91 Zimmer, R.: Modeling a Multi-Media Application with the KBMS KRISYS (in German), University of Kaiserslautern, Kaiserslautern - Germany, July 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CS Department, University of Kaiserslautern, P.O.Box 3049, 6750, Kaiserslautern, Germany

    S. Deßloch, F.-J. Leick, N. M. Mattos & J. Thomas

  2. Database Technology Institute, IBM, 555 Bailey Av., San Jose, CA, 95150, USA

    N. M. Mattos

Authors
  1. S. Deßloch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F.-J. Leick
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. N. M. Mattos
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, Kaiserstraße 12, W-7500, Karlsruhe, Deutschland

    Wolffried Stucky  & Andreas Oberweis  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Deßloch, S., Leick, FJ., Mattos, N.M., Thomas, J. (1993). The KRISYS Project: a Summary of What We Have Learned so far. In: Stucky, W., Oberweis, A. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-86096-6_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-86096-6_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56487-4

  • Online ISBN: 978-3-642-86096-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation