Skip to main content
SpringerLink
Log in

Formal specification of active database functionality: A survey

  • Conference paper
  • First Online:
Rules in Database Systems (RIDS 1995)

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

Included in the following conference series:

Abstract

This paper reviews research on the formal specification of active behaviour, indicating both what has been done in this area, and how. The scope of different approaches is compared within a common framework, which reveals that although many aspects of active behaviour have been described formally, no single proposal covers all phenomena associated with active database systems.

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. A. Aiken, J. Widom, and J.M. Hellerstein. Behaviour of database production rules: Termination, confluence, and observable determinism. In ACM SIGMOD, volume 21, pages 59–68, 1992.

    Google Scholar 

  2. E. Baralis and J. Widom. Using delta relations to optimize condition evaluation in active databases. Technical Report Stan-CS-93-1495, Department of Computer Science, Stanford University, 1993.

    Google Scholar 

  3. E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In J. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. 20th VLDB, pages 475–486. Morgan-Kaufmann, 1994.

    Google Scholar 

  4. J. Campin, N.W. Paton, and M.H. Williams. A Structured Specification of an Active Database System. Information and Software Technology, 37(1):47–61, 1995.

    Google Scholar 

  5. J. Campin, N.W. Paton, and M.H. Williams. Specifying Active Database Systems in an Object-Oriented Framework. submitted for publication, 1995.

    Google Scholar 

  6. Alvaro A.A. Fernandes, M. Howard Williams, and Norman W. Paton. A Logic-Based Integration of Active and Deductive Databases, 1994. Submitted for publication.

    Google Scholar 

  7. S. Gatziu and K.R. Dittrich. Events in an active object-oriented database. In N.W. Paton and M.H. Williams, editors, Rules in Database Systems, pages 23–39. Springer-Verlag, 1994.

    Google Scholar 

  8. E.N. Hanson. Rule Condition Testing and Action Execution in Ariel. In Proc. SIGMOD, pages 49–58. ACM, 1992.

    Google Scholar 

  9. J.V. Harrison and S.W. Dietrich. Integrating active and deductive rules. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 288–305. Springer-Verlag, 1994.

    Google Scholar 

  10. R. Hull and D. Jacobs. Language constructs for programming active databases. In R. Camps G.M. Lohman, A. Sernadas, editor, Intl. Conf on Very Large Data Bases, volume 17, pages 455–467. Morgan Kaugmann, 1991.

    Google Scholar 

  11. D. Jacobs and R. Hull. Database Programming With Delayed Updates. In P. Kanellakis and J. Schmidt, editors, Third International Workshop on Database Programming Languages. Morgan-Kaufmann, 1991.

    Google Scholar 

  12. A.P. Karadimce and S.D. Urban. Conditional Term Rewriting as a Basis for Analysis of Active Database Rules. In J. Widom and S. Chakravarthy, editors, Proc. IEEE RIDE-ADS Workshop on Active Database Systems, pages 156–162. IEEE Press, 1994.

    Google Scholar 

  13. R. Kowalski. Database updates in the event calculus. Journal of Logic Programming, 12:121–146, 1992.

    Google Scholar 

  14. A.Y. Levy and Y. Sagiv. Queries independent of updates. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. 19th VLDB, pages 171–181. Morgan-Kaufmann, 1993.

    Google Scholar 

  15. N.W. Paton, O. Diaz, M.H. Williams, J. Campin, A. Dinn, and A. Jaime. Dimensions of active behaviour. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 40–57. Springer-Verlag, 1994.

    Google Scholar 

  16. L. Raschid. A semantics for a class of stratified production system programs. J. Logic Programming, 21(1):31–57, 1994.

    Google Scholar 

  17. G.A. Rose. Object-Z. In S. Stepney, R. Barden, and David Cooper, editors, Object-Orientation in Z, pages 59–77. Springer-Verlag, 1992.

    Google Scholar 

  18. M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedures, caching and views in database systems. In Proc. ACM SIGMOD, pages 281–290, 1990.

    Google Scholar 

  19. M. Teisseire, P. Poncelet, and R. Cichetti. Towards event-driven modelling for database design. In J. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. 20th Int. Conf on VLDB, pages 1–12. Morgan-Kaufmann, 1994.

    Google Scholar 

  20. L. van der Voort and A. Siebes. Enforcing confluence of rule execution. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 194–207. Springer-Verlag, 1994.

    Google Scholar 

  21. J. Widom. A Denotational Senmantics for the Starburst Production Rule Language. ACM SIGMOD Record, 21(3):4–9, 1992.

    Google Scholar 

  22. J. Widom and S.J. Finkelstein. Set-Oriented Production Rules in Relational Database Systems. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 259–270, 1990.

    Google Scholar 

  23. C. Zaniolo. A unified semantics for active and deductive databases. In N.W. Paton and M.H. Williams, editors, Rules in Database Systems. Springer-Verlag, 1994.

    Google Scholar 

  24. Y. Zhou and M. Hsu. A theory for rule triggering systems. In F. Bancilhon and et al., editors, Proc. Extending Database Technology (EDBT), pages 407–421. Springer-Verlag, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Manchester, Oxford Road, Manchester

    Norman W. Paton

  2. Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh

    Jack Campin, Alvaro A. A. Fernandes & M. Howard Williams

Authors
  1. Norman W. Paton
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jack Campin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alvaro A. A. Fernandes
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. Howard Williams
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Timos Sellis

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Paton, N.W., Campin, J., Fernandes, A.A.A., Williams, M.H. (1995). Formal specification of active database functionality: A survey. In: Sellis, T. (eds) Rules in Database Systems. RIDS 1995. Lecture Notes in Computer Science, vol 985. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60365-4_117

Download citation

  • DOI: https://doi.org/10.1007/3-540-60365-4_117

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60365-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation