1075 search results - page 40 / 215 » Toward a Verified Relational Database Management System |
243
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
203
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
278
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We address the issue of measuring storage, or query load distribution fairness in peer-to-peer data management systems. Existing metrics may look promising from the point of view ...
161
click to vote
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
In this demo, we present Nile-PDT, a Phenomenon Detection and Tracking framework using the Nile data stream management system. A phenomenon is characterized by a group of streams ...
232
click to vote
AC
1992
Springer
15 years 10 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...