The specific semantics of CAD objects are analysed concerning their nature their dynamicity and their consistency during the design process. The nature of CAD objects is concerned with their structure and relationships. The dynamicity is concerned with the evolving nature of the objects, i.e. their behavior. The consistency is concerned with their completeness and relationships with integrity constraints.
A new methodology for semantic constraints management and control is defined. It relies extensively on database and expert system technologies for the implementation of new concepts, e.g. logical prototypes of objects and object equivalence class.
It provides a sound and unified basis for modelling the dynamic nature of complex objects, concerning both the management of their structure and the certification of the update operations, i.e. the control of their correctness.
The functionalities of CADB, a prototype expert database system that supports these features, are detailed. CADB is currently implemented in Prolog on VAX™ 11/785 and APOLLO™ workstations.