POSC Specifications: Epicentre Version 3.0
Logical Data Model
ENTITY
CELL
SUBTYPE OF
(
association
);
symbol_library :
symbol_library
;
symbol_type :
ref_symbol_type
;
INVERSE
area_cell :
SET [0:?] OF
area_cell
FOR
cell;
cell_shape :
SET [0:?] OF
graphical_element
FOR
cell;
incell :
SET [0:?] OF
incell
FOR
cell;
terminal_cell :
SET [0:?] OF
terminal_cell
FOR
cell;
UNIQUE
si: symbol_library, symbol_type;
WHERE
val: EXISTS(cell_shape);
END_ENTITY
; (* cell *)
Generated on Tue Jul 10 19:37:37 2001
© Copyright 2001 POSC. All rights reserved.