| EPSRC Reference: |
GR/L26872/02 |
| Title: |
FORMALISATION AND OPTIMISATION OF ACTIVE DATABASES |
| Principal Investigator: |
Poulovassilis, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science and Information Systems |
| Organisation: |
Birkbeck College |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1999 |
Ends: |
04 November 2000 |
Value (£): |
69,980
|
| EPSRC Research Topic Classifications: |
| Information & Knowledge Mgmt |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Active databases extend traditional databases by supporting event-condition-action (ECA) rules which allows the DBMS to respond automatically to occurrences of events by executing actions if specified conditions are satisfied. Active databases provide a unifying approach to many advanced database features, including constraint enforcement, incremental view materialisation, triggers and production rules and have application in areas such as factory and office automation, network management, decision support and electronic trading. However, two major challenges facing implementers and users of active database technology are that (a) it can be difficult to predict how a set of ECA rules will behave, with detrimental effects on the reliability of active databases applications and (b) it is difficult to provide general-purpose optimisation of ECA rules. The aim of this proposal is to address these two issues by building on our recent work in the areas of formalisation of active databases and query optimisation in order to establish formal foundations for proving properties of ECA rule-sets and to develop an ECA rule optimiser for PFL.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.bbk.ac.uk/ |