1075 search results - page 40 / 215 » Toward a Verified Relational Database Management System |
212
click to vote
SIGMOD
2005
ACM
16 years 4 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 ...
154
click to vote
AMKM
2003
Springer
15 years 9 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 ...
243
click to vote
ICDE
2007
IEEE
16 years 5 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 ...
127
Voted
VLDB
2005
ACM
15 years 9 months 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 ...
180
click to vote
AC
1992
Springer
15 years 8 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...