2736 search results - page 403 / 548 » Implementable allocation rules |
201
click to vote
VLDB
2001
ACM
16 years 2 months ago
2001
ACM
The correctness of the data managed by database systems is vital to any application that utilizes data for business, research, and decision-making purposes. To guard databases agai...
145
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
We study the problem of answering queries through a target schema, given a set of mappings between one or more source schemas and this target schema, and given that the data is at...
137
Voted
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
122
Voted
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
124
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...