154 search results - page 2 / 31 » Verifying Completeness of Relational Query Results in Data P... |
ICDE
2003
IEEE
14 years 7 months ago
2003
IEEE
In order to publish a nested XML document from flat relational data, multiple SQL queries are often needed. The efficiency of publishing relies on how fast these queries can be ev...
ALT
2007
Springer
14 years 2 months ago
2007
Springer
We consider the problem of learning and verifying hidden graphs and their properties given query access to the graphs. We analyze various queries (edge detection, edge counting, sh...
DEBU
2010
13 years 5 months ago
2010
Databases supporting time dependent and continuously changing geometries, called moving objects databases, have been studied for about 15 years. The field has been flourishing and...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
VLDB
2002
ACM
13 years 5 months ago
2002
ACM
An increasing number of applications use XML data published from relational databases. For speed and convenience, such applications routinely cache this XML data locally and acces...