-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathTautologies.rcl
18 lines (18 loc) · 970 Bytes
/
Tautologies.rcl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
juniors*(roles(OE(U))) = roles*(OE(U))
juniors*(roles(OE(S))) = roles*(OE(S))
seniors*(roles(OE(P))) = roles*(OE(P))
permissions(juniors*(OE(R))) = permissions*(OE(R))
users(seniors*(OE(R))) = users*(OE(R))
permissions(OE(U)) = permissions(roles(OE(U)))
permissions(OE(S)) = permissions(roles(OE(S)))
permissions*(OE(U)) = permissions(roles*(OE(U)))
permissions*(OE(S)) = permissions(roles*(OE(S)))
permissions*(OE(U)) = permissions*(roles(OE(U)))
permissions*(OE(S)) = permissions*(roles(OE(S)))
operations(OE(U), OE(OBJ)) = operations(roles(OE(U)), OE(OBJ))
operations*(OE(U), OE(OBJ)) = operations(roles*(OE(U)), OE(OBJ))
operations*(OE(U), OE(OBJ)) = operations*(roles(OE(U)), OE(OBJ))
operations(OE(R), OE(OBJ)) = operations(permissions(OE(R)), OE(OBJ))
operations*(OE(R), OE(OBJ)) = operations(permissions*(OE(R)), OE(OBJ))
operations(OE(U), OE(OBJ)) = operations(permissions(OE(U)), OE(OBJ))
operations*(OE(U), OE(OBJ)) = operations(permissions*(OE(U)), OE(OBJ))