"Schedule classes containment": An arrow from class A to class B indicates that class A strictly contains B; a lack of a directed path between classes means that the classes are incomparable. A property is "inherently-blocking", if it can be enforced only by blocking transaction’s data access operations until certain events occur in other transactions