Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | München, Techn. Univ., Diss., 1995 |
| Beschreibung: | 127 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010313996 | ||
| 003 | DE-604 | ||
| 005 | 19951123 | ||
| 007 | t | ||
| 008 | 950725s1995 m||| 00||| gerod | ||
| 016 | 7 | |a 945831161 |2 DE-101 | |
| 035 | |a (OCoLC)245653015 | ||
| 035 | |a (DE-599)BVBBV010313996 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-91G |a DE-12 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 651d |2 stub | ||
| 084 | |a DAT 335d |2 stub | ||
| 100 | 1 | |a Hettler, Rudolf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen |c Rudolf Hettler |
| 264 | 1 | |c 1995 | |
| 300 | |a 127 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a München, Techn. Univ., Diss., 1995 | ||
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entity-Relationship-Datenmodell |0 (DE-588)4230505-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | 1 | |a Entity-Relationship-Datenmodell |0 (DE-588)4230505-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Entity-Relationship-Datenmodell |0 (DE-588)4230505-6 |D s |
| 689 | 1 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006862464&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006862464 | |
Datensatz im Suchindex
| _version_ | 1812453680996155392 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1 EINLEITUNG 1
1.1 MOTIVATION . 1
1.2 ZIELE DER VORLIEGENDEN ARBEIT. 3
1.3 VERGLEICHBARE ARBEITEN. 5
1.4 GLIEDERUNG DER ARBEIT . 9
2 GRUNDLAGEN 11
2.1 DAS VERWENDETE E/E-MODELL. 11
2.2 FORMALE SPEZIFIKATION MIT
SPECTRUM
. 15
2.2.1 SPRACHE. 15
2.2.2 METHODIK. 18
2.2.3 KALKUEL. 22
3 EINE AXIOMATISCHE SEMANTIK FUER DAS E/R-MODELL 27
3.1 KONVENTIONEN.
1. 28
3.2 ATTRIBUTE . 29
3.3 STATISCHE SEMANTIK. 30
3.4 DISKUSSION. 35
4 DAS E/R-MODELL ALS AXIOMATISCHE SPEZIFIKATIONSTECHNIK 39
4.1 INTERNALISIERUNG DER SEMANTIK. 40
4.2 FORMALE BEZIEHUNG ZUR STATISCHEN SEMANTIK. 50
4.3 EINE PRAKTISCH EINSETZBARE ZUGRIFFSSCHICHT. 53
4.3.1 ENTITYSORTEN. 55
4.3.2 IMPLEMENTIERUNG DER RELATIONSHIPTYPEN. 57
4.3.3 ALLGEMEINE STATISCHE INTEGRITAETSBEDINGUNGEN. 58
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/945831161
11
INHALTSVERZEICHNIS
4.3.4 VERVOLLSTAENDIGUNG DER ZUGRIFFSSCHICHT.
4 3.5 DIE ZUGRIFFSSPEZIFIKATION VON RECHERCHE
4.4 DISKUSSION.
5 KONZEPTUELLE DATENMODELLIERUNG MIT DEM E/R-MODELL
5.1 VERFEINERUNG KONZEPTUELLER SCHEMATA.
5.2 VIEW INTEGRATION.
5.3 DISKUSSION.
6 KONKLUSION
6.1 ZUSAMMENFASSUNG DER ERGEBNISSE.
6.2 AUSBLICKE .
6.2.1
WERKZEUGUNTERSTUETZUNG.
6.2.2 WEITERE ARBEITEN.
A BEWEISE DER VERWENDETEN HILFSSAETZE
60
62
68
73
75
85
94
101
101
105
105
106
LITERATURVERZEICHNIS
121 |
| any_adam_object | 1 |
| author | Hettler, Rudolf |
| author_facet | Hettler, Rudolf |
| author_role | aut |
| author_sort | Hettler, Rudolf |
| author_variant | r h rh |
| building | Verbundindex |
| bvnumber | BV010313996 |
| classification_rvk | ST 230 |
| classification_tum | DAT 651d DAT 335d |
| ctrlnum | (OCoLC)245653015 (DE-599)BVBBV010313996 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010313996</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951123</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950725s1995 m||| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">945831161</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)245653015</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010313996</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 651d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hettler, Rudolf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen</subfield><subfield code="c">Rudolf Hettler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">127 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 1995</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entity-Relationship-Datenmodell</subfield><subfield code="0">(DE-588)4230505-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Entity-Relationship-Datenmodell</subfield><subfield code="0">(DE-588)4230505-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Entity-Relationship-Datenmodell</subfield><subfield code="0">(DE-588)4230505-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006862464&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006862464</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010313996 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-09T16:15:22Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006862464 |
| oclc_num | 245653015 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 |
| physical | 127 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| spelling | Hettler, Rudolf Verfasser aut Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen Rudolf Hettler 1995 127 S. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 1995 Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Entity-Relationship-Datenmodell (DE-588)4230505-6 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Spezifikationssprache (DE-588)4182217-1 s Entity-Relationship-Datenmodell (DE-588)4230505-6 s DE-604 Algebraische Spezifikation (DE-588)4207192-6 s DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006862464&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hettler, Rudolf Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen Algebraische Spezifikation (DE-588)4207192-6 gnd Entity-Relationship-Datenmodell (DE-588)4230505-6 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4230505-6 (DE-588)4182217-1 (DE-588)4113937-9 |
| title | Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen |
| title_auth | Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen |
| title_exact_search | Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen |
| title_full | Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen Rudolf Hettler |
| title_fullStr | Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen Rudolf Hettler |
| title_full_unstemmed | Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen Rudolf Hettler |
| title_short | Entity-Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen |
| title_sort | entity relationship datenmodellierung in axiomatischen spezifikationssprachen |
| topic | Algebraische Spezifikation (DE-588)4207192-6 gnd Entity-Relationship-Datenmodell (DE-588)4230505-6 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| topic_facet | Algebraische Spezifikation Entity-Relationship-Datenmodell Spezifikationssprache Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006862464&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hettlerrudolf entityrelationshipdatenmodellierunginaxiomatischenspezifikationssprachen |