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, access via your institution.
Buy single article
Instant access to the full article PDF.
Price includes VAT (USA)
Tax calculation will be finalised during checkout.
Abiteboul S., Grumbach S., “A rule-based language with functions and sets”,ACM Transactions on Database Systems, 16, 1, March 1991, pp. 1–30.
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.
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.
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.
Brachman R.J., Schmolze J.G., “An overview of the KL-ONE knowledge representation system.” InCognitive Science 9, 2, April 1985, pp. 171–216.
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.
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.
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.
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.
Jeusfeld M.A.,Update Control in Deductive Object Bases (in German), Infix-Verlag, St. Augustin, Germany, 1992.
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.
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.
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.
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.
Staudt M.,Query Representation and Evaluation in Deductive Object Bases (in German), Diploma thesis, Universität Passau, Germany, 1990.
Staudt M., Nissen H.W., Jeusfeld M.A., “Query by class, rule and concept”,Applied Intelligence, 4(2), pp. 133–157, 1994.
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.
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.
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
- deductive databases
- semantic data model
- conceptual modeling
- integrity constraints
- query classes
- object-oreinted databases