1075 search results - page 41 / 215 » Toward a Verified Relational Database Management System |
141
click to vote
BPM
2003
Springer
15 years 9 months ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
132
click to vote
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
198
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
Computational experiments have become an integral part of the scientific method, but reproducing, archiving, and querying them is still a challenge. The first barrier to a wider...
123
click to vote
DBPL
2003
Springer
15 years 9 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
148
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
Rules have been proposed for providing active behaviour in DBMS. Previous attempts to add rules to Object Oriented DBs have often resulted in a dichotomy between rules and other k...