Skip to main content
SpringerLink
Log in

A logic-based integration of active and deductive databases

  • Regular Papers
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

A logic-based approach to the specification of active database functionality is presented which not only endows active databases with a well-defined and well-understood formal semantics, but also tightly integrates them with deductive databases. The problem of endowing deductive databases with rule-based active behaviour has been addressed in different ways. Typical approaches include accounting for active behaviour by extending the operational semantics of deductive databases, or, conversely, accounting for deductive capabilities by constraining the operational semantics of active databases. The main contribution of the paper is an alternative approach in which a class of active databases is defined whose operational semantics is naturally integrated with the operational semantics of deductive databases without either of them strictly subsuming the other. The approach is demonstrated via the formalization of the syntax and semantics of an active-rule language that can be smoothly incorporated into existing deductive databases, due to the fact that the standard formalization of deductive databases is reused, rather than altered or extended. One distinctive feature of the paper is its use of ahistory, as defined in the Kowalski-Sergot event-calculus, to define event occurrences, database states and actions on these. This has proved to be a suitable foundation for a comprehensive logical account of the concept set underpinning active databases. The paper thus contributes a logical perspective to the ongoing task of developing a formal theory of active databases.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abiteboul, S., Hull, R., and Vianu, V.,Foundations of Databases, Addison-Wesley Publishing Company, Reading, MA, USA, 1995.

    MATH  Google Scholar 

  2. Agrawal, R. and Gehani, N. H., “ODE (Object Database and Environment): The Language and the Data Model,” inProceedings of the 1989 ACM SIGMOD International Conference on the Management Data, Portland OR USA, June 1989. Also available asAT & T Technical Report, att-db-tr-89-2.

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

    Article  Google Scholar 

  4. Barja, M. L., Paton, N. W., Fernandes, A. A. A., Williams, M. H., and Dinn, A., “An Effective Deductive Object-Oriented Database Through Language Integration,” inProceedings of the Twentieth International Conference on Very Large Data Bases (J. Bocca, M. Jarke, and C. Zaniolo, eds.), Santiago, Chile, Morgan Kaufmann Publishers, Inc., pp. 463–474, September 1994.

    Google Scholar 

  5. Bayer, P., “State-of-the-Art Report on Reactive Processing in Databases and Artificial Intelligence,”The Knowledge Engineering Review, 8, 2, pp. 145–171, 1993.

    Google Scholar 

  6. Bayer, P. and Jonker, W., “A Framework for Supporting Triggers in Deductive Databases,” inRules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp 316–329. 1994.

  7. Branding, H., Buchmann, A., Kudrass, T., and Zimmermann, J., “Rules in an Open System: The REACH Rule System,” inRules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 111–126, 1994.

  8. Campin, J., Paton, N. W., and Williams, M. H.,Specifying Active Database Systems in an Object-Oriented Framework, 1994. Submitted for publication.

  9. Campin, J., Paton, N. W., and Williams, M. H., “A Structured Specification of an Active Database System,”Information and Software Technology, 37, 1, pp. 47–61, 1995.

    Article  Google Scholar 

  10. Ceri, S., Fraternali, P., Paraboschi, S., and Tanca, L.,Active Rule Management in Chimera, manuscript, 1994.

  11. Ceri, S., Crespi-Reghizzi, S., Zicari, R., Lamperti, G., and Lavazza, L. A., “Algres: An Advanced Database System for Complex Applications,”IEEE Software, 7, 4, pp. 68–78, July 1990.

    Article  Google Scholar 

  12. Ceri, S., Gottlob, G., and Tanca, L.,Logic Programming and Databases, Springer-Verlag, Berlin, Germany, 1990.

    Google Scholar 

  13. Ceri, S., Tanaka, K., and Tsur, S., eds., “Deductive and Object-Oriented Databases” Thira International Conference DOOD’93, Phoenix, Arizona, USA,LNCS, 760, Springer-Verlag, Berlin, Germany, 1993.

    Google Scholar 

  14. Chakravarthy, S., Krishnaprasad, V., Anwar, E., and Kim, S.-K., “Composite Events for Active Databases: Semantics, Contexts and Detection,” inProceedings of the Twentieth International Conference on Very Large Data Bases (J. Bocca, M. Jarke, and C. Zaniolo, eds.), Santiago, Chile, September 1994, Morgan Kaufmann Publishers, Inc., pp. 606–617, 1994.

  15. Chakravarthy, S., “A Comparative Evaluation of Active Relational Databases,”Technical Report, UF-CIS-TR-93-002, Department of Computer and Information Science, University of Florida, Gainesville, FL, USA, January 1993.

    Google Scholar 

  16. Chakravarthy, S. and Mishra, D., “Snoop: An Expressive Event Specification Language for Active Databases,”Technical Report, UF-CIS-TR-93-007, Department of Computer and Information Science, University of Florida, Gainesville, FL, USA, March 1993. Revised and Extended Version of UF-CIS-TR-91-23, September 1991.

    Google Scholar 

  17. Clifford, J., Lindsay, B., and Maier, D., eds.,Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, Portland, OR, USA,SIGMOD Record, 18, 2, ACM Press, June 1989.

  18. Das, S. K.,Deductive Databases and Logic Programming, Addison-Wesley Publ. Co., Wokingham, England, UK., 1992.

    MATH  Google Scholar 

  19. Dayal, U., Blaustein, B., Buchmann, A., Chakravarthy, U., Hsu, M., Ledin, R., McCarthy, D., Rosenthal, A., Sarin, S., Carey, M. J., Livny, M., and Jauhari, R., “The HiPAC Project: Combining Active Databases and Timing Constraints,”ACM SIGMOD Record, 17, 1, pp. 51–70, March 1988.

    Article  Google Scholar 

  20. Deliyanni, A. and Kowalski, R. A., “Logic and Semantic Networks,”Communications of the ACM, 22, 3, pp. 184–192, March 1979.

    Article  MATH  Google Scholar 

  21. Derr, M. A., Morishita, S., and Phipps, G., “The Glue-Nail Deductive Database System: Design, Implementation and Evaluation,”The VLDB Journal, 3, pp. 123–160, 1994.

    Article  Google Scholar 

  22. Díaz, O., Paton, N. W., and Gray, P. M. D., “Rule Management in Object-Oriented Databases: A Uniform Approach,” inProceedings of the Seventeenth International Conference on Very Large Databases (G. M. Lohman, A. Sernadas, and R. Camps, eds.), Barcelona, Spain, June 1991, Morgan Kaufmann Publishers, pp. 317–326, 1991.

  23. Dinn, A., Paton, N. W., Williams, M. H., and Fernandes, A. A. A., “An Active Rule Language for ROCK & ROLL,” inAdvances in Databases: 14th British National Conference on Databases, BNCOD 14 (R. Morrison, and J. Kennedy, eds.), Edinburgh, UK, July 1996, Springer-Verlag, LNCS 1094, 1996.

  24. Duke, R., King, P., Rose, G., and Smith, G., “The Object-Z Specification Language,”Technical Report, TR91-1, Software Verification Research Centre, Department of Computer Science, The University of Queensland, Queensland 4072, Australia, May 1991. (Version 1).

    Google Scholar 

  25. Fernandes, A. A. A., “An Axiomatic Approach to Deductive Object-Oriented Databases,”Ph.D. thesis, Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, Scotland, UK, September 1995.

    Google Scholar 

  26. Fernandes, A. A. A., Williams, M. H., and Paton, N. W.,Deductive Object-Oriented Databases as Horn Logic-Programs, 1994. Submitted for publication.

  27. Forgy, C. L., “Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem,”Artificial Intelligence, 19, pp. 17–37, 1982.

    Article  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  29. Gatziu, S. and Dittrich, K. R., “Events in an Active Object-Oriented Database System,” inRules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 23–39, 1994.

  30. Gatziu, S., Geppert, A., and Dittrich, K. R., “Integrating Active Concepts into an Object-Oriented Database Systems,” inProceedings of the Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data, Nafplion, Greece, pp. 399–415, August 1991.

  31. Gehani, N. H., Jagadish, H. V., and Shmueli, O., “Event Specification in an Active Object-Oriented Database,” inProceedings of the 1992 ACM SIGMOD International Conference on the Management Data, San Diego, CA, USA, 1992,SIGMOD Record, 21, 2, ACM Press, pp. 81–90, 1992. Also available asAT&T Technical Report, att-db-tr-92-6.

  32. Hanson, E. N., “An Initial Report on the Design of Ariel: A DBMS with an Integrated Production Rule System,”ACM SIGMOD Record, 18, 3, pp. 12–19, September 1989.

    Article  Google Scholar 

  33. Hanson, E. N. and Widom, J., “An Overview of Production Rules in Database Systems,”The Knowledge Engineering Review, 8, 2, pp. 121–143, 1993.

    Google Scholar 

  34. Harrison, J. V. and Dietrich, S. W., “Integrating Active and Deductive Rules,” inRules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 289–305, 1994.

  35. Jarke, M., Eherer, S., Gallersdoerfer, R., Jeusfeld, M. A., and Staudt, M., “Concept Base—A Deductive Object Base Manager,”Technical Report, 93-14, Aachener Informatik-Berichte/RWTH Aachen, Aachen, Germany, October 1993.

    Google Scholar 

  36. Kowalski, R., “Database Updates in the Event Calculus,”The Journal of Logic Programming, 1992, 1–2, pp. 121–146, 1992.

    Article  Google Scholar 

  37. Kowalski, R. and Sergot, M., “A Logic-Based Calculus of Events,”New Generation Computing, 4, pp. 67–95, 1986.

    Article  Google Scholar 

  38. Lohman, G. M., Lindsay, B., Pirahesh, H., and Schiefer, K. B., “Extensions to Starburst: Objects, Types, Functions and Rules,”Communications of the ACM, 34, 10, pp. 94–109, October 1991.

    Article  Google Scholar 

  39. Miranker, D. P., “TREAT: A Better Match Algorithm for AI Production Systems,” inProceedings of AAAI, pp. 42–47, 1987.

  40. Naqvi, S. A. and Tsur, S.,A Logical Language for Data and Knowledge Bases, Computer Science Press, Rockville, MD, USA, 1989.

    Google Scholar 

  41. Paton, N. W., Díaz, O., Williams, M. H., Campin, J., Dinn, A., and Jaime, A., “Dimensions of Active Behaviour,” inRules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 40–57, 1994.

  42. Paton, N. W. and Williams, M. H., eds.Rules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, Springer-Verlag, 1994.

  43. Ramakrishnan, R., Srivastava, D., Sudarshan, S., and Seshadri, P., “The CORAL Daductive System,”The VLDB Journal, 3, pp. 161–210, 1994.

    Article  Google Scholar 

  44. Ramakrishnan, R. and Ullman, J. D., “A Survey of Research on Deductive Database Systems,”Technical Report, Department of Computer Science, Stanford University, November 1993.

  45. Reiter, R., “Towards a Logical Reconstruction of Relational Database Theory,” inOn Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming languages (M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, eds.), Topics in Information System Series, Springer-Verlag, New York, NY, USA, pp. 191–233, 1984.

    Google Scholar 

  46. Sripada, S. M., “A Logical Framework for Temporal Deductive Databases,” inProceedings of the Fourteenth International Conference on Very Large Data Bases, Los Angeles, CA, USA, 1988, Morgan Kaufmann Publishers, pp. 171–182, 1988.

  47. Stonebraker, M., ed.,Proceedings of the 1992 ACM SIGMOD International Conference on the Management of Data, San Diego, CA, USA, June 1992,SIGMOD Record, 21, 2, ACM Press, 1992.

  48. Stonebraker M. and Kemnitz, G., “The POSTGRES Next-generation Database Management System,”Communications of the ACM, 34, 10, pp. 78–92, October 1991.

    Article  Google Scholar 

  49. Vaghani J., Ramamohanarao, K., Kemp, D. B., Somogyi, Z., Stuckey, P. J., Leask, T. S., and Harland, J., “The ADITI Deductive Database System,”The VLDB Journal, 3, pp. 245–288, 1994.

    Article  Google Scholar 

  50. van der Voort, M. H. and Kersten, M. L., “Facets of Database Triggers,”Technical Report, CWI-CS-R9122, CWI, Amsterdam, Netherlands, April 1991. Revised, April 1993.

    Google Scholar 

  51. Widom, J., “Deductive and Active Databases: Two paradigms or Ends of a Spectrum?” inRules in Database Systems: Proceedings of the 1st International Workshops, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 306–315, 1994.

  52. Zaniolo, C., “A Unified Semantics for Active and Deductive Databases,” inRules in Database Systems: Proceedings of the 1st International Workshops, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 271–287, 1994.

  53. Zaniolo, C., Arni, N., and Ong, K., “Negation and Aggregates in Recursive Rules: The LDL++Approach,” Third International Conference DOOD’93, Phoenix, Arizona, USA,LNCS, 760, Springer-Verlag, Berlin, Germany, pp. 204–221, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematical and Computing Sciences, Goldsmiths College, University of London, New Cross, SE14 6NW, London, UK

    Alvaro A. A. Fernandes

  2. Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, EH14 4AS, Edinburgh, UK

    M. Howard Williams

  3. Department of Computer Science, University of Manchester, Oxford Road, M13 9PL, Manchester, UK

    Norman W. Paton

