Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation
Abstract elided by the publisher.
Related papers
- A combined formal model for relational context-dependent roles SLE 2015
- Program locality analysis using reuse distance TOPLAS 2009
- Navigating AND-OR Graph Modifications to Debug Failing Proof Search PLDI 2026
- Systems biology, models, and concurrency POPL 2008
- Generalized Records and Spatial Conjunction in Role Logic SAS 2004
- A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts OOPSLA 1999
- Ztrategic: Libraries and Tools For Software Language Specification, Transformation, and Testing SLE 2026
- Roles for Composite Objects in Object-Oriented Analysis and Design OOPSLA 1993