108 search results - page 3 / 22 » Hybrid Transitive Closure Algorithms |
DAC
1991
ACM
15 years 1 months ago
1991
ACM
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
63
Voted
VLDB
1989
ACM
15 years 1 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...
SARA
2009
Springer
15 years 4 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...
ESWS
2009
Springer
15 years 4 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...