This document discusses new features in Oracle SQL Developer Data Modeler version 3.3/4.0, including enhanced search functionality, improved handling of logical and relational models including surrogate keys and subtyping, and support for identity columns in Oracle Database. Key new features include global and model-level searching, setting common properties on search results, custom reports on search results, improved mapping of relationships and attributes to relational models, and configuration options for implementing entity hierarchies and generating dependent constraints.
First step to separate to valid constraints based on discriminator value – 3 here
It’s in form:
col!=value OR (b AND c AND d)
2) Use distribution – a OR (b AND c) == (a OR b) AND (a OR c)
Here “a” is “col!=value”
3) Split the expression over AND on separate simple constraints