Advances in Petri nets 1986, part I on Petri nets: central models and their properties
The design and implementation of an extendible deductive database system
ACM SIGMOD Record
A denotational semantics for the Starburst production rule language
ACM SIGMOD Record
Modern database systems
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
NAOS - Efficient and Modular Reactive Capabilities in an Object-Oriented Database System
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Denotational Semantics for an Active Rule Execution Model
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
PEP - More than a Petri Net Tool
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract)
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
General Refinement for High Level Petri Nets
Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science
A Memory Module Specification Using Composable High-Level Petri Nets
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
Petri Nets for Information Systems Modelling
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
REFLEX Active Database Model: Application of Petri-Nets
DDEXA '93 Proceedings of the 4th International Conference on Database and Expert Systems Applications
The PARK Semantics for Active Rules
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
On the Unification of Active Databases and Deductive databases
BNCOD 11 Proceedings of the 11th British National Conference on Databases: Advances in Databases
Asynchronous Links in the PBC and M-Nets
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
| Hi-index | 0.00 |
A formal semantics for the trigger concept in active data base systems is proposed. Such data base systems have the capability to react to the occurrence of some events, allowing to execute automatically some treatments. These capabilities to react are given by adding to the data base system a set of production rules, called triggers. During the last decade, a lot of works have been devoted to the design and implementation of triggers in data base systems leading to the generic field of active data bases. While the idea of using Petri nets to give a semantics for triggers has already been pointed out, the existing works either only suggest such a use and does not show how to do it, or capture only a very small part of the execution model. Also, they lack the use for high-level Petri nets only able to provide a concise net semantics. In this paper we propose to extensively make use of a specific kind of high level Petri nets: the M-nets. Such nets, allowing for compositionality appear particularly well-suited to give a formal semantics for the general Event-Condition-Action (ECA) model of triggers.