Sciweavers

1008 search results - page 35 / 202
» Logic and Databases
Sort
View
113
Voted
JCS
2008
94views more  JCS 2008»
15 years 2 months ago
Preprocessing for controlled query evaluation with availability policy
Controlled Query Evaluation (CQE) defines a logical framework to protect confidential information in a database. By modeling a user's a priori knowledge appropriately, a CQE ...
Joachim Biskup, Lena Wiese
125
Voted
PODS
1999
ACM
153views Database» more  PODS 1999»
15 years 6 months ago
Consistent Query Answers in Inconsistent Databases
In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints. Thi...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
126
Voted
CL
2000
Springer
15 years 6 months ago
Querying Inconsistent Databases: Algorithms and Implementation
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
Alexander Celle, Leopoldo E. Bertossi
VLDB
1998
ACM
199views Database» more  VLDB 1998»
15 years 6 months ago
The ADABAS Buffer Pool Manager
The buffer pool manager is a central component of ADABAS, a high performance scaleable database system for OLTP processing. High efficiency and scalability of the buffer pool mana...
Harald Schöning
ICDE
2007
IEEE
145views Database» more  ICDE 2007»
16 years 3 months ago
Fast Identification of Relational Constraint Violations
Logical constraints, (e.g., 'phone numbers in toronto can have prefixes 416, 647, 905 only'), are ubiquitous in relational databases. Traditional integrity constraints, ...
Amit Chandel, Nick Koudas, Ken Q. Pu, Divesh Sriva...