|
Last change
on this file was
4f79997,
checked in by Mei <mei@…>, 11 years ago
|
|
1) add a new scaling test -haystack/ralphs
2) tweak some libabac code here and there
|
-
Property mode set to
100644
|
|
File size:
904 bytes
|
| Line | |
|---|
| 1 | # |
|---|
| 2 | # This demonstrates scalability of libabac. |
|---|
| 3 | # A basic chaining attribute rule, Ai+1.likes <- Ai.likes |
|---|
| 4 | # and the borderline case of Ao.likes <- Ao are created in |
|---|
| 5 | # ATTR.py. X of these attribute rules are made, where the |
|---|
| 6 | # matching ID principals are made in SETUP.py. |
|---|
| 7 | # A query of Ax.likes <-?- Ao will let us know how fast |
|---|
| 8 | # do the prolog db runs down the X attribute rules to arrive |
|---|
| 9 | # at the solution and also Ao.likes <-?- Ax tells us |
|---|
| 10 | # how long it takes to not validate the assumption |
|---|
| 11 | |
|---|
| 12 | # borderline Credential |
|---|
| 13 | # [keyid:John0].role:likes <- [keyid:John0] |
|---|
| 14 | # |
|---|
| 15 | # [keyid:John1].role:likes <- [keyid:John0].likes |
|---|
| 16 | # John1 likes everything John0 likes |
|---|
| 17 | # |
|---|
| 18 | # [keyid:John2].role:likes <- [keyid:John1].likes |
|---|
| 19 | # |
|---|
| 20 | # and so on |
|---|
| 21 | |
|---|
| 22 | # good query, Does JohnN likes John0 ? |
|---|
| 23 | # [keyid:JohnN].role:likes <-?- [keyid:John0] |
|---|
| 24 | # |
|---|
| 25 | # bad query, Does John0 likes JohnN? |
|---|
| 26 | # [keyid:John0].role:likes <-?- [keyid:JohnN] |
|---|
Note: See
TracBrowser
for help on using the repository browser.
