POSC Specifications: Epicentre Version 3.0
Logical Data Model
ENTITY
FACILITY_CLASS_CLASSIFICATION
(* Open *)
SUBTYPE OF
(
class_classification
);
be_classified_as_facility :
OPTIONAL
facility_class
;
be_classified_as_material :
OPTIONAL
material_class
;
have_as_a_member :
facility_class
;
UNIQUE
si: be_classified_as_facility, be_classified_as_material, have_as_a_member;
WHERE
mse: EXISTS(be_classified_as_facility) XOR EXISTS(be_classified_as_material);
val1: have_as_a_member :<>: be_classified_as_facility;
END_ENTITY
; (* facility_class_classification *)
Generated on Tue Jul 10 19:37:49 2001
© Copyright 2001 POSC. All rights reserved.