An Experimental Relational Data Base System Based on Logic

Or Clause Encounters of a Logical Kind
  • Jack Minker

Abstract

An experimental relational data base system whose design is based upon logic is described. Logic was chosen as the design principle since it is a useful way in which to represent knowledge, and it forms a mathematical basis both for reasoning with data and for maintaining the integrity of a data base. The latter is a needed capability of data base systems as one wants to derive new facts from facts listed explicitly in the data base.

The system is designed to handle large data bases and for general problems in theorem proving. The data base aspect of the work is emphasized in this paper.

Queries to the system consist of well-formed formulae in the predicate calculus. Knowledge in the system is stored in a semantic network. The semantic network consists of explicit facts stored in the extensional data base; general axioms, which permit new facts to be derived, and are stored in the intensional data base, the semantic graph which provides information sometimes represented as unary relations; the dictionary which defines constant symbols; and the semantic form space used for integrity constraints and testing inputs.

A description is provided of the system. The manner in which the extensional and intensional data bases are accessed, how deductive search is controlled, and the manner in which written and spoken natural language output is achieved are described in the paper.

Keywords

Assure Nism Extractor Univer Alan 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Basili, V. R. and Turner, A. J. [1976] SIMPL-T — A Structured Programming Language, Paladin House, Geneva, Illinois, 1976. Also University of Maryland Computer Science Series, Vol. 2, University of Maryland, College Park, Maryland 20742.Google Scholar
  2. 2.
    Carnap, R. [1958] Introduction to Symbolic Logic and Its Applications, Dover Publications, Inc., New York, New York, 1958.MATHGoogle Scholar
  3. 3.
    Chang, C.L. [1978] DEDUCE 2: Further Investigations of Deduction in Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, N. Y., 1978, 201–236.Google Scholar
  4. 4.
    Chang, C.L. and Lee, R.C.T. [1973] Symbolic Logic and Mathematical Theorem Proving, Academic Press, New York, New York, 1973.Google Scholar
  5. 5.
    Codd, E. F. [1971] Relational Completeness of Data Base Sublanguages, Courant Computer Science Symposia 6, May 24–25, 1971. In Data Base Systems (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, New Jersey, 1972, 65–98.Google Scholar
  6. 6.
    Darlington, J. L. [1962] A COMIT Program for the Davis-Putnam Algorithm, Res. Lab. Electron., Mech. Transi. Grp., M.I.T., Cambridge, Massachusetts, May 1962.Google Scholar
  7. 7.
    Deliyanni, A. and Kowalski, R. A. [1977] Logic and Semantic Networks, Journées d’etudes Logique et bases de donees, Toulouse, France, Nov. 16–18, 1977.Google Scholar
  8. 8.
    Elovitz, H. S. [1975] “Automatic Text Translation to Speech Via Letter-to-Sound Rules,” Scholarly Paper, University of Maryland, College Park, Maryland 20742, May 1975.Google Scholar
  9. 9.
    Enderton, H. B. [1972] A Mathematical Introduction to Logic, Academic Press, New York, New York, 1972.MATHGoogle Scholar
  10. 10.
    Fishman, D. H. [1973] “Experiments with a Resolution-Based Deductive Question-Answering System and a Proposed Clause Representation for Parallel Search,” Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1973.Google Scholar
  11. 11.
    Green, C. C. [1969] Theorem Proving by Resolution as a Basis for Question-Answering Systems, In Machine Intelligence 4 (B. Meltzer and D. Michie, Eds.), American Elsevier, New York, New York, 1969, 183–205.Google Scholar
  12. 12.
    Green, C. C. and Raphael, B. [1968] The Use of Theorem Proving Techniques in Question-Answering Systems, Proceedings 1968 ACM National Conference, Brandon Systems Press, Princeton, New Jersey, 1968, 169–181.Google Scholar
  13. 13.
    Hill, R. [1974] LUSH Resolution and Its Completeness, DCL Memo No. 78, University of Edinburgh, School of Artificial Intelligence, August 1974.Google Scholar
  14. 14.
    Kellogg, C., Klahr, P. and Travis, L. [1978] Deductive Planning and Pathfinding for Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 179–200.Google Scholar
  15. 15.
    Klein, M. [1976] “Translating II-Clauses into English,” Scholarly Paper, Department of Computer Science, University of Maryland, College Park, Maryland 20742, 1976.Google Scholar
  16. 16.
    Kowalski R. and Kuehner, D. [1971] Linear Resolution with Selection Function, Artificial Intelligence2, 3/4 (1971), 227–260.Google Scholar
  17. 17.
    Loveland, D. W. [1969] A Simplified Format for the Model Elimination Theorem Proving Procedure, JACM16, 3 (July 1969), 349–363.MathSciNetMATHCrossRefGoogle Scholar
  18. 18.
    Luckham, D. and Nilsson, N. [1971] Extracting Information from Resolution Proof Trees, Artificial Intelligence2, 1 (1971), 27–54.MathSciNetMATHCrossRefGoogle Scholar
  19. 19.
    McSkimin, J. R. [1976] “The Use of Semantic Information in Deductive Question-Answering Systems,” Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1976.Google Scholar
  20. 20.
    McSkimin, J.R. and Minker, J. [1978] A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks — The Representation and Use of Knowledge in Computers (N. Findler, Ed.), Academic Press, New York 1978 (in press).Google Scholar
  21. 21.
    McSkimin, J.R. and Minker, J. [1977] The Use of a Semantic Network in a Deductive Question-Answering System, Proceedings IJCAI-77; Cambridge, Massachusetts, 1977, 50–58.Google Scholar
  22. 22.
    McSkimin, J.R. and Wilson, G. A. [1974] MRPPS 2.0 User’s Manual, CN-15, Computer Science Center, University of Maryland, College Park, Maryland, November 1974.Google Scholar
  23. 23.
    Minker, J. [1978] Search Strategy and Selection Function for an Inferential Relational System, ACM Transactions on Database Systems3,1 (March 1978), 1–31.CrossRefGoogle Scholar
  24. 24.
    Minker, J. [1977] Control Structures of a Pattern-Directed Search System, Proceedings of the Workshop on Pattern-Directed Inference Systems, ACM SIGART Newsletter, No. 63 (June 1977), 7–14.Google Scholar
  25. 25.
    Minker, J., Fishman, D. H. and McSkimin, J. R. [1973] The Q* Algorithm — A Search Strategy for a Deductive Question-Answering System, Artificial Intelligence4, (1973), 225–243.MATHCrossRefGoogle Scholar
  26. 26.
    Minker, J., McSkimin, J. R. and Fishman, D. H. [1974] MRPPS — An Interactive Refutation Proof Procedure System for Question Answering, J. Computers and Information Sciences3, (June 1974), 105–122.MATHCrossRefGoogle Scholar
  27. 27.
    Mylopoulos, J., Badler, N., Melli, L. and Roussopoulos, N. [1973] 1 PAK: A SNOBOL-Based Programming Language for Arfiticial Intelligence Applications. Advance Papers of 3rd Int. Joint Conf. on Artificial Intelligence, Stanford University, Stanford, California, 1973, 691–696.Google Scholar
  28. 28.
    Nicolas, J. M. and Syre, J. C. [1974] Natural Language Question-Answering and Automatic Deduction in the System SYNTEX, Proceedings of the IFIP Congress, 1974, North-Holland Publishing Company, New York, New York, 1974,595–599.Google Scholar
  29. 29.
    Powell, P. [1977] “Answer-Reason Extraction in a Parallel Relational Data Base System,” Master’s Thesis, Department of Computer Science, University of Maryland, College Park, Maryland 20742, 1977.Google Scholar
  30. 30.
    Powell, P. and Thompson, P. [1978] Natural Language and Voice Output for Relational Data Base Systems, TR-686, Department of Computer Science, University of Maryland, College Park, Maryland 20742, 1978.Google Scholar
  31. 31.
    Reiter, R. [1971] Two Results on Ordering for Resolution with Merging and Linear Format, JACM18, 4 (October 1971), 630–646.MATHCrossRefGoogle Scholar
  32. 32.
    Reiter, R. [1978] Deductive Question-Answering on Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 149–177.Google Scholar
  33. 34.
    Robinson, J. A. [1965] A Machine-Oriented Logic Based on the Resolution Principle, JACM12, 1 (January 1965), 23–41.MATHCrossRefGoogle Scholar
  34. 35.
    Schubert, L. K. [1976] Extending the Expressive Power of Semantic Networks, Artificial Intelligence7, 2 (1976), 163–198.MathSciNetCrossRefGoogle Scholar
  35. 36.
    Shapiro, S. C. [1971] A Net Structure for Semantic Information Storage, Deduction and Retrieval, Proceedings Inter. Joint Conf. on Artificial Intelligence, The British Computer Society, London, 1971, 512–523.Google Scholar
  36. 37.
    Shapiro, S. C. [1977] Representing and Locating Deduction Rules in a Semantic Network, Proceedings of the Workshop on Pattern-Directed Inference Systems, ACM SIGART Newsletter No. 63 (June 1977, 14–18.Google Scholar
  37. 38.
    Thompson, P. [1976] “Rule Precedence within Context-Sensitive Grammars; An Extension of the Letter to Sound Rules Used in Voice Production,” Scholarly Paper, Department of Computer Science, University of Maryland, College Park, Maryland 20742, 1976.Google Scholar
  38. 39.
    Wilson, G. [1976] “A Description and Analysis of the PAR Technique — An Approach for Parallel Inference and Parallel Search in Problem Solving Systems,” Ph.D. Thesis, Dept. of Computer Science, University of Maryland, College Park, Maryland 20742, 1976. Also Tech. Report TR-464, Department of Computer Science, University of Maryland, 1976.Google Scholar
  39. 40.
    Woods, W. A. [1975] What’s in a Link — Foundations for Semantic Networks, In Representation and Understanding (D. G. Bobrow and A. Collins, Eds.), Academic Press, New York, 1975, 35–82.Google Scholar

Copyright information

© Plenum Press, New York 1978

Authors and Affiliations

  • Jack Minker
    • 1
  1. 1.University of MarylandCollege ParkUSA

Personalised recommendations