1075 search results - page 37 / 215 » Toward a Verified Relational Database Management System |
218
click to vote
PODS
2009
ACM
16 years 4 months ago
2009
ACM
The paper investigates the question of whether a partially closed database has complete information to answer a query. In practice an enterprise often maintains master data Dm, a ...
145
click to vote
BTW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
138
Voted
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
Multi-channel information systems involve data redundancy, which, in turn, requires the implementation of synchronization mechanisms among overlapping databases. This need for peri...
117
click to vote
DEXAW
2009
IEEE
15 years 8 months ago
2009
IEEE
Various retrieval models have been developed and analyzed so far, but less research aims to an integration of the different models within a common framework. This paper introduces ...
205
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
straction for Information Management Michael Franklin University of California, Berkeley Alon Halevy Google Inc. and U. Washington David Maier Portland State University The develo...