1075 search results - page 65 / 215 » Toward a Verified Relational Database Management System |
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
The high cost of data consolidation is the key market inhibitor to the adoption of traditional information integration and data warehousing solutions. In this paper, we outline a n...
ICDE
2010
IEEE
14 years 9 months ago
2010
IEEE
With the total energy consumption of computing systems increasing in a steep rate, much attention has been paid to the design of energy-efficient computing systems and applications...
CIDR
2009
13 years 11 months ago
2009
Energy costs are quickly rising in large-scale data centers and are soon projected to overtake the cost of hardware. As a result, data center operators have recently started turni...
IIS
2003
13 years 11 months ago
2003
Current research on the VINLEN inductive database system is briefly reviewed and illustrated by selected results. The goal of research on VINLEN is to develop a methodology for de...
CIKM
2011
Springer
12 years 10 months ago
2011
Springer
There exist many interrelated information sources on the Internet that can be categorized into structured (database) and semistructured (documents). A key challenge is to integrat...