ConceptBase — A deductive object base for meta data management
- 171 Downloads
- 84 Citations
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.
Keywords
deductive databases semantic data model conceptual modeling integrity constraints query classes repository object-oreinted databasesPreview
Unable to display preview. Download preview PDF.
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.Google Scholar
- 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.Google Scholar
- Bouzeghoub M., Métais E., “Semantic modeling of object oriented databases”, InProc. 17th VLDB Conf., Barcelona, Spain, 1991, pp. 3–14.Google Scholar
- 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.Google Scholar
- Bry F., Decker H., Manthey R., “A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases”, InProc. EDBT, 1988, pp. 488–505.Google Scholar
- 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.Google Scholar
- Chen P.S., Hennicker R., Jarke M., “On the retrieval of reusable software components”, InProc. 2nd Intl. Workshop on Software Reuse, Lucca, Italy, 1993.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- Jarke M. (ed.),Database Application Engineering with DAIDA, Springer-Verlag, 1993.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- Kakas A,C., Mancarella P., “Database updates through abduction”, InProc. VLDB, Brisbane, Australia, 1990, pp. 650–661.Google Scholar
- 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.Google Scholar
- Lloyd J.W., Topor R.W., “Making PROLOG more expressive”, InJournal of Logic Programming, March 1984, pp. 225–240.Google Scholar
- 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.Google Scholar
- Pucheral P., Thevenin J.-M., “Pipelined query processing in the DBGraph storage model”, InProc. EDBT'92, Vienna, Austria, March 1992, pp. 516–533, 1992.Google Scholar
- Ramakrishnan R., Ullman J.D.,“A survey of research on deductive database systems”, manuscript, to appear inJournal of Logic Programming, 1994.Google Scholar
- 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.Google Scholar
- Rich C. (ed.), “Special Issue on Implemented Knowledge Representation and Reasoning Systems”,SIGART Bulletin 2,3, June 1991.Google Scholar
- 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.Google Scholar
- Rose T., Mylopoulos J. et al., “Supporting the development of intelligent information systems – a multi-cultural approach”, Technical report, University of Toronto, 1994.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- Stonebraker M., “The design of the POSTGRES storage system”, InProc. 13th VLDB Conf., Brighton, England, 1987, pp. 289–300.Google Scholar
- Stonebraker M. (ed.), Special Issue on Database Prototype Systems,IEEE Trans. on Knowledge and Data Engineering 2(1), March 1990.Google Scholar
- 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.Google Scholar
- Valduriez P., “Join indices”, InACM TODS, Vol. 12, No. 2, June 1987.Google Scholar
- 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.Google Scholar