Integritätsbedingung - Versionsgeschichte

Kowa am 3. August 2019 um 12:44 Uhr

2019-08-03T12:44:26Z

← Nächstältere Version		Version vom 3. August 2019, 12:44 Uhr
Zeile 59:		Zeile 59:

	<noinclude>[[Kategorie:Objektorientierte Programmierung]]		<noinclude>[[Kategorie:Objektorientierte Programmierung]]
	[[Kategorie:Glossar]][[Kategorie:~~Programmierung~~]]		[[Kategorie:Glossar]][[Kategorie:Datenmanagement]]
	[[en:Integrity constraint]]		[[en:Integrity constraint]]
	[[Kategorie:Kapitel:Multimedia-Programmierung]]		[[Kategorie:Kapitel:Multimedia-Programmierung]]
	</noinclude>		</noinclude>

Kowa am 27. April 2016 um 10:16 Uhr

2016-04-27T10:16:48Z

← Nächstältere Version		Version vom 27. April 2016, 10:16 Uhr
Zeile 6:		Zeile 6:
	\|conformance = 5		\|conformance = 5
	}}		}}
	=Definition=		==Definition==
	[[Integritätsbedingung]]en ('''Zusicherungen''', '''Assertions''') sind Bedingungen, die die Inhalte von [[Variable]]n, [[Objekt]]e oder [[Entität]]en zu bestimmten Zeitpunkten oder dauerhaft erfüllen müssen. Derartigen Bedingungen können durch [[Term\|boolesche Terme]] formal dargestellt werden.		[[Integritätsbedingung]]en ('''Zusicherungen''', '''Assertions''') sind Bedingungen, die die Inhalte von [[Variable]]n, [[Objekt]]e oder [[Entität]]en zu bestimmten Zeitpunkten oder dauerhaft erfüllen müssen. Derartigen Bedingungen können durch [[Term\|boolesche Terme]] formal dargestellt werden.

Zeile 14:		Zeile 14:
	* '''Nachbedingungen''': Diese Bedingungen müssen erfüllt sein, nachdem eine bestimmte [[Methode]]/[[Funktion]] aufgerufen wurde.		* '''Nachbedingungen''': Diese Bedingungen müssen erfüllt sein, nachdem eine bestimmte [[Methode]]/[[Funktion]] aufgerufen wurde.

	=Bemerkung=		==Bemerkung==

	Integritätsbedingungen können vom System selbstständig überwacht oder mit Hilfe vom		Integritätsbedingungen können vom System selbstständig überwacht oder mit Hilfe vom
Zeile 25:		Zeile 25:
	unkritischer, als Fehler, die erst zur Laufzeit auftreten.		unkritischer, als Fehler, die erst zur Laufzeit auftreten.

	=Beispiele=		==Beispiele==

	Für ein Dreiecksobjekt mit den drei Seiten <code>a</code>, <code>b</code> und <code>c</code> gelten folgende Invarianten:		Für ein Dreiecksobjekt mit den drei Seiten <code>a</code>, <code>b</code> und <code>c</code> gelten folgende Invarianten:
Zeile 41:		Zeile 41:
	* <code>newvalue(a)=foldvalue(a)</code>, <code>newvalue(b)=foldvalue(b)</code>, <code>newvalue(c)=f*oldvalue(c)</code>		* <code>newvalue(a)=foldvalue(a)</code>, <code>newvalue(b)=foldvalue(b)</code>, <code>newvalue(c)=f*oldvalue(c)</code>

	==Datentypen und Signaturen==		===Datentypen und Signaturen===
	[[Datentyp]]en und [[Signatur]]en von [[Methode]]n, [[Prozedure]]n, [[Funktion]]en sind spezielle Integritätsbedingungen.		[[Datentyp]]en und [[Signatur]]en von [[Methode]]n, [[Prozedure]]n, [[Funktion]]en sind spezielle Integritätsbedingungen.

Zeile 49:		Zeile 49:
	Siehe auch: [[Klasse (OOP)#Klassenschema\|Klasse: Klassenschema]].		Siehe auch: [[Klasse (OOP)#Klassenschema\|Klasse: Klassenschema]].

	==SQL==		===SQL===
	Gerade in SQL gibt es viele Integritätsbedingungen, die zur Laufzeit automatisch vom System überprüft werden:		Gerade in SQL gibt es viele Integritätsbedingungen, die zur Laufzeit automatisch vom System überprüft werden:
	Man kann Not-Null-Bedingungn, [[Primärschlüssel]], [[Unique-Constraint]]s, [[Fremdschlüssel]] und [[Check-Constraint]]s formulieren. Das zugehörige		Man kann Not-Null-Bedingungn, [[Primärschlüssel]], [[Unique-Constraint]]s, [[Fremdschlüssel]] und [[Check-Constraint]]s formulieren. Das zugehörige
	System garantiert, dass diese Bedingungen dauerhaft erfüllt sind (Invarianten), indem es dafür sorgt, dass eine Transaktion nicht erfolgreich abgeschlossen wird, wenn irgendwelche derartige Integritätsverletzungen vorliegen. Weitere Integritätsbedingungen (insbesonder Vor- und Nachbedinungen) können mit Hilfe von Triggern formalisiert und überprüft werden.		System garantiert, dass diese Bedingungen dauerhaft erfüllt sind (Invarianten), indem es dafür sorgt, dass eine Transaktion nicht erfolgreich abgeschlossen wird, wenn irgendwelche derartige Integritätsverletzungen vorliegen. Weitere Integritätsbedingungen (insbesonder Vor- und Nachbedinungen) können mit Hilfe von Triggern formalisiert und überprüft werden.

	=Quellen=		==Quellen==

	#{{Quelle\|Kowarschick, W.: Multimedia-Programmierung}}		#{{Quelle\|Kowarschick, W.: Multimedia-Programmierung}}

Kowa am 22. August 2012 um 15:30 Uhr

2012-08-22T15:30:57Z

← Nächstältere Version		Version vom 22. August 2012, 15:30 Uhr
Zeile 2:		Zeile 2:
	\|correctness = 5		\|correctness = 5
	\|extent = 5		\|extent = 5
	\|numberOfReferences = 2		\|numberOfReferences = 1
	\|qualityOfReferences = 3		\|qualityOfReferences = 2
	\|conformance = 5		\|conformance = 5
	}}		}}

Kowa am 12. September 2011 um 08:00 Uhr

2011-09-12T08:00:49Z

← Nächstältere Version		Version vom 12. September 2011, 08:00 Uhr
Zeile 56:		Zeile 56:
	=Quellen=		=Quellen=

	#[[Quelle::Kowarschick, W.: Multimedia-Programmierung]]		#{{Quelle\|Kowarschick, W.: Multimedia-Programmierung}}


	<noinclude>[[Kategorie:Objektorientierte Programmierung]]		<noinclude>[[Kategorie:Objektorientierte Programmierung]]

Kowa am 5. September 2011 um 11:50 Uhr

2011-09-05T11:50:23Z

← Nächstältere Version		Version vom 5. September 2011, 11:50 Uhr
Zeile 6:		Zeile 6:
	\|conformance = 5		\|conformance = 5
	}}		}}
	~~{{Weitere Quellenangaben fehlen}}~~
	=Definition=		=Definition=
	[[Integritätsbedingung]]en ('''Zusicherungen''', '''Assertions''') sind Bedingungen, die die Inhalte von [[Variable]]n, [[Objekt]]e oder [[Entität]]en zu bestimmten Zeitpunkten oder dauerhaft erfüllen müssen. Derartigen Bedingungen können durch [[Term\|boolesche Terme]] formal dargestellt werden.		[[Integritätsbedingung]]en ('''Zusicherungen''', '''Assertions''') sind Bedingungen, die die Inhalte von [[Variable]]n, [[Objekt]]e oder [[Entität]]en zu bestimmten Zeitpunkten oder dauerhaft erfüllen müssen. Derartigen Bedingungen können durch [[Term\|boolesche Terme]] formal dargestellt werden.

Kowa am 5. September 2011 um 11:47 Uhr

2011-09-05T11:47:30Z

