Skip to main content
SpringerLink
Log in

Integrated Fact and Rule Management Based on Relational Technology

  • Chapter
Foundations of Knowledge Base Management

Part of the book series: Topics in Information Systems ((TINF))

Abstract

Database programming languages integrate concepts of databases and programming languages to provide both implementation tools for dataintensive applications and high-level user interfaces to databases. Frequently, database programs contain a large amount of application knowledge which is hidden in the procedural code and thus difficult to maintain with changing data and user views.

This chapter presents a first attempt to improve the situation by supporting the integrated definition and management of data and rules based on a set-oriented and predicative approach. For the definition of rules, we introduce and justify a new declarative language construct called constructor. Furthermore, we demonstrate how a Recursive Database Model can be used for constructor representation, thus allowing for the definition, update, and querying of large rule bases. The use of database technology for integrated fact and rule base management is shown to have some important advantages in terms of fact and rule integrity, question-answering, and explanation of results.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Atkinson, M.P., K. Chrisholm, and P. Cockshott, “The New Edinburgh Persistent Algorithmic Language”, Univ. of Edinburgh, Dept. of Computer Science, CSR-90-81, August 1981.

    Google Scholar 

  2. Aho, A.V., and J.D. Ullman, “Universality of Data Retrieval Languages”, Proc. ACM 6th Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979, pp. 110-117.

    Google Scholar 

  3. Buneman, P., and M.P. Atkinson, “Inheritance and Persistence in Database Programming Languages”, Proc. 1986 ACM SIGMOD International Conference on Management of Data, Washington, DC, May 1986, pp. 4-15.

    Google Scholar 

  4. Brachman, R.J., and H.J. Levesque, “What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level”, in [KERS86], 1986, pp. 69-78.

    Google Scholar 

  5. Brodie, M.L., J. Mylopoulos, and J.W. Schmidt (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer-Verlag, Berlin, Heidelberg, 1984.

    MATH  Google Scholar 

  6. Bancilhon, F., and R. Ramakrishnan, “An Amateur’s Introduction to Recursive Query Processing Strategies”, Proc. ACM 1986 SIGMOD International Conference on Management of Data, Washington, DC, May 1986, pp. 16-52.

    Google Scholar 

  7. Chandra, A.K., and D. Harel, “Horn Clauses and the Fixpoint Query Hierarchy”, ACM Symposium on Principles of Database Systems, Los Angeles, 1982, pp. 158-163.

    Google Scholar 

  8. Clocksin, W.F., and C.S. Mellish, Programming in PROLOG, 3rd ed., Springer-Verlag, Berlin, Heidelberg, 1987.

    MATH  Google Scholar 

  9. Codd, E.F., “A Relational Model of Data for Large Shared Data Banks”, Communications of the ACM, Vol. 13, No. 6, June 1970, pp. 377–387.

    Article  MATH  Google Scholar 

  10. Codd, E.F., “Extending the Database Relational Model to Capture More Meaning”, ACM Transactions on Database Systems, Vol. 4, No. 4, December 1979, pp. 397–434.

    Article  Google Scholar 

  11. Eckhardt, H., J. Edelman, J. Koch, M. Mall, and J.W. Schmidt, “Draft Report on the Database Programming Language DBPL”, DBPL-Memo 091-85, Johann Wolfgang Goethe-Univ. Frankfurt, West Germany, 1985.

    Google Scholar 

  12. Gallaire, H., J. Minker, and J.-M. Nicolas, “Logic and Databases: A Deductive Approach”, ACM Computing Surveys, Vol. 16, No. 2, June 1984, pp. 153–185.

    Article  MATH  MathSciNet  Google Scholar 

  13. Gibbs, S., and D. Tsichritzis, “A Data Modelling Approach for Officfe Information Systems”, ACM Transactions on Office Information Systems, Vol. 1, No. 4, October 1983.

    Google Scholar 

  14. Haskins, R.L., and R.A. Lorie, “On Extending the Functions of a Relational Database System”, Proc. ACM SIGMOD International Conference on Management of Data, Orlando, FL, June 1982.

    Google Scholar 

  15. Hoare, C.A.R., “Recursive Data Structures”, International Journal of Computer and Information Science, Vol. 4, No. 2, 1975.

    Google Scholar 

  16. Ioannidis, Y., L.L. Shinkle, and E. Wong, “Enhancing INGRES with Deductive Power”, in [KERS84], pp. 847-850.

    Google Scholar 

  17. Jarke, M., “Common Subexpression Isolation in Multiple Query Optimization”, in W. Kim, D.S. Reiner, D.S. Batory (eds.), Query Processing in Database Systems, Topics in Information Systems, Springer-Verlag, Berlin, Heidelberg, 1985.

    Google Scholar 

  18. Jarke, M., “External Semantic Query Simplification: A Graph-Theoretic Approach and Its Implementation in PROLOG”, in [KERS86], pp. 675-692.

    Google Scholar 

  19. Jarke, M., and J. Koch, “Range Nesting: A Fast Method to Evaluate Quantified Queries”, Proc. 1983 ACM SIGMOD International Conference on Management of Data, San Jose, CA, May 1983, pp. 96-206.

    Google Scholar 

  20. Jarke, M., V. Linnemann, and J.W. Schmidt, “Data Constructors: On the Integration of Rules and Relations”, Proc. 11th International Conference on Very Large Databases, Stockholm, 1985, pp. 227-240.

    Google Scholar 

  21. Jarke, M., and Y. Vassiliou, “Coupling Expert Systems with Database Management Systems”, in [REIT84b], 1984, pp. 65-85.

    Google Scholar 

  22. Kerschberg, L. (ed.), Proc. 1st International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 1984.

    Google Scholar 

  23. Kerschberg, L. (ed.), Expert Database Systems, see [KERS84], 1st International Workshop on Expert Database Systems, Benjamin/Cummings Publishing Company, Inc., Menlo Park, CA, 1986.

    Google Scholar 

  24. Koch, J., Relationale Anfragen: Zerlegung und Optimierung, Ph.D. Dissertation (in German) 1985, Informatik Fachberichte, Vol. 101, Springer-Verlag, Berlin, Heidelberg, 1985.

    Google Scholar 

  25. Lamersdorf, W., “Recursive Data Models for Non-Conventional Database Applications”, Proc. IEEE International Conference on Data Engineering, Los Angeles, April 1984.

    Google Scholar 

  26. Lamersdorf, W., Semantische Reprasentation komplexer Objektstrukturen: Modellefiir nichtkonventionelle Datenbankanwendungen, Ph.D. Dissertation (in German) 1985, Informatik Fachberichte, Vol. 100, Springer-Verlag, Berlin, Heidelberg, 1985.

    Google Scholar 

  27. Linneman, V., “Constructorset’s Database Support for Knowledge Based Systems”, IEEE 2nd International Conference on Data Engineering, Los Angeles, February 1986, pp. 244-251.

    Google Scholar 

  28. Lamersdorf, W., G. Miiller, and J.W. Schmidt, “Language Support for Office Modelling”, Proc. 10th Conference on Very Large Databases, Singapore, August 1984, pp. 280-290.

    Google Scholar 

  29. Mylopoulos, J., P.A. Bernstein, and H.K.T. Wong, “A Language Facility for Designing Interactive Database-Intensive Applications”, ACM Transactions on Database Systems, Vol. 5, No. 2, June 1980, pp. 185–207.

    Article  Google Scholar 

  30. Merrett, T.H., Relational Information Systems, Chapter 5, Prentice-Hall, Englewood Cliffs, NJ, 1984.

    Google Scholar 

  31. Schmidt, J.W., “Some High-Level Language Constructs for Data of Type Relation”, ACM Transactions on Database Systems, Vol. 2, No. 3, September 1977, pp. 247–261.

    Article  Google Scholar 

  32. Smith, J.M., S. Fox, and T. Landers, Reference Manualfor ADAPLEX, Technical Report CCA-81-02, Computer Corporation of America, Cambridge, MA, January 1981.

    Google Scholar 

  33. Schmidt, J.W., and V. Linnemann, “Higher Level Relational Objects”, Proc. 4th British National Conference on Databases, Cambridge Univ. Press, July 1985, pp. 1-23.

    Google Scholar 

  34. Schmidt, J.W., and M. Mall, “Abstraction Mechanisms for Database Programming”, Proc. SIGPLAN Symposium on Programming Language Issues in Software Systems, San Francisco, June 1983, pp. 83-93.

    Google Scholar 

  35. Schek, H.J., and P. Pistor, “Data Structures for an Integrated Data Base Management and Information Retrieval System”, Proc. 8th International Conference on Very Large Databases, Mexico City, September 1982, pp. 197-207.

    Google Scholar 

  36. Wasserman, A.I., “The Data Management Facilities of PLAIN”, Proc. ACM SIGMOD Conference, Boston, May 1979.

    Google Scholar 

  37. Wirth, N., Programming in Modula-2, 3rd ed., Springer-Verlag, Berlin, Heidelberg, 1985.

    Google Scholar 

Download references

Author information

Author notes

  1. Lingyuan Ge (Visiting scientist)

    Present address: Department of Electrical Engineering, Changsha Railway Institute, Changsha, Hunan, China

Authors and Affiliations

  1. Johann Wolfgang Goethe-Universität, Frankfurt, Germany

    Joachim W. Schmidt & Lingyuan Ge (Visiting scientist)

  2. IBM Scientific Center Heidelberg, Germany

    Volker Linnemann

  3. Universität Passau, Germany

    Matthias Jarke

Authors
  1. Joachim W. Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lingyuan Ge
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Volker Linnemann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Matthias Jarke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Johann Wolfgang Goethe-Universität, Robert-Mayer-Straße 11-15, D-6000, Frankfurt a. M. 11, Rep. Fed. of Germany

    Joachim W. Schmidt

  2. Istituto di Elaborazione della Informazione, Consiglia Nazionale delle Ricerche (CNR), Robert-Mayer-Strape 11-15, I-56100, Pisa, Italy

    Constantino Thanos

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schmidt, J.W., Ge, L., Linnemann, V., Jarke, M. (1989). Integrated Fact and Rule Management Based on Relational Technology. In: Schmidt, J.W., Thanos, C. (eds) Foundations of Knowledge Base Management. Topics in Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83397-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-83397-7_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-83399-1

  • Online ISBN: 978-3-642-83397-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation