Skip to main content
SpringerLink
Log in

KRISYS — a KBMS Supporting the Development and Processing of Advanced Engineering Applications

  • Conference paper
Objektbanken für Experten

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

  • 27 Accesses

Abstract

In order to support non-standard database applications and, in particular, advanced engineering applications, enhanced DBMSs have to supply not only semantically enriched data and knowledge modeling concepts, but also means for constructing an application model in a stepwise, incremental way. The Knowledge Base Management System KRISYS, which is presented in this paper, has been developed along these lines. We give an overview of the system architecture and the individual components, illustrate the application design methodology supported by the system, and demonstrate the applicability of KRISYS in an advanced CAD framework. Additionally, we emphasize the need of refined concepts for efficient application processing in workstation/server architectures and sketch a processing model for such an environment.

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

Access this chapter

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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

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. Akman, V., ten Hagen, P.J.W., Varkamp, P.J. (eds.): Intelligent CAD Systems, II, Springer-Verlag, London, Paris, Tokyo, 1989.

    MATH  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    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. Bobrow, D.G., Stefik, M.: The LOOPS Manual, Xerox PARC, Palo Alto, CA, 1983.

    Google Scholar 

  8. Deßloch, S.: Handling Integrity in a KBMS Architecture for Workstation/Server Environments, in: Proc. Gl-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 

  9. 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 

  10. Deßloch, S., Härder, T., Leick, F.J., Mattos, N.M., Laasch, Ch., Rich, Ch., Schek, H.J., Scholl, M.: COCOON and KRISYS — A Survey and Comparison, ZRI-Report, University of Kaiserslautern, 1992.

    Google Scholar 

  11. Deßloch, S., Härder, T., Mattos, N., Mitschang, B.: KRISYS: KBMS Support for Better CAD Systems, in: Proc. 2nd International Conference on Data and Knowledge Systems for Manufacturing and Engineering, Gaithers-burg — Maryland, Oct. 1989, pp.172–182.

    Chapter  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., Hübet, 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. (eds.): Machine Intelligence, Wiley, New York, pp. 300–332, 1976.

    Google Scholar 

  15. Deßloch, S., Leick, F.J., Mattos, N.M.: A State-oriented Approach to the Specification of Rules and Queries in KBMS, ZRI-Report 4/90, University of Kaiserslautern, 1990, submitted for publication.

    Google Scholar 

  16. 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 

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

    Google Scholar 

  18. 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 

  19. 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 

  20. Grabowski, H., Rude, S.: Intelligent Cad-Systems based on Technical Associative Modelling, in: Straßer, W., Seidel, H.P.(eds.): Theory and Practice of Geometric Modeling, Springer, 1989, pp.451–467.

    Chapter  Google Scholar 

  21. 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, Kaiserslautem, 1988.

    Google Scholar 

  22. Hansel, E.: Query Processing in the Knowledge Base Management System KRISYS (in German), Undergrad-uation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, July 1991.

    Google Scholar 

  23. Härder, T., Hübel, 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 

  24. Härder, 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 

  25. Knapmeyer, Ch.: Optimization of the Database Mapping in the KBMS KRISYS Using Load Information (in German), Undergraduation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, June 1992.

    Google Scholar 

  26. The KBMS Prototype KRISYS — User Manual. Version 2.3, Kaiserslautern. West Germany. 1989.

    Google Scholar 

  27. Kraft, S.: An Analysis of some existing Systems supporting knowledge modeling (in German). Undergraduation Final Work. University of Kaiserslautern, Kaiserslautern — Germany, February 1991.

    Google Scholar 

  28. 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 

  29. Langkafel, D.: A Component for Graph-oriented Management of Knowledge Base Contents (in German), Undergraduation Final Work, University of Kaiserslautem, Kaiserslautern — Germany, June 1991.

    Google Scholar 

  30. 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 

  31. 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 

  32. 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 

  33. 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 

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

    Google Scholar 

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

    Google Scholar 

  36. 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 

  37. 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 

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

    Google Scholar 

  39. Michels, M.: The KBMS KRISYS from the viewpoint of Diagnosis XPS (in German), Undergraduation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, March 1989.

    Google Scholar 

  40. 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 

  41. 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 

  42. Möllenkamp, H.: Knowledge based Support for the estimation of immovables, application anlysis, conception and prototypical implementation (in German), Undergraduation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, December 1991.

    Google Scholar 

  43. Nierstrasz, O.M.: A Survey of Object-Oriented Concepts, in: Kim, W., Lochovsky, F.H. (eds.): Object-Oriented Concepts, Databases, and Applications, ACM Press, New York, 1989.

    Google Scholar 

  44. Reinert, J.: A Model for the Representation of static and dynamic aspects for CAD Design (in German), Undergraduation Final Work, University of Kaiserslautem, Kaiserslautern — Germany, February 1990.

    Google Scholar 

  45. Rheinberger, B.: A XPS for travel guidance as application of the KBMS KRISYS (in German), Undergraduation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, March 1989.

    Google Scholar 

  46. 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 

  47. 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 

  48. Schulte, D.: An Approach to Flexible Mapping of Knowledge Models to Data Models (in German), Undergraduation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, June 1991.

    Google Scholar 

  49. Strobel, M.: Conception of a Component for Context Management in the KBMS KRISYS (in German), Undergraduation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, June 1992.

    Google Scholar 

  50. 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), Undergraduation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, October 1991.

    Google Scholar 

  51. Stefik, M., Bobrow, D.G.: Object-Oriented Programming: Themes and Variations, in: Al-Magazine, Vol. 6, No. 4, Winter 1986, pp. 40–62.

    Google Scholar 

  52. 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 

  53. Schek, H.-J., Scholl, M.H.: Evolution of Data Models, in Database Systems of the 90’s, Lecture Notes in Computer Science 466, (Ed. A. Blaser), Springer vertag, Berlin, 1990, pp. 135–153.

    Google Scholar 

  54. Scholl, M.H., Schek, H.-J.: A synthesis of complex objects and object orientation, Proc. IFIP TC2 Conf. on Object Oriented Databases: Analysis, Design & Construction (DS-4), Windermere, U.K., North-Holland, 1990.

    Google Scholar 

  55. Schmidt, J.W., Thanos, C. (ed.): Foundations of Knowledge Base Management, Topics in Information Systems, Springer-Verlag, 1989.

    Google Scholar 

  56. Thomczyk, Ch.: A Design XPS for the KBMS KRISYS (in German),Undergraduation Final Work, University of Kaiserslautern, Kaiserslautern — Germany, January 1990

    Google Scholar 

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

    Google Scholar 

  58. Williams, C.: ART the Advanced Reasoning Tool: Conceptual Overview, Inference Corporation, Los Angeles, 1984.

    Google Scholar 

  59. Yoshikawa, H., Gossard, D. (eds.): Intelligent CAD, I, North-Holland, Amsterdam, 1989.

    Google Scholar 

Download references

Author information

Author notes

  1. N. M. Mattos

    Present address: IBM Santa Teresa Laboratory, 555 Bailey Av., San Jose, CA, 95150, USA

Authors and Affiliations

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

    S. Deßloch, T. Härder, F.-J. Leick & N. M. Mattos

Authors
  1. S. Deßloch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. T. Härder
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F.-J. Leick
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. N. M. Mattos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, TU München, Arcisstr. 21, W-8000, München 2, Deutschland

    R. Bayer

  2. Fachbereich Informatik, Universität Kaiserslautern, Erwin-Schrödinger-Straße, W-6750, Kaiserslautern, Deutschland

    T. Härder

  3. Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Postfach 6980, W-7500, Karlsruhe, Deutschland

    P. Lockemann

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Deßloch, S., Härder, T., Leick, FJ., Mattos, N.M. (1992). KRISYS — a KBMS Supporting the Development and Processing of Advanced Engineering Applications. In: Bayer, R., Härder, T., Lockemann, P. (eds) Objektbanken für Experten. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77873-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77873-5_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56074-6

  • Online ISBN: 978-3-642-77873-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation