Sciweavers

PODS
1989
ACM
129views Database» more  PODS 1989»
13 years 11 months ago
The Alternating Fixpoint of Logic Programs with Negation
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
Allen Van Gelder
MFDBS
1989
102views Database» more  MFDBS 1989»
13 years 11 months ago
Transitive Closure and the LOGA+-Strategy for its Efficient Evaluation
One of the key problems when extending relational database query languages to include deductive capabilities, is to provide them with efficient methods for answering recursive que...
W. Yan, Nelson Mendonça Mattos
IWDM
1989
126views Database» more  IWDM 1989»
13 years 11 months ago
Implementing PRISMA/DB in an OOPL
PRISMA/DB is implementedin a parallelobject-orientedlanguage to gain insight in the usage of parallelism. This environment allows us to experiment with parallelism by simply chang...
Annita N. Wilschut, Paul W. P. J. Grefen, Peter M....
ICDT
1990
ACM
110views Database» more  ICDT 1990»
13 years 11 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass
ICDE
1990
IEEE
57views Database» more  ICDE 1990»
13 years 11 months ago
Supporting Universal Quantification in a Two-Dimensional Database Query Language
Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, L...
ICDE
1990
IEEE
97views Database» more  ICDE 1990»
13 years 11 months ago
Distributed RAID - A New Multiple Copy Algorithm
All previous multicopy algorithms require additional space for redundant information equal to the size of the object being replicated. This paper proposes a new multicopy algorith...
Michael Stonebraker, Gerhard A. Schloss
ICDE
1990
IEEE
71views Database» more  ICDE 1990»
13 years 11 months ago
Performance Evaluation of Multiversion Database Systems
Sang Hyuk Son, Navid Haghighi
ICDE
1990
IEEE
91views Database» more  ICDE 1990»
13 years 11 months ago
Concurrency Control of Bulk Access Transactions on Shared Nothing Parallel Database Machines
Tadashi Ohmori, Masaru Kitsuregawa, Hidehiko Tanak...