165
Voted
JCSS
2000
15 years 3 months ago
2000
The paper investigates the use of topological annotations (called topological invariants) to answer topological queries in spatial databases. The focus is on the translation of to...
95
Voted
JCSS
2000
15 years 3 months ago
2000
92
Voted
JCSS
2000
15 years 3 months ago
2000
90
Voted
JCSS
2000
15 years 3 months ago
2000
152
Voted
JCSS
2000
15 years 3 months ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
109
click to vote
JCSS
2000
15 years 3 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
99
Voted
JCSS
2000
15 years 3 months ago
2000
101
Voted
JCSS
2000
15 years 3 months ago
2000
We investigate a class of path constraints that is of interest in connection with both semistructured and structured data. In standard database systems, constraints are typically ...