Authors
  1. Alvaro A. A. Fernandes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Howard Williams
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Norman W. Paton
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Alvaro Adolfo Antunes Fernandes, Ph.D.: He received a B.Sc. in Economics (Rio de Janeiro, 1984), an M.Sc. in Knowledge-Based Systems (Edinburgh, 1990) and a Ph.D. in Computer Science (Heriot-Watt, 1995). He worked as a Research Associate at Heriot-Watt University from December 1990 until December 1995. In January 1996 he joined the Department of Mathematical and Computing Sciences at Goldsmiths College, University of London, as a Lecturer. His current research interests include advanced data- and knowledge-base technology, logic programming, and software engineering.

M. Howard Williams, Ph.D., D.Sc.: He obtained his Ph.D. in ionospheric physics and recently a D.Sc. in Computer Science. He was appointed as the first lecturer in Computer Science at Rhodes University in 1970. During the following decade he rose to Professor of Computer Science and in 1980 was appointed as Professor of Computer Science at Heriot-Watt University. From 1980 to 1988 he served as Head of Department and then as director of research until 1992. He is now head of the Database Research Group at Heriot-Watt University. His current research interests include active databases, deductive objectoriented databases, spatial databases, parallel databases and telemedicine.

Norman W. Paton, Ph.D.: He received a B.Sc. in Computing Science from the University of Aberdeen in 1986. From 1986 to 1989 he worked as a Research Assistant at the University of Aberdeen, receiving a Ph. D. in 1989. From 1989 to 1995 he was a Lecturer in Computer Science at Heriot-Watt University. Since July 1995, he has been a Senior Lecturer in Department of Computer Science at the University of Manchester. His current research interests include active databases, deductive object-oriented databases, spatial databases and database interfaces.

About this article

Cite this article

Fernandes, A.A.A., Williams, M.H. & Paton, N.W. A logic-based integration of active and deductive databases. NGCO 15, 205–244 (1997). https://doi.org/10.1007/BF03037238

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037238

Keywords

Search

Navigation