← Nächstältere Version		Version vom 5. September 2011, 11:47 Uhr
Zeile 6:		Zeile 6:
	\|conformance = 5		\|conformance = 5
	}}		}}
			{{Weitere Quellenangaben fehlen}}
	=Definition=		=Definition=
	[[Integritätsbedingung]]en ('''Zusicherungen''', '''Assertions''') sind Bedingungen, die die Inhalte von [[Variable]]n, [[Objekt]]e oder [[Entität]]en zu bestimmten Zeitpunkten oder dauerhaft erfüllen müssen. Derartigen Bedingungen können durch [[Term\|boolesche Terme]] formal dargestellt werden.		[[Integritätsbedingung]]en ('''Zusicherungen''', '''Assertions''') sind Bedingungen, die die Inhalte von [[Variable]]n, [[Objekt]]e oder [[Entität]]en zu bestimmten Zeitpunkten oder dauerhaft erfüllen müssen. Derartigen Bedingungen können durch [[Term\|boolesche Terme]] formal dargestellt werden.

Kowa: /* Quellen */

2011-09-05T11:47:18Z

Quellen

← Nächstältere Version		Version vom 5. September 2011, 11:47 Uhr
Zeile 63:		Zeile 63:
	[[en:Integrity constraint]]		[[en:Integrity constraint]]
	[[Kategorie:Kapitel:Multimedia-Programmierung]]		[[Kategorie:Kapitel:Multimedia-Programmierung]]
	~~{{Weitere Quellenangaben fehlen}}~~</noinclude>		</noinclude>

Kowa: /* Quellen */

2011-09-05T11:47:00Z

Quellen

← Nächstältere Version		Version vom 5. September 2011, 11:47 Uhr
Zeile 56:		Zeile 56:
	=Quellen=		=Quellen=

	#[[Quelle::[[Kowarschick, W.: Multimedia-Programmierung]]		#[[Quelle::Kowarschick, W.: Multimedia-Programmierung]]

Kowa: /* Quellen */

2011-09-05T11:46:48Z

Quellen

← Nächstältere Version		Version vom 5. September 2011, 11:46 Uhr
Zeile 56:		Zeile 56:
	=Quellen=		=Quellen=

	*[[Kowarschick, W.: Multimedia-Programmierung]]		#[[Quelle::[[Kowarschick, W.: Multimedia-Programmierung]]


Zeile 63:		Zeile 63:
	[[en:Integrity constraint]]		[[en:Integrity constraint]]
	[[Kategorie:Kapitel:Multimedia-Programmierung]]		[[Kategorie:Kapitel:Multimedia-Programmierung]]
	~~{{{{SITENAME}}-konformer Artikel}}~~{{Weitere Quellenangaben fehlen}}</noinclude>		{{Weitere Quellenangaben fehlen}}</noinclude>

Kowa am 4. September 2011 um 12:09 Uhr

2011-09-04T12:09:48Z

← Nächstältere Version		Version vom 4. September 2011, 12:09 Uhr
Zeile 1:		Zeile 1:
	{{~~{{SITENAME}}-Qualitätsanforderungen werden erfüllt~~}}		{{Qualität
			\|correctness = 5
			\|extent = 5
			\|numberOfReferences = 2
			\|qualityOfReferences = 3
			\|conformance = 5
			}}
	=Definition=		=Definition=
	[[Integritätsbedingung]]en ('''Zusicherungen''', '''Assertions''') sind Bedingungen, die die Inhalte von [[Variable]]n, [[Objekt]]e oder [[Entität]]en zu bestimmten Zeitpunkten oder dauerhaft erfüllen müssen. Derartigen Bedingungen können durch [[Term\|boolesche Terme]] formal dargestellt werden.		[[Integritätsbedingung]]en ('''Zusicherungen''', '''Assertions''') sind Bedingungen, die die Inhalte von [[Variable]]n, [[Objekt]]e oder [[Entität]]en zu bestimmten Zeitpunkten oder dauerhaft erfüllen müssen. Derartigen Bedingungen können durch [[Term\|boolesche Terme]] formal dargestellt werden.