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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bayer, P., and Jonker, W. A framework for supporting triggers in deductive databases, Proc. 1st Int. Workshop on Rules in Database Systems, Edinburgh, 1993.
Hanson, E.N. Rule condition testing and action execution in Ariel, Proc. ACM SIGMOD Conference, San Diego, 1992.
Harrison, J.V. and Dietrich, S.W. Integrating active and deductive rules, Proc. 1st Int. Workshop on Rules in Database Systems, Edinburgh, 1993.
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.
Peyton-Jones, S.L. The implementation of functional programming languages, Prentice-Hall, 1987.
Poulovassilis, A. and Small, C. A functional approach to deductive databases, Proc. 17th VLDB Conference, Barcelona, 1991. Santiago, 1994.
Reddi, S. Integrity constraint enforcement in the functional database language PFL, Proc. 11th British National Conference on Databases, Keele, July 1993.
Reddi, S. Poulovassilis, A. and Small, C. Extending PFL with EGA-rules, Technical Report, Dept, of Computer Science, Birkbeck College. July 1995.
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.
Small, C. and Poulovassilis, A. An overview of PFL, Proc. DBPL-S, Nauplion, 1991.
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.
Widom, J. Research issues in active database systems, ACM SIGMOD Record, 23(3), 1994.
Zaniolo, C. A unified semantics for active and deductive databases, Proc. 1st Int. Workshop on Rules in Database Systems, Edinburgh, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reddi, S., Poulovassilis, A., Small, C. (1995). Extending a functional DBPL with ECA-rules. 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_122
Download citation
DOI: https://doi.org/10.1007/3-540-60365-4_122
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