Schlüssel/Wert-Paar - Versionsgeschichte

Kowa: /* Formale Definition (Kowarschick) */

2019-08-13T15:32:47Z

Formale Definition (Kowarschick)

← Nächstältere Version		Version vom 13. August 2019, 15:32 Uhr
Zeile 175:		Zeile 175:
	Andererseits benötigt man zur Definition von allgemeinen Tupeln den zuvor definierten		Andererseits benötigt man zur Definition von allgemeinen Tupeln den zuvor definierten
	Attributbegriff. Es liegt hier jedoch kein Circulus vitiosus (Zirkelschluss) vor,		Attributbegriff. Es liegt hier jedoch kein Circulus vitiosus (Zirkelschluss) vor,
	da man Attribute auch allein mit Hilfe von [[geordnetes Paar\|geordneten Paaren]] <math>[a,b]</math> definieren kann:		da man Attribute gemäß [[John MaCarthy]]<ref>{{Quelle\|McCarthy (1960)}}</ref> auch allein mit Hilfe von [[geordnetes Paar\|geordneten Paaren]] <math>[a,b]</math> definieren kann:
	<div class="formula"><math>\begin{array}[t]{lcl}		<div class="formula"><math>\begin{array}[t]{lcl}
	(a^1, \ldots, a^m, D) & := & [a^1, [a^2, \ldots [a^m, D]\ldots]] \\		(a^1, \ldots, a^m, D) & := & [a^1, [a^2, \ldots [a^m, [D, \emptyset]]\ldots]] \\
	(a^1, \ldots, a^m, v) & := & [a^1, [a^2, \ldots [a^m, v]\ldots]]		(a^1, \ldots, a^m, v) & := & [a^1, [a^2, \ldots [a^m, [v, \emptyset]]\ldots]]
	\end{array}</math></div>		\end{array}</math></div>

Kowa: /* Formale Definition (Kowarschick) */

2019-08-11T14:33:49Z

Formale Definition (Kowarschick)

← Nächstältere Version		Version vom 11. August 2019, 14:33 Uhr
Zeile 166:		Zeile 166:
	<math>v \in D</math> ein Element von <math>D</math>.		<math>v \in D</math> ein Element von <math>D</math>.

	Dann heißt das [[Tupel\|~~<math>~~m+1~~</math>~~-Tupel]] <math>(a^1, \ldots, a^m, D)</math> '''Attributdefinition'''		Dann heißt das [[Tupel\|m+1-Tupel]] <math>(a^1, \ldots, a^m, D)</math> '''Attributdefinition'''
	mit '''Attributnamen''' <math>a^1, \ldots, a^m</math> und {{Domäne}} <math>D</math>. Das Tupel		mit '''Attributnamen''' <math>a^1, \ldots, a^m</math> und {{Domäne}} <math>D</math>. Das Tupel
	<math>(a^1, \ldots, a^m, v)</math> heißt '''Attribut (zur Domäne <math>D</math>)''' mit		<math>(a^1, \ldots, a^m, v)</math> heißt '''Attribut (zur Domäne <math>D</math>)''' mit

Kowa: /* Schreibweisen */

2019-08-10T11:35:28Z

Schreibweisen

