Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Erlangen
Inst. für Informatik
2001
|
| Schriftenreihe: | Institut für Informatik <Erlangen>: Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg
34,2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013614768 | ||
| 003 | DE-604 | ||
| 005 | 20010912 | ||
| 007 | t| | ||
| 008 | 010306s2001 xx a||| m||| 00||| ger d | ||
| 016 | 7 | |a 961829907 |2 DE-101 | |
| 035 | |a (OCoLC)48739469 | ||
| 035 | |a (DE-599)BVBBV013614768 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-29 |a DE-29T |a DE-739 |a DE-12 |a DE-19 |a DE-703 |a DE-91G |a DE-83 |a DE-188 | ||
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 653d |2 stub | ||
| 084 | |a MAT 055d |2 stub | ||
| 100 | 1 | |a Hodek, Roman |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen |c Roman Hodek |
| 264 | 1 | |a Erlangen |b Inst. für Informatik |c 2001 | |
| 300 | |a VI, 128 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Institut für Informatik <Erlangen>: Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg |v 34,2 | |
| 502 | |a Zugl.: Erlangen-Nürnberg, Univ., Diss. | ||
| 650 | 7 | |a Hochschulschrift |2 gtt | |
| 650 | 0 | 7 | |a Verteiltes Datenbanksystem |0 (DE-588)4121865-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Synchronisierung |0 (DE-588)4130847-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes Datenbanksystem |0 (DE-588)4121865-6 |D s |
| 689 | 0 | 1 | |a Synchronisierung |0 (DE-588)4130847-5 |D s |
| 689 | 0 | 2 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Institut für Informatik <Erlangen>: Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg |v 34,2 |w (DE-604)BV013391036 |9 34,2 | |
| 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=009301705&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009301705 | |
Datensatz im Suchindex
| DE-19_call_number | 1500/DISS185 |
|---|---|
| DE-19_location | 80 |
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 987 |
| DE-BY-TUM_katkey | 1204337 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010336797 |
| DE-BY-UBM_katkey | 2327441 |
| DE-BY-UBM_local_keycode | di |
| DE-BY-UBM_media_number | 41613147490010 |
| _version_ | 1823051995021312000 |
| adam_text |
Inhaltsverzeichnis
Zusammenfassung i
Inhaltsverzeichnis iii
1 Einleitung 1
1.1 Verteilte Nutzung von Dateien 1
1.2 Zielsetzungen 3
1.3 Warum mit Graphtransformationen? 5
1.4 Vergleich mit anderen Systemen 5
1.4.1 Andrew File System (AFS) 5
1.4.2 rdist 6
1.4.3 Concurrent Versions System (CVS) 7
1.5 Übersicht 7
2 Graphtransformationssysteme 9
2.1 Motivation 9
2.2 Kategorien 12
2.2.1 Grundbegriffe 13
1
iv INHALTSVERZEICHNIS
2.2.2 Konstruktionen 16
2.3 Konkrete Beispiele von Kategorien 23
2.3.1 Mengen 23
2.3.2 Natürliche Zahlen und Teilbarkeit 28
2.3.3 Graphen 29
2.3.4 Markierte Graphen 35
2.4 Transformation kategorieller Objekte 38
2.4.1 Definitionen 38
2.4.2 Konstruktion von Ableitungsschritten 40
2.5 Parallele Unabhängigkeit 43
2.6 Anwendbarkeitsbedingungen 45
3 Reduktionssysteme 49
3.1 Grundlagen 50
3.2 Terminierung 52
3.3 Konfluenz 53
3.4 Normalformen 55
3.5 Kategorielle Transformationssysteme als Reduktionssysteme . 57
4 Grundlagen der Dateisynchronisation ^9
4.1 Grundlagen 59
4.1.1 Voraussetzungen 59
4.1.2 Einfache Dateibeziehungen "
INHALTSVERZEICHNIS v
4.1.3 Erkennen neuer und gelöschter Dateien 61
4.2 Aufbau des Zustandsgraphen 65
4.3 Analysephase 66
4.4 Umformung in einen Aktionsgraphen 70
4.4.1 Regeln (la) und (lb): Transitivität von neuer-Kanten . . 72
4.4.2 Regel (2): Löschen von Doppelkanten 75
4.4.3 Regeln (3a) und (3b): Äquivalente Dateiversionen 75
4.4.4 Regeln (4a) und (4b): Löschen ist neueste Operation . 77
4.4.5 Regel (5): Konflikt zwischen Neuerstellen und Löschen von
Dateien 78
4.4.6 Regeln (6) und (7): Umwandlung in Aktionen 79
4.5 Vollständigkeit, Terminierung und Konfluenz des Systems 80
4.5.1 Vollständigkeit 80
4.5.2 Terminierung 83
4.5.3 Konfluenz 85
4.6 Modifikationszeit kopierter Dateien 86
4.6.1 Originalzeit als Modifikat ion.szeit, 01
4.6.2 Abgleichszcit als Modifikation.szeit 92
4.6.3 Pfadverfolgung 94
4.6.4 Virtuelle Modifikationszeitpn 95
4.6.5 Virtuelle Modifikationszeiten und Konfiikterkennung . 97
vi INHALTSVERZEICHNIS
5 Weitere Einzelfragen der Dateisynchronisation 99
5.1 Konfliktbehandlung 99
5.2 Einspielen von Datensicherungen 103
5.3 Initialisierung 104
5.4 Praktische Umsetzung 106
5.4.1 Implementation des Transformationssystems 106
5.4.2 Rahmen für die Synchronisation 107
6 Schlußbemerkungen Hl
6.1 Zusammenfassung der Ergebnisse Hl
6.2 Ausblick H2
Abbildungsverzeichnis 1"
Tabellenverzeichnis *¦*"
Literaturverzeichnis "•*
Stichwortverzeichnis 1^5 |
| any_adam_object | 1 |
| author | Hodek, Roman |
| author_facet | Hodek, Roman |
| author_role | aut |
| author_sort | Hodek, Roman |
| author_variant | r h rh |
| building | Verbundindex |
| bvnumber | BV013614768 |
| classification_rvk | ST 270 |
| classification_tum | DAT 653d MAT 055d |
| ctrlnum | (OCoLC)48739469 (DE-599)BVBBV013614768 |
| discipline | Informatik Mathematik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV013614768</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010912</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010306s2001 xx a||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961829907</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48739469</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013614768</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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">DAT 653d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 055d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hodek, Roman</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen</subfield><subfield code="c">Roman Hodek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Erlangen</subfield><subfield code="b">Inst. für Informatik</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 128 S.</subfield><subfield code="b">Ill.</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">Institut für Informatik <Erlangen>: Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg</subfield><subfield code="v">34,2</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Erlangen-Nürnberg, Univ., Diss.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Hochschulschrift</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes Datenbanksystem</subfield><subfield code="0">(DE-588)4121865-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</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">Verteiltes Datenbanksystem</subfield><subfield code="0">(DE-588)4121865-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Institut für Informatik <Erlangen>: Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg</subfield><subfield code="v">34,2</subfield><subfield code="w">(DE-604)BV013391036</subfield><subfield code="9">34,2</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=009301705&sequence=000002&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-009301705</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV013614768 |
| illustrated | Illustrated |
| indexdate | 2025-02-03T16:44:36Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009301705 |
| oclc_num | 48739469 |
| open_access_boolean | |
| owner | DE-29 DE-29T DE-739 DE-12 DE-19 DE-BY-UBM DE-703 DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-29 DE-29T DE-739 DE-12 DE-19 DE-BY-UBM DE-703 DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | VI, 128 S. Ill. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Inst. für Informatik |
| record_format | marc |
| series | Institut für Informatik <Erlangen>: Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg |
| series2 | Institut für Informatik <Erlangen>: Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg |
| spellingShingle | Hodek, Roman Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen Institut für Informatik <Erlangen>: Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg Hochschulschrift gtt Verteiltes Datenbanksystem (DE-588)4121865-6 gnd Synchronisierung (DE-588)4130847-5 gnd Graphersetzungssystem (DE-588)4274073-3 gnd |
| subject_GND | (DE-588)4121865-6 (DE-588)4130847-5 (DE-588)4274073-3 (DE-588)4113937-9 |
| title | Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen |
| title_auth | Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen |
| title_exact_search | Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen |
| title_full | Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen Roman Hodek |
| title_fullStr | Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen Roman Hodek |
| title_full_unstemmed | Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen Roman Hodek |
| title_short | Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen |
| title_sort | synchronisation von dateibaumen mit hilfe von graphtransformationssystemen |
| topic | Hochschulschrift gtt Verteiltes Datenbanksystem (DE-588)4121865-6 gnd Synchronisierung (DE-588)4130847-5 gnd Graphersetzungssystem (DE-588)4274073-3 gnd |
| topic_facet | Hochschulschrift Verteiltes Datenbanksystem Synchronisierung Graphersetzungssystem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009301705&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV013391036 |
| work_keys_str_mv | AT hodekroman synchronisationvondateibaumenmithilfevongraphtransformationssystemen |