Effiziente Konsistenzprüfung durch Funktionenmaterialisierung:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Düsseldorf
VDI-Verl.
1996
|
| Edition: | Als Ms. gedr. |
| Series: | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20]
207 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Zugl.: Karlsruhe, Univ., Diss. |
| Physical Description: | IX, 154 S. graph. Darst. |
| ISBN: | 3183207206 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010862210 | ||
| 003 | DE-604 | ||
| 005 | 19961114 | ||
| 007 | t | ||
| 008 | 960719s1996 d||| m||| 00||| ger d | ||
| 020 | |a 3183207206 |9 3-18-320720-6 | ||
| 035 | |a (OCoLC)75752948 | ||
| 035 | |a (DE-599)BVBBV010862210 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91G |a DE-210 |a DE-83 | ||
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a TEC 630d |2 stub | ||
| 084 | |a MAS 045d |2 stub | ||
| 084 | |a DAT 810d |2 stub | ||
| 100 | 1 | |a Alt, Jochen |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Effiziente Konsistenzprüfung durch Funktionenmaterialisierung |c Jochen Alt |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verl. |c 1996 | |
| 300 | |a IX, 154 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20] |v 207 | |
| 500 | |a Zugl.: Karlsruhe, Univ., Diss. | ||
| 650 | 0 | 7 | |a Konstruktionsdaten |0 (DE-588)4267930-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CAD |0 (DE-588)4069794-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a CAD |0 (DE-588)4069794-0 |D s |
| 689 | 0 | 1 | |a Konstruktionsdaten |0 (DE-588)4267930-8 |D s |
| 689 | 0 | 2 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a 20] |t Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI |v 207 |w (DE-604)BV021786833 |9 207 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007260466&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007260466 | ||
Record in the Search Index
| _version_ | 1804125348640587776 |
|---|---|
| adam_text | Titel: Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Autor: Alt, Jochen
Jahr: 1996
schritt- m BERICHTEIV|j| Dipl.-Inform. Jochen Alt, Karlsruhe Effiziente Konsistenzprüfung durch Funktionen- materialisierung Reihe 20 : Rechnerunterstützte Verfahren Nr. 207 VH VERLAG
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung V Inhaltsverzeichnis KAPITEL 1 Einleitung 1 KAPITEL 2 Konsistenzprüfung in der Fertigung 1 Szenario 2 Problem 4 Ziel und Vorgehensweise 5 Prämissen 7 Struktur der Arbeit 8 Anforderungen und Umfeld n Produkt 11 Prozeßmodell des Entwurfs 12 Konsistenz im Prozeßmodell 15 Anforderungen an ein Materialisierungsverfahren 19 Viele Entwerfer 19 Hohes Datenaufkommen 19 Hohe Anzahl an Konsistenzregeln 20
VI Inhaltsverzeichnis KAPITEL 3 Transparenz 20 Umfeld 20 Modellierungssprache 20 Datenmanipulationssprache 23 Produkte und ihre Repräsentationen 24 Architektur 25 Position eines Konsistenzprüfungsmoduls 25 Annahmen über das Datenbanksystem 26 Materialisierungstechniken 28 KAPITEL 4 Klassifikation der optimierten Konsistenzprüfung 28 Materialisierungsverfahren 30 Invalidierungen 31 Offene Probleme 35 Auswahl zu materialisierender Funktionen 40 KAPITEL 5 Fragment 40 m-Aufwendigkeit 44 m-Wiederverwendbarkeit 45 Abhängigkeitsgraph 45 Beispiele von Abhängigkeitsgraphen 47 Grundgedanke der m-Wiederverwendbarkeit so Herleitung 51 Beispiele der m-Wiederverwendbarkeit 52 m-Fragment 54 Zusammenfassung 54 Invalidierung 55 Fragmentprädikate 56 Generierung eines autonomen Fragmentprädikates 60
Inhaltsverzeichnis VII Korrektheit 62 Verantwortlichkeitsbereich 62 Speicherung materialisierter Ergebnisse 62 Modellierung des Verantwortlichkeitsbereiches 66 Zusammenfassung 69 Kapitel 6 Kostenmodell 71 Entscheidungsfunktion 71 Anzahl der Wiederverwendungen 73 Iterationstheorie 74 Anwendung der Iterationstheorie 75 Notwendige Erhebung 79 Berechnungskosten 82 Kosten der Materialisierung 84 Ereignisraums 86 Initialisierung 89 Konvergenz 89 Zusammenfassung 90 Kapitel 7 Algorithmen Realisierung 91 Algorithmen 91 Validierung 91 Invalidierung 93 Realisierung 95 Kapitel 8 Transaktionen 101 Anforderungen 101 Transaktionenmodell 103 Synchronisation 105 Das Sperrverfahren für die Anwendungsdaten 105
VIII Inhaltsverzeichnis KAPITEL 9 Integration der Konsistenzprüfung in das Sperrverfahren 106 Validierung eines Fragments 109 Invalidierung einer Materialisierung 109 Korrektheit des Verfahrens 110 Zusammenfassung 111 Vorausmaterialisierung 112 KAPITEL 10 Planziele Nebenbedingungen 112 Bewertung eines Plans 114 Generierung eines Plans 114 Zusammenfassung 116 Bewertung 117 Benutzte Rechner und Werkzeugumgebung 118 Architektur und Implementierung 118 Abbildung von EXPRESS auf SDAI 120 Darstellung von Fragmenten 121 Abhängigkeitsgraph 121 Materialisierungsgraph 121 Vergleichsmethodik 124 Der Anwendungsfall 126 Berechnung der Plattendicke 126 Modellierung 127 Anwendungsprofil 128 Ergebnisse des Übersetzers 129 Messungen 130 Validierung der Konsistenzregel 130 Verwaltungskosten der Materialisierung 132 Bilanz der Materialisierungsverfahren 133 Platzbedarf 134
Inhaltsverzeichnis IX Ergebnisse 135 Zusammenfassung 136 Kapitel 11 Rück-und Ausblick 137 Vorgehens weise 137 Erzielte Ergebnisse 138 Weitergehende Fragestellungen 139 Schlußbemerkung 139 Anhänge Beweise 140 Glossar 142 Literatur 145 Index 152
|
| any_adam_object | 1 |
| author | Alt, Jochen |
| author_facet | Alt, Jochen |
| author_role | aut |
| author_sort | Alt, Jochen |
| author_variant | j a ja |
| building | Verbundindex |
| bvnumber | BV010862210 |
| classification_rvk | ST 270 |
| classification_tum | TEC 630d MAS 045d DAT 810d |
| ctrlnum | (OCoLC)75752948 (DE-599)BVBBV010862210 |
| discipline | Technik Informatik Maschinenbau |
| edition | Als Ms. gedr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01831nam a2200457 cb4500</leader><controlfield tag="001">BV010862210</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961114 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960719s1996 d||| m||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3183207206</subfield><subfield code="9">3-18-320720-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75752948</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010862210</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-91G</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 630d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAS 045d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 810d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Alt, Jochen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Effiziente Konsistenzprüfung durch Funktionenmaterialisierung</subfield><subfield code="c">Jochen Alt</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düsseldorf</subfield><subfield code="b">VDI-Verl.</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 154 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="1" ind2=" "><subfield code="a">Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20]</subfield><subfield code="v">207</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Karlsruhe, Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruktionsdaten</subfield><subfield code="0">(DE-588)4267930-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-0</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">CAD</subfield><subfield code="0">(DE-588)4069794-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Konstruktionsdaten</subfield><subfield code="0">(DE-588)4267930-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">20]</subfield><subfield code="t">Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI</subfield><subfield code="v">207</subfield><subfield code="w">(DE-604)BV021786833</subfield><subfield code="9">207</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=007260466&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007260466</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010862210 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:00:08Z |
| institution | BVB |
| isbn | 3183207206 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007260466 |
| oclc_num | 75752948 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-210 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-210 DE-83 |
| physical | IX, 154 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | VDI-Verl. |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20] |
| spelling | Alt, Jochen Verfasser aut Effiziente Konsistenzprüfung durch Funktionenmaterialisierung Jochen Alt Als Ms. gedr. Düsseldorf VDI-Verl. 1996 IX, 154 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20] 207 Zugl.: Karlsruhe, Univ., Diss. Konstruktionsdaten (DE-588)4267930-8 gnd rswk-swf Konsistenz Informatik (DE-588)4214306-8 gnd rswk-swf CAD (DE-588)4069794-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content CAD (DE-588)4069794-0 s Konstruktionsdaten (DE-588)4267930-8 s Konsistenz Informatik (DE-588)4214306-8 s DE-604 20] Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI 207 (DE-604)BV021786833 207 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007260466&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Alt, Jochen Effiziente Konsistenzprüfung durch Funktionenmaterialisierung Konstruktionsdaten (DE-588)4267930-8 gnd Konsistenz Informatik (DE-588)4214306-8 gnd CAD (DE-588)4069794-0 gnd |
| subject_GND | (DE-588)4267930-8 (DE-588)4214306-8 (DE-588)4069794-0 (DE-588)4113937-9 |
| title | Effiziente Konsistenzprüfung durch Funktionenmaterialisierung |
| title_auth | Effiziente Konsistenzprüfung durch Funktionenmaterialisierung |
| title_exact_search | Effiziente Konsistenzprüfung durch Funktionenmaterialisierung |
| title_full | Effiziente Konsistenzprüfung durch Funktionenmaterialisierung Jochen Alt |
| title_fullStr | Effiziente Konsistenzprüfung durch Funktionenmaterialisierung Jochen Alt |
| title_full_unstemmed | Effiziente Konsistenzprüfung durch Funktionenmaterialisierung Jochen Alt |
| title_short | Effiziente Konsistenzprüfung durch Funktionenmaterialisierung |
| title_sort | effiziente konsistenzprufung durch funktionenmaterialisierung |
| topic | Konstruktionsdaten (DE-588)4267930-8 gnd Konsistenz Informatik (DE-588)4214306-8 gnd CAD (DE-588)4069794-0 gnd |
| topic_facet | Konstruktionsdaten Konsistenz Informatik CAD Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007260466&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV021786833 |
| work_keys_str_mv | AT altjochen effizientekonsistenzprufungdurchfunktionenmaterialisierung |