Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

ConceptBase — A deductive object base for meta data management

  • Published:
Journal of Intelligent Information Systems Aims and scope Submit manuscript

Abstract

Deductive object bases attempt to combine the advantages of deductive relational databases with those of object-oriented databases. We review modeling and implementation issues encountered during the development of ConceptBase, a prototype deductive object manager supporting the Telos object model. Significant features include: 1) The symmetric treatment of object-oriented, logic-oriented and graph-oriented perspectives, 2) an infinite metaclass hierarchy as a prerequisite for extensibility and schema evolution, 3) a simple yet powerful formal semantics used as the basis for implementation, 4) a client-server architecture supporting collaborative work in a wide-area setting. Several application experiences demonstrate the value of the approach especially in the field of meta data management.

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

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Abiteboul S., Grumbach S., “A rule-based language with functions and sets”,ACM Transactions on Database Systems, 16, 1, March 1991, pp. 1–30.

    Google Scholar 

  • Abiteboul S., Lausen G., Uphoff H., Waller E., “Methods and rules”, InProc. ACM SIGMOD, Washington D.C.,May 1993, pp. 32–41.

  • Baumeister M.,A Concept for Transactions in the Deductive Object Base ConceptBase (in German), Diploma thesis, RWTH Aachen, Germany 1994.

    Google Scholar 

  • Beeri C., Ramakrishnan R., “On the power of magic”, InProc. 6th ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, 1987.

  • Bouzeghoub M., Métais E., “Semantic modeling of object oriented databases”, InProc. 17th VLDB Conf., Barcelona, Spain, 1991, pp. 3–14.

  • Borenstein N.S.,Multimedia Applications Development with the Andrew Toolkit, Prentice-Hall, N.J., 1990.

    Google Scholar 

  • Borgida A., “From types to frames: natural semantics specifications for description logics”, In J. Intelligent and Cooperative Information Systems, 1, 1, 1992, pp. 93–126.

    Google Scholar 

  • Brachman R.J., Schmolze J.G., “An overview of the KL-ONE knowledge representation system.” InCognitive Science 9, 2, April 1985, pp. 171–216.

    Google Scholar 

  • Brodie M.L., Mylopoulos J., Schmidt J.W. (ed.),On Conceptual Modeling, Springer-Verlag, 1984.

  • Bry F., Decker H., Manthey R., “A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases”, InProc. EDBT, 1988, pp. 488–505.

  • Buchheit M., Jeusfeld M.A., Nutt W., Staudt M., “Subsumption between queries to object-oriented Databases.” InInformation Systems, 19, 1, 1994, pp. 33–54.

    Google Scholar 

  • CeriS., Widom J., “Deriving production rules for constraint maintenance”,In Proc. 16th VLDB Conf., Brisbane, Australia, 1990, pp. 566–577.

  • Chen P.S., Hennicker R., Jarke M., “On the retrieval of reusable software components”, InProc. 2nd Intl. Workshop on Software Reuse, Lucca, Italy, 1993.

  • Eherer S., Jarke M., “Knowledge-based support for hypertext co-authoring”, InProc. 2nd Intl. Conf. Database and Expert Systems Applications (DEXA'91), Berlin, Germany, Aug. 21–23, 1991, pp. 465–470.

  • Gallersdörfer R.,Realization of a Deductive Object Base by Abstract Data Types (in German), Diploma thesis, Universität Passau, Germany 1990.

    Google Scholar 

  • Grob R., Jacobs S., Kethers S., “Towards CIS in quality management-integration of agents and methods”,2nd Intl. Conf. on Cooperative Information Systems, Toronto, 1994.

  • Gupta A., Mumick I.S., Subrahmanian V.S., “Maintaining views incrementally”,Proc. of the ACM-SIGMOD Intl. Conf. on Management of Data, Washington DC, 1993, pp. 157–166.

  • Jarke M. (ed.),Database Application Engineering with DAIDA, Springer-Verlag, 1993.

  • Jarke M., Eherer S., Gallersdörfer R., Jeusfeld M.A., Staudt M., “ConceptBase – A deductive object base manager”,Aachener Informatik-Berichte 93–14, RWTH Aachen, Germany, 1993.

    Google Scholar 

  • Jarke M., Jeusfeld M.A., Rose T., “Software process modeling as a strategy for KBMS implementation”, InProc. 1st Intl. Conf. Deductive and Object-Oriented Databases, Kyoto, Japan, Dec. 1989.

  • Jarke M., Jeusfeld M.A., Szczurko P, “Three aspects of intelligent cooperation in the quality cycle”,International Journal of Intelligent and Cooperative Information Systems, 2,4, Dec. 1993.

  • Jarke M., Maltzahn C., Rose T., “Sharing processes: team coordination in design repositories”,Intl. Journal of Intelligent and Cooperative Information Systems Vol. 1 No. 1, 145–168, March 1992.

    Google Scholar 

  • Jeusfeld M.A.,Update Control in Deductive Object Bases (in German), Infix-Verlag, St. Augustin, Germany, 1992.

    Google Scholar 

  • Jeusfeld M.A., Jarke M., “From relational to object-oriented integrity simplification”, InProc. 2nd Intl. Conf. on Deductive and Object-Oriented Databases, LNCS 566, Springer-Verlag, pp. 460–477, 1991.

  • Kakas A,C., Mancarella P., “Database updates through abduction”, InProc. VLDB, Brisbane, Australia, 1990, pp. 650–661.

  • Kifer M., Lausen G., “F-Logic: a higher-order language for reasoning about objects, inheritance, and scheme”, InProc. ACM-SIGMOD Intl. Conf. on Management of Data, Portland, Oregon, 1989, pp. 134–146.

  • Lloyd J.W., Topor R.W., “Making PROLOG more expressive”, InJournal of Logic Programming, March 1984, pp. 225–240.

  • Mylopoulos J., Borgida A., Jarke M., Koubarakis M., “Telos – a language for representing knowledge about information systems”, InACM Trans. Information Systems, 8, 4, 1990, pp. 325–362.

    Google Scholar 

  • Pirahesh H., Mitschang B., Südkamp N., Lindsay B., “Composite-object views in relational DBMS: an implementation perspective”, InInformation Systems, 19, 1, 1994, pp. 69–88.

    Google Scholar 

  • Pohl K., Assenova P., Dömges R., Johannesson P., Maiden N.A.M., Plihon V., Schmitt J.-R., Spanoudakis G., “Applying AI techniques to requirements engineering: The NATURE prototype”, InProc. ICSE Workshop on AI and Software Engineering, Sorrento, Italy, May 1994.

  • Pucheral P., Thevenin J.-M., “Pipelined query processing in the DBGraph storage model”, InProc. EDBT'92, Vienna, Austria, March 1992, pp. 516–533, 1992.

  • Ramakrishnan R., Ullman J.D.,“A survey of research on deductive database systems”, manuscript, to appear inJournal of Logic Programming, 1994.

  • Ramesh B., Dhar V., “Supporting systems development by capturing deliberations during requirements engineering”, InIEEE Trans. Software Engineering, 18, 6, 1992, pp. 498–510.

    Google Scholar 

  • Ramesh B., Luqi, “Process knowledge based rapid prototyping for requirements engineering”, InProc. IEEE Intl. Symposium on Requirements Engineering (RE'93), San Diego, CA, Jan. 1993, pp. 248–255.

  • Rich C. (ed.), “Special Issue on Implemented Knowledge Representation and Reasoning Systems”,SIGART Bulletin 2,3, June 1991.

  • Rose T., Jarke M., Mylopoulos J., “Organizing software repositories-modeling requirements and implementation experiences”, InProc. 16th Intl. Computer Software & Applications Conf., Chicago, IL, Sept. 23–25, 1992.

  • Rose T., Mylopoulos J. et al., “Supporting the development of intelligent information systems – a multi-cultural approach”, Technical report, University of Toronto, 1994.

  • Shaw G.M., Zdonik S.B., “A query algebra for object-oriented databases”, InProc. of the 6th Intl. Conf. on Data Engineering, pp. 154–162, 1990.

  • Srivastava D., Ramakrishnan R., Seshadri P., Sudarshan S., “Coral ++: Adding object-orientation to a logic database Language”,Proc. of the 19th VLDB Conf, Dublin, Ireland, 1993, pp. 158–170.

  • Stanley M.T.,CML — a knowledge representation language with application to requirements modeling, M.S.thesis, University of Toronto, Ontario, 1986.

    Google Scholar 

  • Staudt M.,Query Representation and Evaluation in Deductive Object Bases (in German), Diploma thesis, Universität Passau, Germany, 1990.

    Google Scholar 

  • Staudt M., Nissen H.W., Jeusfeld M.A., “Query by class, rule and concept”,Applied Intelligence, 4(2), pp. 133–157, 1994.

    Google Scholar 

  • Steinke G., Jarke M., “Support for security modeling in information systems design”, InProc. IFIP 11.3 Working Conf. on Database Security, Vancouver, Canada, August 19–22, 1992.

  • Stonebraker M., “The design of the POSTGRES storage system”, InProc. 13th VLDB Conf., Brighton, England, 1987, pp. 289–300.

  • Stonebraker M. (ed.), Special Issue on Database Prototype Systems,IEEE Trans. on Knowledge and Data Engineering 2(1), March 1990.

  • Thönnissen H.J.Design and Implementation of an Object Algebra for a Deductive Object Base System (in German), Diploma thesis, RWTH Aachen, Germany, 1992.

    Google Scholar 

  • Ullman J.D.,Principles of Database and Knowledge Base Systems, Vol. II., Computer Science Press 1989.

  • Valduriez P., “Join indices”, InACM TODS, Vol. 12, No. 2, June 1987.

  • Vandenberg S.L., DeWitt D.J., “Algebraic support for complex objects with arrays, identity and inheritance”, InProc. ACM-SIGMOD Intl. Conf. on Management of Data, pp. 158–167, 1991.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jarke, M., Gallersdörfer, R., Jeusfeld, M.A. et al. ConceptBase — A deductive object base for meta data management. J Intell Inf Syst 4, 167–192 (1995). https://doi.org/10.1007/BF00961873

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00961873

Keywords