Jack Campin, Norman Paton, M. Howard Williams  Home/Search
Context Related
| cs.man.ac.uk/~norm/papers/kese.ps cs.man.ac.uk/users/norm/paper...kese.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/~norm/active (more) From: img.cs.man.ac.uk/publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a framework for the formal specification of active database systems, and shows how the framework can be used to describe the functionality of three well known example systems, namely Starburst, POSTGRES and Ariel. The framework has been developed using Object-Z to structure specifications in a way that emphasises commonalities and key differences between the designs, and that is readily extensible to support new constructs and systems. Such a formal framework can be used to... (Update)
Context of citations to this paper: More
...proposals. To date, the framework has been used to define the semantics of the Starburst[22] POSTGRES[18] and Ariel [8] rule systems [4, 5]. Formalism: Object Z [17] an object oriented extension of Z. Limitations: As in the Starburst specification of section 3, details of...
...bound to the Starbust execution model, devoting little attention to the condition and action language. Another important work is [36] where a generic framework for formally specifying the semantics of different systems is proposed, relying on the Object Z formalism [37]...
Cited by: More
Trigger Inheritance and Overriding in an Active Object Database.. - Giovanna (1997) (Correct)
Formal Specification Of Active Database Functionality.. - Paton, Campin.. (1995) (Correct)
Similar documents (at the sentence level):
5.0%: A Structured Specification of an Active Database System - Campin, Paton, Williams (1995) (Correct)
Active bibliography (related documents): More All
0.8: Annotated Bibliography on Active Databases - Jaeger, Freytag (1996) (Correct)
0.8: An Annotated Bibliography on Active Databases - Jaeger, Freytag (1995) (Correct)
0.7: Supporting Production Rules Using ECA-Rules In An.. - Norman Paton (1995) (Correct)
Similar documents based on text: More All
0.1: Sigma-Delta Modulator Fault Diagnosis Using An Unsupervised.. - Campin (1992) (Correct)
0.1: The Starburst Active Database Rule System - Widom (1996) (Correct)
0.1: The Design and Implementation of the Ariel Active Database Rule.. - Hanson (1992) (Correct)
Related documents from co-citation: More All
2: A theory for rule triggering systems (context) - Zhou, Hsu - 1990
2: A logic-based integration of active and deductive databases (context) - Fernandes, Williams et al. - 1995
2: Set-Oriented Production Rules in Relational Database systems - Widom, Finkelstein
BibTeX entry: (Update)
J. Campin, N.W. Paton, and M.H. Williams. Specifying Active Database Systems in an Object-Oriented Framework. submitted for publication, 1995. http://citeseer.ist.psu.edu/campin95specifying.html More
@article{ campin97specifying,
author = "J. Campin and N. Paton and M. H. Williams",
title = "Specifying Active Database Systems in an Object-Oriented Framework",
journal = "International Journal of Software Engineering and Knowledge Engineering",
volume = "7",
number = "1",
publisher = "World Scientific Publishing Company",
pages = "101--123",
year = "1997",
url = "citeseer.ist.psu.edu/campin95specifying.html" }
Citations (may not include all citations):616 Notation: a reference manual (context) - Spivey - 1992
146 Deriving production rules for constraint maintenance - Ceri, Widom - 1990
136 ODE as an Active Database: Constraints and Triggers - Gehani, Jagadish - 1991
110 caching and views in database systems (context) - Stonebraker, Jhingran et al. - 1990
87 Rule management in object oriented databases: a uniform appr.. (context) - Diaz, Paton et al. - 1991
86 Rule Condition Testing and Action Execution in Ariel - Hanson - 1992
86 Implementing Set-Oriented Production Rules as an Extension t.. - Widom, Cochrane et al. - 1991
71 Database updates in the event calculus (context) - Kowalski - 1992
70 IEEE Transactions on Knowledge and Data Engineering (context) - Stonebraker, Rowe et al. - 1990
53 Object-Oriented Specification Case Studies (context) - Lano, Haughton - 1993
44 An algebraic approach to rule analysis in expert database sy.. - Baralis, Widom - 1994
43 Software Verification Research Centre (context) - Duke, King et al. - 1991
41 A unified semantics for active and deductive databases - Zaniolo - 1994
39 The Integration of Rule Systems and Database Systems (context) - Stonebraker - 1992
38 Rules are objects too: A knowledge model for an active objec.. (context) - Dayal, Buchmann et al. - 1988
37 Rules in an Open System: The REACH Rule System (context) - Branding, Buchmann et al. - 1994
30 A theory for rule triggering systems (context) - Zhou, Hsu - 1990
28 Dimensions of active behaviour - Paton, Diaz et al. - 1994
22 ORACLE: The Complete Reference (context) - Koch, Loney - 1995
21 Combining active rules and metaclasses for enhanced extensib.. (context) - Paton, Diaz et al. - 1993
20 Implementing Agent Coordination for Workflow Management Syst.. (context) - Bussler, Jablonski - 1994
18 A Logic-Based Integration of Active and Deductive Databases (context) - Fernandes, Williams et al. - 1996
16 Design of Sentinel: an object-oriented DBMS with event-based.. (context) - Chakravarthy, Anwar et al. - 1994
15 Formal specification of active database functionality: A sur.. - Paton, Campin et al. - 1995
7 Active Databases for Financial Applications (context) - Chandra, Segev - 1994
6 Integrating active and deductive rules (context) - Harrison, Dietrich - 1994
6 Extending a Functional DBPL With ECA-Rules - Reddi, Poulovassilis et al. - 1995
4 Towards a design theory for database triggers - Kersten, Siebes et al. - 1992
4 An Object-Oriented Data Model Supporting Multi-Methods (context) - Chan, Trinder - 1994
3 An Active Rule Language for ROCK & ROLL - Dinn, Paton et al. - 1996
2 A Denotational Senmantics for the Starburst Production Rule .. (context) - Widom - 1992
2 Deriving rules for constraint maintenance in an object-orien.. (context) - Diaz - 1992
2 Temporal Conditions with Retroactive and Proactive Updates - Deng, Sistla et al. - 1996
1 Denotational Semantics for and Active Rule Execution Model (context) - Coupaye, Collet - 1995
Documents on the same site (http://www.cs.man.ac.uk/~norm/active.html): More
Dimensions Of Active Behaviour - Paton, Díaz, Williams.. (1993) (Correct)
Stimuli and Business Policies as Modelling Constructs: Their.. - Díaz, Paton (Correct)
An Active Rule Language for ROCK & ROLL - Dinn, Patony, Williams, Fernandes (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC