Skip to main content
SpringerLink
Log in

From OO through deduction to active databases — ROCK, ROLL & RAP

  • Invited Papers
  • Conference paper
  • First Online:
SOFSEM'97: Theory and Practice of Informatics (SOFSEM 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1338))

  • 130 Accesses

Abstract

One important thread within advanced database systems research is the notion of rule-based database systems. The power of definite rules coupled with relational technology has led to the emergence of deductive databases. However, while this type of database system provides more advanced functionality, it suffers from other limitations of relational database systems such as the lack of data structures. The realisation that the objecto-riented approach is complementary to the deductive one and that the two can be combined to produce deductive object-oriented databases with all the benefits of both represents an important breakthrough for rule-based database systems.

An alternative to the deductive rule approach is the active rule approach. Active rules are more powerful than deductive rules but lack the advantages of the sound theoretical foundation of the latter. The two ideas can be combined to produce an active DOOD provided that the integration is treated with care.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S.Salvini and M.H.Williams, Central Knowledge Management for Expert Systems, Math. Comput. Modelling, 16, pp. 137–144, 1992.

    Google Scholar 

  2. F.Manola and M.L.Brodie, On knowledge based systems architectures, in On Knowledge Base Management Systems, Ed. M.L.Brodie and J.Mylopoulos, Addison-Wesley, pp. 87–92, 1986.

    Google Scholar 

  3. J.C.F.M.Neves and M.H.Williams, Towards a co-operative data base management system, Proc Logic Programming Workshop `83, Ed. L.M.Pereira, Universidade Nova de Lisboa, Lisbon, pp. 341–370, 1983.

    Google Scholar 

  4. M.H.Williams, I.M.Pattison and J.C.F.M.Neves, Reorganisation in a simple database system, Software Practice and Experience, 16, pp. 719–729, 1986.

    Google Scholar 

  5. J.Bocca, EDUCE a marriage of convenience: Prolog and a relational DBMS, Proc 3rd Symp Logic Programming, Salt Lake City, Utah, USA, 1983.

    Google Scholar 

  6. M.H.Williams, G.Chen, D.Ferbrache, P.Massey, S.Salvini, H.Taylor and K.F.Wong, Prolog and deductive databases, Knowledge Based Systems, 1, pp. 188–192, 1988.

    Google Scholar 

  7. S.Abiteboul and S.Grumbach, COL: A Language for Complex Objects Based on Recursive Rules, Proc Workshop on Database Programming Languages, pp. 253–276, 1987.

    Google Scholar 

  8. S.Abiteboul, Towards a Deductive Object-Oriented Database Language, Data & Knowledge Engineering, 5, pp.263–287, 1990.

    Google Scholar 

  9. M.Jarke, R.Gallersdorfer, M.Jeusfeld and M.Staudt, ConceptBase-a deductive object base for meta data management, Journal of Intelligent Information Systems, 3, pp. 167–192, 1994.

    Google Scholar 

  10. M.Liu, Rol: A deductive object base language, Information Systems, 21, pp. 431–457, 1996.

    Google Scholar 

  11. P.M.D.Gray, K.G.Kulkarni and N.W.Paton, Object-Oriented Databases: A Semantic Data Model Approach, Prentice-Hall, 1992.

    Google Scholar 

  12. G.Gardarin and P.Valduriez, Esg12-extending sg12 to support object-oriented and deductive databases, EDS Project Technical Report, INRIA, 1992.

    Google Scholar 

  13. D.Maier, A Logic for Objects, Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, OR, 1986.

    Google Scholar 

  14. W.Chen and D.S.Warren, C-logic of Complex Objects, Proc 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Press, pp. 369–378, 1989

    Google Scholar 

  15. M.Kifer and G.Lausen, F-logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Schema, in Proc ACM SIGMOD Conf, Eds. J.Clifford, B.Lindsay and D.Maier, pp. 134–146, 1989.

    Google Scholar 

  16. J.Frohn, R.Himmeroder, P.Kandzia and C.Schlepphorst, How to Write F-Logic Programs in FLORID: a Tutorial for the Database Language F-Logic, Institut fur Informatik, Freiburg University, Germany, 1996.

    Google Scholar 

  17. M.L.Barja, N.W.Paton, A.A.A.Fernandes, M.H.Williams and A.Dinn, An Effective Deductive Object-Oriented Database Through Language Integration, in Proc 20th VLDB Conf, Eds. J.Bocca, M.Jarke and C.Zaniolo, Morgan-Kaufmann, pp. 463–474, 1994.

    Google Scholar 

  18. M.L.Barja, A.A.A.Fernandes, N.W.Paton, M.H.Williams, A.Dinn and A.I.Abdelmoty, Design and Implementation of ROCK & ROLL: A Deductive Object-Oriented Database System, Information Systems, 20, pp. 185–211, 1995.

    Google Scholar 

  19. S. Ceri and R. Manthey, Chimera: a model and language for active dood systems, Proc of the East/West Database Workshop, pp. 3–16, 1994.

    Google Scholar 

  20. D. Srivastava, R.Ramakrishnan, P. Seshadri and S. Sudarshan, Coral++: Adding object-orientation to a logic database language, Proc 19th VLDB Conf, 1993.

    Google Scholar 

  21. O.Friesen, A.Lefebvre and L.Vieille, VALIDITY: Applications of a DOOD System, Proc EDBT, Springer-Verlag, pp. 131–134, 1996.

    Google Scholar 

  22. A.A.A.Fernandes, An Axiomatic Approach to Deductive Object-Oriented Databases, PhD thesis, Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, Scotland, 1995.

    Google Scholar 

  23. A.A.A.Fernandes, M.H.Williams, N.W.Paton and A.Bowles, Approaches to Deductive Object-Oriented Databases, Information and Software Technology, 34, pp. 787–803, 1992.

    Google Scholar 

  24. P.R.F.Sampaio and N.W.Paton, Deductive Object-Oriented Database Systems: A Survey, Proc Third Int Workshop on Rules in Database Systems, 1997.

    Google Scholar 

  25. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier and S.B. Zdonik, The Object-Oriented Database System Manifesto, Proc First Int Conf DOOD, Elsevier Science Press, pp.223–240, 1990.

    Google Scholar 

  26. N.W.Paton, O.Diaz, M.H.Williams, J.Campin, A.Dinn and A.Jaime, Dimensions of Active Behaviour, Proc First Int Workshop on Rules in Database Systems, Eds. N.W.Paton and M.H.Williams, Springer-Verlag, pp. 40–57, 1994.

    Google Scholar 

  27. J. Widom, Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?, Proc First Int Workshop on Rules in Database Systems, Eds. N. W.Paton and M.H.Williams, Springer-Verlag, pp. 306–315, 1994.

    Google Scholar 

  28. C.Zaniolo, A Unified Semantics for Active and Deductive Databases, Proc First Int Workshop on Rules in Database Systems, Eds. N.W.Paton and M.H.Williams, Springer-Verlag, pp.271–287, 1994.

    Google Scholar 

  29. A.A.A.Fernandes, M.H.Williams and N.W.Paton, A Logic-Based Integration of Active and Deductive Databases, New Generation Computing, 15, pp. 205–244, 1997.

    Google Scholar 

  30. A.Dinn, N.W.Paton, M.H.Williams and A.A.A.Fernandes, An Active Rule Language for ROCK & ROLL, Proc 14th BNCOD, Eds. R.Morrison and J.Kennedy, Springer-Verlag, LNCS 1094, pp. 36–55, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computing and Elec. Eng., Heriot-Watt University, Edinburgh

    M. H. Williams

  2. Dept. of Computer Science, Manchester University, Manchester

    N. W. Paton

Authors
  1. M. H. Williams
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. W. Paton
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

František Plášil Keith G. Jeffery

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Williams, M.H., Paton, N.W. (1997). From OO through deduction to active databases — ROCK, ROLL & RAP. In: Plášil, F., Jeffery, K.G. (eds) SOFSEM'97: Theory and Practice of Informatics. SOFSEM 1997. Lecture Notes in Computer Science, vol 1338. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63774-5_113

Download citation

  • DOI: https://doi.org/10.1007/3-540-63774-5_113

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63774-5

  • Online ISBN: 978-3-540-69645-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation