. This paper reviews research on the formal specification of active behaviour, indicating both what has been done in this area, and how. The scope of different approaches is compared within a common framework, which reveals that although many aspects of active behaviour have been described formally, no single proposal covers all phenomena associated with active database systems. 1 Introduction Database research has often been characterised by a close association between theory and practice, with formal results being used to guide and underpin the development of novel database systems. The presence of a widely accepted formal description of a language or model can encourage a more focused development effort than generally emerges from empir...
This paper introduces a declarative conceptual modelling formalism and a database transaction handli...
The use of objects and rules in modern database systems is the main focus of the IDEA Esprit Project...
In this article we extend previous work on the development of logical foundations for the specificat...
. This paper reviews research on the formal specification of active behaviour, indicating both what ...
Integrating a production rules facility into a database system provides a uniform mechanism for a nu...
Active systems are emerging in many fields, being particularly interesting those like Active Databas...
Integrating a production rules facility into a database system provides a uniform mech-anism for a n...
Abstract Over the last fifteen years, database management systems (DBMSs) have been enhanced by the ...
This paper examines Active Databases and Agent Systems, comparing their purpose, structure, function...
This paper describes the active, object-oriented database system SAMOS being developed as a research...
This thesis describes the research work carried out in the area of active databases. Active database...
Over the past few years, active databases have become an important area of research. A number of eff...
This position paper considers several existing relational database rule languages with a focus on ex...
Active rules or triggers are widely accepted as powerful mechanisms to implement applications or sys...
ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute t...
This paper introduces a declarative conceptual modelling formalism and a database transaction handli...
The use of objects and rules in modern database systems is the main focus of the IDEA Esprit Project...
In this article we extend previous work on the development of logical foundations for the specificat...
. This paper reviews research on the formal specification of active behaviour, indicating both what ...
Integrating a production rules facility into a database system provides a uniform mechanism for a nu...
Active systems are emerging in many fields, being particularly interesting those like Active Databas...
Integrating a production rules facility into a database system provides a uniform mech-anism for a n...
Abstract Over the last fifteen years, database management systems (DBMSs) have been enhanced by the ...
This paper examines Active Databases and Agent Systems, comparing their purpose, structure, function...
This paper describes the active, object-oriented database system SAMOS being developed as a research...
This thesis describes the research work carried out in the area of active databases. Active database...
Over the past few years, active databases have become an important area of research. A number of eff...
This position paper considers several existing relational database rule languages with a focus on ex...
Active rules or triggers are widely accepted as powerful mechanisms to implement applications or sys...
ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute t...
This paper introduces a declarative conceptual modelling formalism and a database transaction handli...
The use of objects and rules in modern database systems is the main focus of the IDEA Esprit Project...
In this article we extend previous work on the development of logical foundations for the specificat...