6413 search results - page 378 / 1283 » Classes of cycle bases |
176
click to vote
PODS
1999
ACM
15 years 11 months ago
1999
ACM
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...
167
Voted
FOCS
1990
IEEE
15 years 11 months ago
1990
IEEE
In [Sh92], Adi Shamir proved a complete characterization of the complexity class IP. He showed that when both randomization and interaction are allowed, the proofs that can be ver...
135
click to vote
OOPSLA
1990
Springer
15 years 11 months ago
1990
Springer
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in...
161
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
This work introduces a general mathematical framework for non-stationary fitness functions which enables the exact definition of certain problem properties. The properties' in...
193
click to vote
WAIM
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, a locking-based concurrency control scheme is presented for object-oriented databases (OODBs). It is designed for controlling accesses to class hierarchy, which is ...