Abstract
Future Information Systems will include Large Scale Knowledge Bases and Reasoning components. The backbone of such systems will be provided by Artificial Intelligence and Databases. Specifically, by the technologies in the areas of Knowledge Based or Expert Systems and of Database Management Systems. As evidenced by several recent professional meetings and publications, the integration of the two technologies has attracted a large number of researchers.
Research may follow one of two major directions. One direction considers the existing technologies and applies the principles of complementation or cooperation to develop “better” Expert and/or Database systems. A review of research efforts concentrating on the evolving nature of these systems is presented here. The other research direction leads to the generation of a new class of systems. which can be termed as Knowledge Base Management Systems. In principle, the design of such systems is not constrained by the objectives of Expert Systems, which implement a semantic theory, and of Database Systems. which implement a computational theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bobrow, D.G., and Winograd, T. “An Overview of KRL, a Knowledge Representation Language,” Cognitive Science, Vol. 1, No. 1, 1977, pp. 84 – 123.
Bowen, K.A., and Kowalski, R.A, “Amalgamating Language and Metalanguage in Logic Programming,” Logic Programging, K.Clark and S.A.Tarnlund (eds),Academic Press, 1982.
Brachman, R. “On the Epistemological Status of Semantic Net-works,” Asscciative Networks: Representation and Use of Knowledge by Computer, N.V. Findler, ed., Academic Press, 1979, PP. 3–50.
Brachman, R., and H.Levesque, “What Makes a Knowledge Ease Knowledgeable? A View of Databases from the Knowledge Level,” Proc. of First Intl Workshop on Expert Database Systems, South Carolina, October, 1984.
Brodie, M., and M.Jarke, “On Integrating Logic Programming and Databases,” Proc. of first Intl Workshop on Expert Database Sys-tems, South Carolina, October, 1984.
Brodie, M. Mylopoulos, J., Schmidt, J.W. (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, Springer, Berlin-Heidelberg-New York, 1984.
Brown, J., Burton, R, deKleer, J, J., “Pedagogical Natural Language and Knowledge Engineering Techniques in SOPHIE I, II, and III,” Intelligent Tutoring Systems, Sleeman et al (ads), Academic Press, 1981.
Casanova, M.A., Fagin, R., and C.H.Papadimitriou, “Inclusion Dependencies and their Interaction with Functional Dependencies,” Proc. of first Symposium on Principles of Databases, Los Angeles, 1982, pp. 171 – 176.
Chakravarthy, U.S., Fishman, O.H., and J.Minker, “Semantic Query Optimization in Expert Database Systems,” Proc. of First Intl Workshop on Expert Database Systems, South Carolina, Cctober, 1984.
Chomicki, J., “A Database Support System for PROLOG,” Proceedincs of Logic Programming Workshop’83, Portugal, 1983.
Clifford, J., Jarke, M., and Y. Vassiliou, “A Short Introduction to Expert Systems,” IEEE Database Engineering Bulletin, Vo1. 6, no. 4, December 1983, pp. 3 – 16.
Davis, R., “Expert Systems: Where are we? and Where do we Go from Here?,” Massachusetts Institute of Technology, AI MEMO No. 665., June, 1982.
Deering, M., and Faletti, J., “Database Support for Storage of AI Reasoning Knowledge,” Proc. of First Intl Workshop on Expert Database Systems, South Carolina, October, 1984.
Downey, P.J.,Sethi, R., and R.E.Tarjan, “Variations on the Com-mon Subexpression Problem,” Journal of the ACM, 27, 4, 1980, pp. 758 – 771.
Erman, L.O., et al., “The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty,” Computing Surveys, Vol. 12, No. 2, June 1980, pp. 213 – 253.
Fahlman, S.E. NEIL: A System for Representing and Using Real-World Knowledge, MIT Press, Cambridge, Mass., 1979.
Feigenbaum, E.A., and P. McCorduck, The Fifth Generation Artifi-cial Intelligence and. Japan’s Computer Challenge to the World, Addison-Wesley, 1982.
Forgy, C.L. The DPSS User’s Manual. Tech. Report Carnegie-Mellon University, 1980.
Gallaire, H., and Minker, J., Logic and Databases, Plenum, 1978.
Grant, J., Minker, J., “Optimization in deductive and conventional relational database systems,” In Advances in Databse Theory (Eds H. Gallaire, J. Minker, J.M. Nicolas), pp. 195–234. Plenum, New York.
Hammer, M., and S.Zdonic, “Knowledge Based Query Processing,” Proc. of btr Intr Conference on Very Large Database, Montreal, 1980.
Hart, P.E., Duda, R.O., and Einaudi, M.T. A Computer-Based Con-sultation System for Mineral Emploration, Tech. Report, SRI International, Menlo Park, Calif., 1978.
Henschen, L., Naqvi, S., “On compiling queries in recursive first-order databases,” In Proceedings Workshop on Logical Bases for Data Bases, Toulouse, 1982.
Hewitt, C., “PLANNER: A Language for Proving Theorems in Robots,” Proceedings IJLAI-71, London, England, 1971.
Jarke, M., and Y. Vassiliou, “Coupling Expert Systems with Database Management Systems,” Artificial Intelligence Applications for Business (W.Reitman, ed.), Ablex, 1984, pp.65–85.
Jarke, M., Clifford, J., Vassiliou, Y., “An optimizing Prolog front end to a relational query system,” in Proceedings of ACMSIGMOD Conference, Boston, June 1984.
Johnson, C.S., and A.Klug, “Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies,” Proc. of ACM Symposium on Principles of Database Systems, Los Angeles, 1982, pp.164–169.
Kim, W., “On Optimizing an SQL-like nested Query,” ACM-TODS, 7,3, 1982, pp.510–517.
King, J., “QUIST: A system for Semantic Query Optimization in Relational Databases,” Proc. of 7th Intl Conference on Very Large Databases, Cannes, 1981.
Kowalski, R.A., Logic for problem Soving, North-Holland, New York, 1979.
Kunifuji, S., Yokota, H., “Prolog and Relational Databases for Fifth Generation Computer Systems,” Proc. Workshop on Logical Bases for Data Bases, Toulouse, December 1982.
Lafue, G.M.E., “Basic decisions about linking an expert system with a DBMS: A case study,” IEEE Database Engineering Bulletin, Vol.6, No.4, Cecember 1983.
Masinter, L.M., in INTERLISP Reference Manual, 1974.
McDermott, J. “R1’s Formative Years,” AI MagaZine, Vol.2, No. 2, 1981.
Minsky, N. “A Framework for Representing Knowledge,” The Psychology of Computer Vision, P.H. Winston, ed., McGraw-Hill, New York, 1975, pp. 211–277.
Missikof, M. and G.Wiederhold, “Towards a Unified Approach for Expert and Catabase Systems,” Proc. of First Intl Workshop on Expert Database Systems, South Carolina, October, 1984.
Moon, D., and D., Weinreb, in LISP Machine Manual, 1981.
Mylopoulos J., “An Overview of Knowledge Representation,” in On Conceptual Modelling, (editors: M.L.Brodie, J.Mylopoulos, and J.W.Schmidt), Springer-Verlag, 1984, pp.3–18.
Mylopoulos, J., and M.L.Brodie, “AI and Databases: Semantic vs Computational Theories of Information,” in New Directions in Database Systems, (J. Clifford and G. Ariav: editors), ABLEX, (to appear.)
Nau, D.S., “Expert Computer Systems,” Computer, February, 1983, pp.63–85.
Nicolas, J-M., and K. Yazdanian, “An Outline of BOGEN: A Deductive DBMS,” Proceedings of Information Processing-83, 1983, pp.711–717.
Olson, J.P., and Ellis, S.P., “PROBWELL — An Expert Advisor for Determining Problems with Producing Wells,” IBM cientific/Engineering Conference, Poughkeepsie, New York, November, 1982.
Ott, N., and K.Horlaender, “Removing Redundant Join Operations in Queries involving Views,” IBM Scientific Center Heidelberg, Tech Report TR-82.02.003, 1982.
Parsaye, K., “Logic Programming and Relational Databases,” IEEE Database Engineering Bulletin, vol.6, no.4, December 1983.
Pereira, L.M., and Porto, A., “A Prolog Implementation of a Large System on a Small Machine,” Departmento de Informatica, Universidade Nova de Lisboa, 1982.
Pople, H., “The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning,” Proceedings IJCAI-77, 1977, pp.1030–1037.
Reiter, R., “Deductive question-answering on relational data bases,” 1ogic and Databases, (Eds H.Gallaire, J. Minker), pp. 149–178. Plenum, New York.
Schmidt, J., “Some High Level Language Constructs for Data of Type Relation,” ACM Transactions on Database Systems, 2, 3, June, 1977, pp.247–261.
Snepnard, A., and L.Kershberg, “Constraint Management in Expert Database Systems,” Proc of First Intl Workshop on Expert Database Systems, South Carolinas October, 1984.
Smith, J.M., “Expert Database Systems: A Database Perspective,” Proc. of First Intl Workshop on Expert Database Systems, South Carolina, October, 1984.
Smith, R.G., “STROBE: Support for Structured Object Knowledge Representation,” in Proceedings of IJCAI-83, Karlsruhe, W.Germany, 1983.
Tsichritzis, C., and F.N., Lochovsky, Data Models, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1982.
Vassiliou, Y., Clifford, J., Jarke, M., “Now does an Expert System Get Its Gata?,” in Proc. 9th VLDB Conf., Florence, October 1983, pp.70–72.
Vassiliou, Y., Clifford, J., Jarke, M., “Access to Specific Declarative Knowledge by Expert Systems,” in Decision Support Systems, vol.1, no.1, to appear, 1984.
Vassiliou, Y., Clifford, J., and M.Jarke, “Database Access Requirements of Knowledge—Based Systems” in Query Processing in Database Systems, Springer, (to appear).
Venken, R., “A Prolog Meta—Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query Optimization,” in Proc. of ECAI, Pisa, September, 1984.
Warren, D.H.D., “Efficient Processing of Interactive Relational Database Queries Expressed in Logic,” in Proc. of 7th Intl Conference on Very Large Databases, Cannes, 1981.
Waterman, D., and F., Hayes—Roth, (eds), Pattern Directed Inference Systems, Academic Press, 1979.
Weyhrauch, R., “Prolegomena to a Theory of Mechanical Formal Reasoning,” Artificial Intelligence, Vol.13, 1980, pp.133–170.
Wong, H.K.Y., and Mylopoulos, J., “Two Views on Data Semantics: Data Models in Artificial Intelligence and Database Managements” INFOR, vol.15, no.3, 1977.
Ullman, J.D., Principles of Database Systems, Computer Science Press, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vassiliou, Y. (1985). Integrating Database Management and Expert Systems. In: Blaser, A., Pistor, P. (eds) Datenbank-Systeme für Büro, Technik und Wissenschaft. Informatik-Fachberichte, vol 94. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70284-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-70284-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15196-8
Online ISBN: 978-3-642-70284-6
eBook Packages: Springer Book Archive