A formal semantics for an active functional DBPL |
| |
| Authors: | Alexandra Poulovassilis Swarup Reddi Carol Small |
| |
| Affiliation: | (1) Dept. of Computer Science, King's College London, Strand, WC2R 2LS London, UK;(2) Dept. of Computer Science, Birkbeck College, Malet St., WC1E 7HX London, UK |
| |
| Abstract: | We describe how the functional database programming language PFL is extended with an active component without compromising either its declarative semantics or its syntax. We give a formal specification of the active component using PFL itself, including event specification and detection, parameter-binding, reaction scheduling and abort handling. We describe how a user-specified function can be cast as a primitive event, and discuss the expressiveness of events and the optimisation of event detection. |
| |
| Keywords: | ECA-rules deductive databases functional database languages PFL |
| 本文献已被 SpringerLink 等数据库收录！ |
|
