Advertisement

Extending a functional DBPL with ECA-rules

  • Swarup Reddi
  • Alex Poulovassilis
  • Carol Small
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 985)

Abstract

We describe how a functional database programming language can be extended with transactions and EGA-rules. Fundamental requirements of such an extension are that the declarative semantics of the language not be compromised, that the syntax of the language not be disrupted unduly, and that impedance mismatch problems be avoided. We define what we mean by events, conditions and actions and describe the semantics of EGA-rules with reference to event detection, parameter-binding, transaction scheduling and abort handling. We define the execution semantics for the EGA System in the language itself. These semantics form the basis of our implementation of the EGA System.

Keywords

EGA-rules deductive databases functional database languages PFL 

References

  1. [Bay93]
    Bayer, P., and Jonker, W. A framework for supporting triggers in deductive databases, Proc. 1st Int. Workshop on Rules in Database Systems, Edinburgh, 1993.Google Scholar
  2. [Han92]
    Hanson, E.N. Rule condition testing and action execution in Ariel, Proc. ACM SIGMOD Conference, San Diego, 1992.Google Scholar
  3. [Har93]
    Harrison, J.V. and Dietrich, S.W. Integrating active and deductive rules, Proc. 1st Int. Workshop on Rules in Database Systems, Edinburgh, 1993.Google Scholar
  4. [Pat93]
    Paton, N.W. Díaz, O. Williams, M.H. Campin, J. Dinn, A. and Jaime, A. Dimensions of active behaviour, Proc. 1st Int. Workshop on Rules in Database Systems, Edinburgh, 1993.Google Scholar
  5. [Pey87]
    Peyton-Jones, S.L. The implementation of functional programming languages, Prentice-Hall, 1987.Google Scholar
  6. [Pou91]
    Poulovassilis, A. and Small, C. A functional approach to deductive databases, Proc. 17th VLDB Conference, Barcelona, 1991. Santiago, 1994.Google Scholar
  7. [Red93]
    Reddi, S. Integrity constraint enforcement in the functional database language PFL, Proc. 11th British National Conference on Databases, Keele, July 1993.Google Scholar
  8. [Red95]
    Reddi, S. Poulovassilis, A. and Small, C. Extending PFL with EGA-rules, Technical Report, Dept, of Computer Science, Birkbeck College. July 1995.Google Scholar
  9. [Sim92]
    Simon, E., Kiernan, J. and de Maindreville, C. Implementing high level active rules on top of a relational DBMS, Proc. 18th VLDB Conference, Vancouver, 1992.Google Scholar
  10. [Sma91]
    Small, C. and Poulovassilis, A. An overview of PFL, Proc. DBPL-S, Nauplion, 1991.Google Scholar
  11. [Sut95]
    Sutton, D. and Small, C. Extending functional database languages to update completeness. To appear in Proc. 13th British National Conference on Databases, Manchester, July 1995.Google Scholar
  12. [Wid94]
    Widom, J. Research issues in active database systems, ACM SIGMOD Record, 23(3), 1994.Google Scholar
  13. [Zan93]
    Zaniolo, C. A unified semantics for active and deductive databases, Proc. 1st Int. Workshop on Rules in Database Systems, Edinburgh, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Swarup Reddi
    • 1
  • Alex Poulovassilis
    • 2
  • Carol Small
    • 1
  1. 1.Dept. of Computer Science, Birkbeck CollegeUniversity of LondonMalet St. London
  2. 2.Dept. of Computer ScienceKing's College LondonStrand, London

Personalised recommendations