← Nächstältere Version		Version vom 10. August 2019, 11:35 Uhr
Zeile 150:		Zeile 150:

	Der Schlüssel kann auch nur ''implizit'' vorhanden, wie beispielsweise die Position eines Attributs		Der Schlüssel kann auch nur ''implizit'' vorhanden, wie beispielsweise die Position eines Attributs
	in einem [[Tupel#Tupel_in_Listennotation_.28in_Anlehnung_an_McCarthy_et_al..5B4.5D.29\|Tupel ~~inListennotation~~]].		in einem [[Tupel#Tupel_in_Listennotation_.28in_Anlehnung_an_McCarthy_et_al..5B4.5D.29\|Tupel in Listennotation]].

	Und es ist auch möglich, dass die Zuordung eines Wertes zu einem Schlüssel ''indirekt'' erfolgt. Zum Beispiel wird einem [[Funktionsparameter]] (Schlüssel)		Und es ist auch möglich, dass die Zuordung eines Wertes zu einem Schlüssel ''indirekt'' erfolgt. Zum Beispiel wird einem [[Funktionsparameter]] (Schlüssel)

Kowa: /* Beispiele (Pseudocode) */

2019-08-10T11:34:42Z

Beispiele (Pseudocode)

← Nächstältere Version		Version vom 10. August 2019, 11:34 Uhr
Zeile 200:		Zeile 200:
	* '''benanntes Positionsattribut''': <math>a/i: v</math> (Formel) bzw. <code>a/i: v</code> (Pseudocode)		* '''benanntes Positionsattribut''': <math>a/i: v</math> (Formel) bzw. <code>a/i: v</code> (Pseudocode)

	~~===~~Beispiele (Pseudocode)~~===~~		'''Beispiele (Pseudocode)'''
	{\| class = "wikitable" style = "table-layout: fixed; max-width: 48em; border: 0;"		{\| class = "wikitable" style = "table-layout: fixed; max-width: 48em; border: 0;"
	\|-		\|-

Kowa: /* Spezialfälle */

2019-08-10T11:33:55Z

Spezialfälle

← Nächstältere Version		Version vom 10. August 2019, 11:33 Uhr
Zeile 195:		Zeile 195:
	* <math>(a, i, v)</math> '''benanntes Positionsattribut'''		* <math>(a, i, v)</math> '''benanntes Positionsattribut'''

	Folgende alternative Schreibweisen ~~können~~ verwendet ~~werden~~:		Folgende alternative Schreibweisen werden in diesem Wiki ebenfalls verwendet:
	* '''Positionsattribut''': <math>i: v</math> ([[Formel]]) bzw. <code>i: v</code> ([[Pseudocode]])		* '''Positionsattribut''': <math>i: v</math> ([[Formel]]) bzw. <code>i: v</code> ([[Pseudocode]])
	* '''benanntes Attribut''': <math>a: v</math> (Formel) bzw. <code>a: v</code> (Pseudocode)		* '''benanntes Attribut''': <math>a: v</math> (Formel) bzw. <code>a: v</code> (Pseudocode)

Kowa: /* Formale Definition (Kowarschick) */

2019-08-10T11:32:16Z

Formale Definition (Kowarschick)

← Nächstältere Version		Version vom 10. August 2019, 11:32 Uhr
Zeile 173:		Zeile 173:
	'''Anmerkung'''<br/>		'''Anmerkung'''<br/>
	Zur Definition von Attributen wurde der Begriff [[Tupel]] als bekannt vorausgesetzt.		Zur Definition von Attributen wurde der Begriff [[Tupel]] als bekannt vorausgesetzt.
	Andererseits benötigt man zur Definition von ~~allgemeinenTupel~~ den zuvor definierten		Andererseits benötigt man zur Definition von allgemeinen Tupeln den zuvor definierten
	~~allgemeinen~~ Attributbegriff. Es liegt hier jedoch kein Circulus vitiosus (Zirkelschluss) vor,		Attributbegriff. Es liegt hier jedoch kein Circulus vitiosus (Zirkelschluss) vor,
	da man Attribute auch allein mit Hilfe von [[geordnetes Paar\|geordneten Paaren]] <math>[a,b]</math> definieren kann:		da man Attribute auch allein mit Hilfe von [[geordnetes Paar\|geordneten Paaren]] <math>[a,b]</math> definieren kann:
	<div class="formula"><math>\begin{array}[t]{lcl}		<div class="formula"><math>\begin{array}[t]{lcl}

Kowa: /* Formale Definition (Kowarschick) */

2019-08-10T11:31:20Z

Formale Definition (Kowarschick)

← Nächstältere Version		Version vom 10. August 2019, 11:31 Uhr
Zeile 158:		Zeile 158:
	==Formale Definition (Kowarschick<ref name="MMDB"/>)==		==Formale Definition (Kowarschick<ref name="MMDB"/>)==
	'''Vorbemerkung'''<br/>		'''Vorbemerkung'''<br/>
	Nachfolgend werden '''Attribute'' definiert. Diese Definition kann eins zu eins für jede ander Art von Schlüssel-Wert-Tupeln übernommen werden,		Nachfolgend werden '''Attribute''' definiert. Diese Definition kann eins zu eins für jede ander Art von Schlüssel-Wert-Tupeln übernommen werden,
	wobei natürlich die Begriffe entsprechend angepasst werden müssen.		wobei natürlich die Begriffe entsprechend angepasst werden müssen.

Kowa: /* Schreibweisen */

2019-08-10T11:31:06Z

Schreibweisen

← Nächstältere Version		Version vom 10. August 2019, 11:31 Uhr
Zeile 149:		Zeile 149:
	* <code>key="value"</code> ({{zB}} [[XML]]-Attribut)		* <code>key="value"</code> ({{zB}} [[XML]]-Attribut)

	Der Schlüssel kann auch nur implizit ~~angegeben werden~~, wie beispielsweise die Position eines Attributs		Der Schlüssel kann auch nur ''implizit'' vorhanden, wie beispielsweise die Position eines Attributs
	in einem [[Tupel\|~~Positionstupel]] oder in einer [[Tabelle~~]]. Und es ist auch möglich, dass die Zuordung		in einem [[Tupel#Tupel_in_Listennotation_.28in_Anlehnung_an_McCarthy_et_al..5B4.5D.29\|Tupel inListennotation]].
	eines Wertes zu einem Schlüssel indirekt erfolgt. Zum Beispiel wird einem [[Funktionsparameter]] (Schlüssel)
			Und es ist auch möglich, dass die Zuordung eines Wertes zu einem Schlüssel ''indirekt'' erfolgt. Zum Beispiel wird einem [[Funktionsparameter]] (Schlüssel)
	durch einen [[Funktionsaufruf]] ein [[Funktionsargument]] (Wert) übergeben. Während der Ausführung des Funktionsrumpfes		durch einen [[Funktionsaufruf]] ein [[Funktionsargument]] (Wert) übergeben. Während der Ausführung des Funktionsrumpfes
	besteht das so gebildete Schlüssel/Wert-Paar (sofern der Wert nicht im Funktionsrumpf geändert wird).		besteht das so gebildete Schlüssel/Wert-Paar (sofern der Wert nicht im Funktionsrumpf geändert wird), danach wird es wieder gelöscht.

	==Formale Definition (Kowarschick<ref name="MMDB"/>)==		==Formale Definition (Kowarschick<ref name="MMDB"/>)==

Kowa: /* Varianten */

2019-08-10T11:28:16Z

Varianten

← Nächstältere Version		Version vom 10. August 2019, 11:28 Uhr
Zeile 110:		Zeile 110:
	\|}		\|}

	In [[SQL]] werden [[Tupel]] als Zeilen in [[Tabelle]]n (das sind spezielle [[Relation]]en) gespeichert.		In [[SQL]] werden [[Tupel]] als Zeilen (''rows'') in [[Tabelle]]n (''tables'', das sind spezielle [[Relation]]en) gespeichert.
	Die Tupelattribute haben dabei zwar nur einen Wert (<code>5</code> bzw. <code>6</code>) aber		Die Tupelattribute haben dabei zwar nur einen Wert (<code>5</code> bzw. <code>6</code>) aber
	jeweils ''zwei'' unterschiedliche Attributbezeichner: einen Namen (<code>a</code> bzw. <code>b</code>)		jeweils ''zwei'' unterschiedliche Attributbezeichner: einen Namen (<code>a</code> bzw. <code>b</code>)

Kowa: /* Varianten */

2019-08-10T11:27:14Z

Varianten

← Nächstältere Version		Version vom 10. August 2019, 11:27 Uhr
Zeile 105:		Zeile 105:
	\|\| <code>5</code>		\|\| <code>5</code>
	\|-		\|-
	\|\| ''type:''		\|\| ''hash type:''
	\|\| JavaScript-[[Universum]]		\|\| JavaScript-[[Universum]]
	\|}		\|}