3-14 Hartnäckiger ZustandcService, v2.0 September 2002 3 ?- Primärschlüssel - ein Primärschlüssel ist ein bemerkenswerter Schlüssel, wie in Verwandtschaftssystemen gerade. ?- Speicher-Haupterbschaft - die Richtlinien und die Semantik für den PSDL-Speicher Haupt Erbschaft wurde entworfen, um zu sein dieselbe, die Erbschaft der Tabelle SQL3 anordnet. 3,2,6,1 Storagetype Eine storagetypedefinition erfüllt die folgende Syntax: < storagetype > ::= < storagetype_dcl > | < storagetype_fwd_dcl > < storagetype_dcl > ::= < storagetype_header > "{" < storagetype_body > "}" < storagetype_fwd_dcl > ::= "storagetype" < Bezeichner > < storagetype_header > ::= "storagetype" < Bezeichner > [ < storagetype_inh_spec > ] [ < storagetype_impl_spec > ] [ < ref_rep_directive > ] < storagetype_body > ::= < storagetype_member > ^* < storagetype_member > ::= < psdl_state_attr_dcl > ";", | < store_directive > ";", | < local_op_decl >; Ein storagetype kann von einem anderen storagetype übernehmen. Die Syntax ist: < storagetype_inh_spec > ::= ": ", < storagetype_name > < storagetype_name > ::= < scoped_name > < storagetype_name > muß ein vorher definiertes storagetype bezeichnen. Ein storagetype kann jede mögliche Zahl der abstrakten storagetypes einführen: < storagetype_impl_spec > ::= "führt" ein < abstract_storagetype_name > { ", "< abstract_storagetype_name > } ^* < abstract_storagetype_name > muß einen vorher definierten Auszug bezeichnen storagetype. Das gleiche abstrakte storagetype kann nicht in a zweimal erscheinen < storagetype_impl_spec > . Jedoch kann ein abstraktes storagetype erscheinen mehr als einmal in ' führte Diagramm eines storagetype ein. Z.B.: abstrakt storagetype A {/*... */}; abstraktes storagetype B: A {/*... */}; storagetype AImpl führt A ein {/*... */}; storagetype BImpl: AImpl führt B ein {/*... */}; Das erste storagetype, das ein abstraktes storagetype in einem storagetype einführt Erbschaftbaum wird gesagt, um direkt einzuführen dieses abstrakte storagetype. Im Beispiel über, AImpl führt A ein direkt; jedoch BImpl führt nicht A ein direkt.