In this paper, the authors describe a custom relational algebra query software environment that enables database instructors to teach relational algebra programming. Instead of defining query ...
Abstract: We develop formal authorization allocation algorithms for role-based access control (RBAC). The formal approaches are based on relational structure, and relational algebra and operations.