1075 search results - page 2 / 215 » Toward a Verified Relational Database Management System |
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
WER
1998
Springer
13 years 9 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
ECRTS
2004
IEEE
13 years 8 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
VLDB
2000
ACM
13 years 8 months ago
2000
ACM
Database technology is one of the cornerstones for the new millennium's IT landscape. However, database systems as a unit of code packaging and deployment are at a crossroad:...
SIGMOD
2005
ACM
13 years 10 months ago
2005
ACM
As XML has evolved from a document markup language to a widely-used format for exchange of structured and semistructured data, managing large amounts of XML data has become increa...