2297 search results - page 3 / 460 » An Algorithm for Computing the Integral Closure |
DAC
2004
ACM
14 years 7 months ago
2004
ACM
FSTTCS
2004
Springer
13 years 11 months ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
CCS
2007
ACM
14 years 13 days ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
DAC
1991
ACM
13 years 9 months ago
1991
ACM
COCOA
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. This paper proposes a method to compute the transitive closure of a union of affine relations on integer tuples. Within Presburger arithmetics, complete algorithms to com...