108 search results - page 3 / 22 » Hybrid Transitive Closure Algorithms |
154
Voted
DAC
1991
ACM
15 years 11 months ago
1991
ACM
129
Voted
VLDB
1987
ACM
15 years 11 months ago
1987
ACM
159
Voted
VLDB
1989
ACM
15 years 11 months ago
1989
ACM
We present a framework for the estimation of the size of binary recursively defined relations. We show how the framework can be used to provide estimating algo rithms for the size...
200
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
193
Voted
ESWS
2009
Springer
16 years 2 months ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...