PODS
1989
ACM
14 years 3 months ago
1989
ACM
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...
MFDBS
1989
14 years 3 months ago
1989
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...
IWDM
1989
14 years 3 months ago
1989
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...
ICDT
1990
ACM
14 years 3 months ago
1990
ACM
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...
ICDE
1990
IEEE
14 years 3 months ago
1990
IEEE
ICDE
1990
IEEE
14 years 3 months ago
1990
IEEE
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...
ICDE
1990
IEEE
14 years 3 months ago
1990
IEEE
ICDE
1990
IEEE
14 years 3 months ago
1990
IEEE
ICDE
1990
IEEE
14 years 3 months ago
1990
IEEE
ICDE
1990
IEEE
14 years 3 months ago
1990
IEEE