A functional approach to integrating database and expert systems

ABSTRACT

A new system architecture shares certain characteristics with database systems, expert systems, functional programming languages, and spreadsheet systems, but is very different from any of these.

REFERENCES

• 1: R. M. Abarbanel , F. N. Tou , V. P. Gilbert, KEEconnection: a bridge between databases and knowledge bases, AI tools and techniques, Ablex Publishing Corp., Norwood, NJ, 1989
• 2: Ackerman. W.B. Data flow languages. Ifff Computer 15, 2 (Feb. 1982), 15-25.
• 3: M. M. Astrahan , M. W. Blasgen , D. D. Chamberlin , K. P. Eswaran , J. N. Gray , P. P. Griffiths , W. F. King , R. A. Lorie , P. R. McJones , J. W. Mehl , G. R. Putzolu , I. L. Traiger , B. W. Wade , V. Watson, System R: relational approach to database management, ACM Transactions on Database Systems (TODS), v.1 n.2, p.97-137, June 1976 [doi>10.1145/320455.320457]
• 4: Jose A. Blakeley , Per-Ake Larson , Frank Wm Tompa, Efficiently updating materialized views, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.61-71, May 28-30, 1986, Washington, D.C., United States
• 5: Michael L Brodie , John Mylopoulos, On knowledge base management systems: integrating artificial intelligence and d atabase technologies, Springer-Verlag New York, Inc., New York, NY, 1986
• 6: Lee Brownston , Robert Farrell , Elaine Kant , Nancy Martin, Programming expert systems in OPS5: an introduction to rule-based programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1985
• 7: Bull, M., Duda, R. Port, D., and Reiter, J. Applying software engineering principles to knowledge-base development. In Proceedings of Expert Systems in Business 87 (New York, Nov.). Learned Information, Medford, N.J.. 1987, pp. 27-37.
• 8: O. Peter Buneman , Eric K. Clemons, Efficiently monitoring relational databases, ACM Transactions on Database Systems (TODS), v.4 n.3, p.368-382, Sept. 1979 [doi>10.1145/320083.320099]
• 9: Peter Buneman , Robert E. Frankel , Rishiyur Nikhil, An implementation technique for database query languages, ACM Transactions on Database Systems (TODS), v.7 n.2, p.164-186, June 1982 [doi>10.1145/319702.319711]
• 10: E. F. Codd, Extending the database relational model to capture more meaning, ACM Transactions on Database Systems (TODS), v.4 n.4, p.397-434, Dec. 1979 [doi>10.1145/320107.320109]
• 11: C. J. Date, Relational database: selected writings, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 12: Duda, R.O., and Reboh, R. AI and decision making: The Prospector experience. In Artificial Intelligence Applications for Business. W. Reitman. Ed. Ablex. Norwood, N.J., 1984, 111-147.
• 13: Duda. R.O., HarJ. P.E., Reboh, R., Reiter, )., and Risch, T. Syntel: Using a functional language for financial risk assessment. IEEE Expert 2, 3 (Fall 1987), 18-31.
• 14: Peter Gray, Logic, algebra and databases, John Wiley & Sons, Inc., New York, NY, 1984
• 15: Michael Hammer , Dennis McLeod, The semantic data model: a modelling mechanism for data base applications, Proceedings of the 1978 ACM SIGMOD international conference on management of data, May 31-June 02, 1978, Austin, Texas [doi>10.1145/509252.509264]
• 16: Clyde W. Holsapple , Andrew B. Whinston, Manager's guide to expert systems using GURU, Dow Jones-Irwin, New York, NY, 1986
• 17: Kerschberg, L., Ed. Expert Database Systems. Benjamin Cummings. Menlo Park, Calif., 1986.
• 18: Koenig, S., and Paige. R. A transformational framework for the automatic control of derived data. In Proceedings of tire 7th International Conference on Very Large Data Bases (Cannes, France, Sep$. 9-11, 1981), pp. 306-318.
• 19: Peter Lucas , Tore Risch, Representation of factual information by equations and their evaluation, Proceedings of the 6th international conference on Software engineering, p.367-376, September 13-16, 1982, Tokyo, Japan
• 20: M Missikoff , G Wiederhold, Towards a unified approach for expert and database systems, Proceedings from the first international workshop on Expert database systems, p.383-399, January 1986, Kiawah Island, South Carolina, United States
• 21: Robert Paige , Shaye Koenig, Finite Differencing of Computable Expressions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.402-454, July 1982 [doi>10.1145/357172.357177]
• 22: K. V. S. V. N. Raju , Arun K. Majumdar, Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems, ACM Transactions on Database Systems (TODS), v.13 n.2, p.129-166, June 1988 [doi>10.1145/42338.42344]
• 23: Reboh. R., and Risch, T. Syntel: Knowledge programming using functional representations. In Proceedings of AAAI-86 (Philadelphia, Pa., Aug. 11-16). Morgan Kaufman, Los Altos, Calif., 1986, pp. 1003-1007.
• 24: Ross, S. A First Course in Probability (3d ed). McMillan, New York, 1988.
• 25: John A. Sharp, Data flow computing, Halsted Press, New York, NY, 1985
• 26: David W. Shipman, The functional data model and the data languages DAPLEX, ACM Transactions on Database Systems (TODS), v.6 n.1, p.140-173, March 1981 [doi>10.1145/319540.319561]
• 27: Shortliffe, E.H. Computer-Based Medical Consultations: MYCIN. Elsevier, New York, 1976.
• 28: Shortliffe, E.H. Medical expert systems--knowledge tools for phs?siclans. The Western }ournal of Medicine 145, 6 (Dec. 1986), 830-839.
• 29: Sibley, E.H., and Kershberg, L. Data architecture and data model considerations. In Proceedings of the AFIPS National Computer Conference (Dallas, Tex., June 13-16, 1977), pp. 85-96.
• 30: Stefik, M.J.. Bobrow, D.G., and Kahn, K.M. Integrating access: oriented programming into a multiparadigm environment. IEEE Software 3, 10 (Jan. 1986) 10-18.
• 31: Michael Stonebraker, Triggers and inference in database systems, On knowledge base management systems: integrating artificial intelligence and d atabase technologies, Springer-Verlag New York, Inc., New York, NY, 1986
• 32: Sussman, G.J., and Steele, G.L., Jr. Constraints--a language for expressing almost hierarchical descriptions. Art. Intelf. 14, 1 (Aug. 1980), 1-39.
• 33: William W. Wadge , Edward A. Ashcroft, LUCID, the dataflow programming language, Academic Press Professional, Inc., San Diego, CA, 1985
• 34: Wiederhold, G. Knowledge and database management. IEEE Software 1, 1 (1984), 63-73.

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Specialized application languages

  H. Information Systems
  H.2 DATABASE MANAGEMENT

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

General Terms:
Design, Languages