A formal semantics for an active functional DBPL

Journal of Intelligent Information Systems

Volumn 7, Issue 2, 1996, Pages 151-172

  Poulovassilis, Alexandra ^a   Reddi, Swarup ^b   Small, Carol ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Deductive databases; ECA rules; Functional database languages; PFL

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS;

DEDUCTIVE DATABASES; EVENT CONDITION ACTION RULES; FUNCTIONAL DATABASES;

FORMAL LANGUAGES;

EID: 0030259971     PISSN: 09259902     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00127780     Document Type: Article

References (27)

1. Baralis, E., Ceri, S. and Paraboschi, S. (1995). "Improved Rule Analysis by Means of Triggering and Activation Graphs", in Proc. 2nd Int. Workshop on Rules in Database Systems, Athens, Greece, pp. 165-181.
2. Branding, H., Buchmann, A., Kudrass, T. and Zimmerman, J. (1993). Rules in an open system: the REACH rule system. In (Paton, et al. 1993a), pp. 111-126.
3. Buchmann, A., Özsu, M.T., Hornick, M., Georgakopoulos, D. and Manola, F.A. (1992). A transaction model for active distributed object systems. In A.K. Elmagarmid (Ed.), Database Transaction Models for Advanced Applications. Morgan Kaufman, San Mateo, CA.
4. Burstall, R. (1969). "Proving properties of programs by structural induction", The Computer Journal, 12, pp. 41-48.
5. Chakravarthy, S., Krishnaprasad, V., Anwar E. and Kim, S.-.K. (1994). "Composite Events for Active Databases: Semantics, Contexts and Detection", in Proc. 20th VLDB Conf., Santiago, Chile, pp. 606-617.
6. Clack, C. and Peyton-Jones, S.L. (1985). Strictness Analysis - A Practical Approach. In J.P. Jouannaud (Ed.), Functional Programming Languages and Computer Architecture, LNCS 201. Springer-Verlag, Heidelberg, Germany.
7. Dayal, U., Blaustein, B., Buchmann, A.P., Chakravarthy, S. Goldhirsch, D., Hsu, M., Ladin, R., McCarthy, D. and Rosenthal, A. (1988). "The HiPAC project: combining active databases and timing constraints", SIGMOD RECORD, Vol. 17-1, pp. 51-70.
8. Dittrich, K.R., Gatziu, S. and Geppert, A. (1995). "The Active Database Management System Manifesto: A Rulebase of ADBMS Features", in Proc. 2nd Int. Workshop on Rules in Database Systems, Athens, Greece, pp. 3-17.
9. Gatziu, S. and Dittrich, K.R. (1992). "SAMOS: an Active Object-Oriented Database System", IEEE Bulletin of the TC on Data Engineering: Special Issue on Active Databases, Vol. 15, pp. 1-4.
10. Gatziu, S. and Dittrich K.R. (1993). Events in an Active Object-Oriented Database System. In (Paton, et al. 1993a), pp. 23-39.
11. Gehani, N.H. and Jagadish, H.V. (1991). "Ode as an Active Database: Constraints and Triggers", in Proc. 17th VLDB Conf., Barcelona, Spain, pp. 327-336.
12. Gehani, N.H., Jagadish, H.V. and Schmueli, O. (1992). "Composite Event Specification in Active Databases: Model & Implementation", in Proc. 18th VLDB Conf., Vancouver, Canada, pp. 327-338.
13. Paton, N.W. and Williams, M.H. (Eds.) (1993a). Rules in Database Systems, Edinburgh 1993. Springer-Verlag, Heidelberg, Germany.
14. Paton, N.W., Diaz, O., Williams, M.H., Campin, J., Dinn, A. and Jaime, A. (1993). Dimensions of active behaviour. In (Paton, et al. 1993a), pp. 40-57.
15. Paton, N.W., Campin, J., Fernandes, A.A.A. and Williams, M.H. (1995). "Formal Specification of Active Database Functionality: A Survey", in Proc. 2nd Int. Workshop on Rules in Database Systems, Athens, Greece, pp. 21-35.
16. Paulson, L.C. (1987). Logic and computation: Interactive proof with Cambridge LCF, Cambridge University Press, Cambridge, U.K..
17. Peterson, J.L. (1977). Petri Nets, ACM Computing Surveys, Vol. 9-3, pp. 223-252.
18. Peyton-Jones, S.L. (1987). The implementation of functional programming languages, Prentice-Hall, New York, NY.
19. Poulovassilis, A. and Small, C. (1991). "A functional approach to deductive databases", in Proc. 17th VLDB Conf., Barcelona, Spain, pp. 491-500.
20. Poulovassilis, A. and Small, C. (1994). "Investigation of algebraic query optimisation in database programming languages", in Proc. 20th VLDB Conf., Santiago, Chile, pp. 415-426.
21. Poulovassilis, A. and Small, C. (1996). "Algebraic query optimisation in database programming languages", VLDB Journal, Vol. 5-2, pp. 119-132.
22. Reddi, S. (1993). "Integrity enforcement in the functional database language PFL", in Proc. 11th British National Conf. on Databases, Keele, U.K., pp. 238-257.
23. Reddi, S. Poulovassilis, A. and Small, C. (1995). "Extending a Functional DBPL with ECA-rules", in Proc. 2nd Int. Workshop on Rules in Database Systems, Athens, Greece, pp. 101-115.
24. Simon, E., Kiernan, J. and de Maindreville, C. (1992). "Implementing high level active rules on top of a relational DBMS", in Proc. 18th VLDB Conference, Vancouver, Canada, pp. 315-326.
25. Small, C. and Poulovassilis, A. (1991). "An overview of PFL", in Proc. DBPL-3, Nauplion, Greece, pp. 96-110.
26. Sutton, D. and Small, C. (1995). "Extending functional database languages to update completeness", in Proc. 13th British National Conf. on Databases, Manchester, U.K., pp. 47-63.
27. Widom, J., Cochrane, R.J. and Lindsay, B.G. (1991). "Implementing set-oriented production rules as an extension to Starburst", in Proc. 17th VLDB Conf., Barcelona, Spain, pp. 275-285.