Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-26T21:11:05.406Z Has data issue: false hasContentIssue false

Interfacing a knowledge-based system to a large database

Published online by Cambridge University Press:  07 July 2009

P. M. D. Gray
Affiliation:
Computing Science Dept., Univ. of Aberdeen, Aberdeen AB9 2UB, Scotland, UK
I. G. Archibald
Affiliation:
Shell Research Ltd, Thornton Research Centre, PO Box 1, Chester CH1 3SH, UK
K. Lunn
Affiliation:
Shell Research Ltd, Thornton Research Centre, PO Box 1, Chester CH1 3SH, UK

Abstract

This paper describes the interfacing problem that arose in a Product Formulation expert system written in LISP that had to be interfaced to data in a relational database running on a separate mainframe computer. It surveys the different forms of coupling that are possible and emphasizes the advantages of tight navigational coupling over the more popular set-based coupling. It describes how Prolog was used to overcome the interfacing problems and to provide a customized front end to an end user, based on a navigational interface. It reviews the techniques of using Prolog and the likely obstacles, together with a look forward to databases using Frames or Objects.

Type
Research Article
Copyright
Copyright © Cambridge University Press 1989

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abarbanel, RM and Williams, MD, 1986. “A Relational Representation for Knowledge Bases”, Proc. First International Conf on Expert Database Systems, Kerschberg, L ed, Reading, Massachusetts: Addison-Wesley, p 139Google Scholar
Atkinson, MP et al. , 1984. “The Proteus Distributed Database System, Proc. Third British National Conf on Databases (BNCOD-3), Longstaff, J, ed, Cambridge: Cambridge University Press, pp 225245Google Scholar
Atkinson, MP and Kulkarni, KG, 1984. “Experimenting with the Functional Data Model” In: Databases—Role and Structure, Stocker, PM, Gray, PMD and Atkinson, MP, eds, Cambridge: Cambridge University Press, pp 311338Google Scholar
Bancilhon, F, 1988. “Object-Oriented Database Systems”, Proc. 7th ACM SIGART-SIGMOD-SIGACT Symposium on Principles of Database Systems (Austin), ACM Publications, pp 111CrossRefGoogle Scholar
Bocca, J et al. , 1986. “On the Evaluation Strategy of EDUCE”, Proc. ACM SIGMOD86 Conf (Washington), Zaniolo, C, ed, ACM, pp 368378CrossRefGoogle Scholar
Brachman, RJ and Schmolze, JG, 1985. “An overview of the KL-ONE knowledge representation system”, Cognitive Science (9) pp 171217Google Scholar
Bundy, A, 1984. Computer Modelling of Mathematical Reasoning, New York: Academic PressGoogle Scholar
Campbell, CW and Gray, PMD, 1988. “PROOFS: an experimental Frame-Based Programming System implemented in Prolog”, Proc. UK IT'88 Conf (Swansea),IEE Publications,PO Box 26, Hitchin, Herts, pp 143147Google Scholar
Codd, EF, 1979. “Extending the Relational Model to Capture More Meaning”, ACM Trans Database Systems (December 1979), p 397CrossRefGoogle Scholar
Dayal, U and Smith, JM, 1986. “PROBE: A Knowledge-Oriented Database Management System” In: On Knowledge Base Management Systems, Brodie, ML and Mylopoulos, J, eds, New York: Springer-VerlagGoogle Scholar
Fox, MS and McDermott, J, 1986. “The Role of Databases in Knowledge-Based Systems” In: On Knowledge Base Management Systems, Brodie, ML and Mylopoulos, J, eds, New York: Springer-VerlagGoogle Scholar
Freeston, M, 1988. “Grid files for efficient Prolog clause access” In PROLOG and DATABASES, Gray, and Lucas, , eds, New York: Ellis-Horwood (Wiley)Google Scholar
Gallaire, H, 1983. “Logic Data Bases vs Deductive Data Bases”, Proc. Logic Programming Workshop 1983, Pereira, LM, edGoogle Scholar
Gray, PMD, 1982. “Use of Automatic Programming and Simulation to facilitate operations on Codasyl Databases” In State of the Art Report DATABASE, Series 9 No. 8, Atkinson, MP, ed, London: Pergamon Infotech, pp 346369Google Scholar
Gray, PMD, 1984. Logic, Algebra and Databases, Chichester: Ellis-HorwoodGoogle Scholar
Gray, PMD, 1984a. “Interfaces”, Proc. 2nd Alvey Workshop on Architectures for Large Knowledge Bases (Manchester), Lavington, S, ed, IEE Publications, PO Box 26, Hitchin, Herts.Google Scholar
Gray, PMD, 1986. “Expert Database Systems”, AISB Quarterly, 59, pp. 2223Google Scholar
Gray, PMD, Moffat, DS and Paton, NW, 1988. “A Prolog Interface to a Functional Data Model Database” In: Advances in Database Technology—EDBT'88, Schmidt, JW, Ceri, S and Missikoff, M, eds, New York: Springer-Verlag, pp 3448CrossRefGoogle Scholar
Gray, PMD, Storrs, GE and du Boulay, JBH, 1988b. “Knowledge Representations for Database Metadata”, Artificial Intelligence Review (2), pp 329CrossRefGoogle Scholar
Gray, PMD, 1988. “Expert Systems and Object-Oriented Databases: Evolving a new Software Architecture” In: Research and Development in Expert Systems V, Kelly, B and Rector, A, eds, Cambridge: Cambridge University Press, pp 284295Google Scholar
Gray, PMD and Lucas, RJ, 1988. PROLOG and DATABASES: Implementations and New Directions, New York: Ellis-Horwood (Wiley)Google Scholar
Harland, DM, 1988. REKURSIV Object-Oriented Computer Architecture, New York: Ellis Horwood (Wiley)Google Scholar
Howells, DI, Fiddian, NJ and Gray, WA, 1988. “A source-to-source meta-translation system for database query languages—implementation in Prolog” In: PROLOG and DATABASES, Gray, and Lucas, , eds, New York: Ellis-Horwood (Wiley), pp 2238Google Scholar
Jarke, M and Vassiliou, Y, (1984). “Coupling expert systems and database management systems” In: Artificial Intelligence Applications for Business', Reitman, W, ed, New Jersey: Ablex, pp 6586.Google Scholar
Kaplan, SJ, 1979. “Cooperative Responses from a Portable Natural Language Data Base Query System”, PhD thesis, Moore School, Univ of Pennsylvania, also Stanford Heuristic Programming Report HPP-79–19Google Scholar
Kerschberg, L, ed, 1984. Expert Database Systems: Proc. First International Workshop (Kiawah Island), New York: Addison-WesleyGoogle Scholar
Kerschberg, L, ed, 1986. Proc. First International Conf. on Expert Database Systems (Charleston), New York: Addison-WesleyGoogle Scholar
Kerry, R, 1988. “Integration of Expert Systems and Databases”, Report 29, Information Systems Engineering Divison, CCTA, NorwichGoogle Scholar
Larson, JA et al. , 1985. “ATOZ: A Prototype intelligent interface to multiple information systems”, Proc. IFIP Working Conf. on the Future of Command Languages,Rome:IFIPGoogle Scholar
Lucas, RJ, 1988. Database Applications using Prolog, New York: Ellis-Horwood (Wiley)Google Scholar
Lucas, RJ, 1989. “The Three Dimensional Spreadsheet (Deduc-Table)”, Proc. 7th British National Confce on Databases (BNCOD 7), Williams, MH, ed, Cambridge: Cambridge University PressGoogle Scholar
Lunn, K and Archibald, IG, 1988. “TREQL (Thornton Research Easy Query Language) an Intelligent Front-End to a Relational Database” In: PROLOG and DATABASES, Gray, PMD and Lucas, RJ, eds, New York: Ellis-Horwood (Willey), pp 3951Google Scholar
Maier, D, Stein, J, Otis, A and Purdy, A, 1986. “Development of an Object-Oriented DBMS”, Proc. OOPSLA'86 Conf,ACM PublicationsCrossRefGoogle Scholar
O'Brien, P, Bullis, B and Schaffert, C, 1986. “Persistent and Shared Objects in Trellis/Owl”, Proc. International Workshop on Object-Oriented Database Systems, Dittrich, K and Dayal, U, eds, IEEE Computer Society, pp 113123Google Scholar
Paton, NW and Gray, PMD, 1988. “An Object-Oriented database for storage and analysis of protein structure data” In PROLOG and DATABASES, Gray, PMD and Lucas, RJ, eds, New York: Ellis-Horwood (Wiley), pp 251266Google Scholar
Ramamohanarao, K and Shepherd, J, 1986. “A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases”, Proc. 3rd International Logic Programming Conf., Shapiro, E, ed, New York:Springer-Verlag, pp 536543CrossRefGoogle Scholar
Rosenthal, A et al. , 1986. “Traversal Recursion: A Practical Approach to Supporting Recursive Applications”, Proc. ACM SIGMOD86 Conf. (Washington), Zaniolo, C, ed, pp 166176CrossRefGoogle Scholar
Selinger, PG et al. , 1979. “Access Path Selection in a Relational Database Management System”, Proc. ACM SIGMOD79 Conf., Bernstein, PA, ed, pp 2334CrossRefGoogle Scholar
Stocker, PM and Cantie, R (1983). “A Target Logical Schema: the ACS”, Proc. 9th VLDB Conf. (Florence)Google Scholar
Stonebraker, ML, 1986. “Inference in Data Base Systems Using Lazy Triggers” In: On Knowledge Base Management Systems, Brodie, ML and Mylopoulos, J, eds, New York: Springer-VerlagGoogle Scholar
Tsur, S, 1988. “LDL—A Technology for the Realization of Tightly Coupled Expert systems”, IEEE Expert 3 (Fall 1988), pp 4151CrossRefGoogle Scholar
Tsur, S and Zaniolo, C, 1986. “LDL: A Logic-Based Data Language”, Proc. 12th International VLDB Conf. (Tokyo),Morgan KauffmanGoogle Scholar
Ullman, JD, 1985. “Implementation of Logical Query Languages for Databases”, ACM Trans. Database Systems 10 289321CrossRefGoogle Scholar
Warren, DHD, 1981. “Efficient Processing of Interactive Relational Database Queries expressed in Logic”, Proc. 7th VLDB Conf. (Cannes), pp 272281Google Scholar
Zaniolo, C, 1986. “Safety and Compilation of Non-Recursive Horn Clauses”, Proc. 1st International Conf. on Expert Database Systems, Kerschberg, L, ed, New York:Addison-WesleyGoogle Scholar