28 lines
762 B
Plaintext
28 lines
762 B
Plaintext
INTEGRITY(QL) DABA16 INTEGRITY(QL)
|
|
|
|
NAME
|
|
integrity - Definieren von Integritaetsbedingungen
|
|
|
|
UEBERSICHT
|
|
define integrity on tuple_variable is qual
|
|
|
|
BESCHREIBUNG
|
|
Integrity fuegt eine Integritaetsbedingung fuer die durch
|
|
tuple_variable spezifizierte Relation den Integritaetsbedin-
|
|
gungen hinzu. Nachdem die Bedingung gespeichert wurde,
|
|
muessen alle Aenderungen auf die Relation die Qualifikation
|
|
qual erfuellen.
|
|
|
|
|
|
BEISPIEL[E]
|
|
/* Sichern eines positiven Gehaltes */
|
|
range of p is personal
|
|
define integrity on p is p.gehalt > 0
|
|
|
|
|
|
|
|
|
|
|
|
SIEHE AUCH
|
|
copy(ql), copyr(mutos), destroy(ql)
|