如果我有R角色并且我授予ALLOW访问资源S到R-1角色的权限。随着角色的填充，很明显，将DENY授予无权访问S的角色会更有效率，因为它会将存储在数据库中的记录数量减少X％。
是否存在智能库（任何语言），纸张，数据结构，甚至与这些类型的问题相关的词汇都会对我有所帮助？
谢谢！
答案 0 :(得分：0)
关于这个问题的两篇论文是this one，然后在几年之后由this one进行。如果您联系了professor heading the research（或the other professor on the papers），那么您可能会获得一些代码，但看起来他们并未发布任何软件。
除此之外，您可以使用集合对问题进行建模，但我不确定自动简化集合系统有多么困难 - 我不知道一个好的集合简化库并且没有＆ ＃39;能够通过几秒钟的谷歌搜索找到一个。您也可以使用一阶逻辑对问题进行建模，但随后您可能会进入不可判定的范围。