1075 search results - page 41 / 215 » Toward a Verified Relational Database Management System |
163
click to vote
BPM
2003
Springer
15 years 11 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...
155
click to vote
VLDB
1994
ACM
15 years 10 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...
237
click to vote
SIGMOD
2012
ACM
13 years 8 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...
140
click to vote
DBPL
2003
Springer
15 years 11 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...
173
click to vote
VLDB
1991
ACM
15 years 9 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...