Datenmodellierung mit deduktiven Techniken:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Heidelberg
Physica-Verlag HD
1994
|
| Schriftenreihe: | Beiträge zur Wirtschaftsinformatik
9 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Dieses Buch befaßt sich mit den Themenbereichen "konzeptionelle Datenmodellierung", "Metamodellierung" und "Datenbankentwurf". In mehrfacher Hinsicht erfolgt dabei eine Abkehr von traditionellen Techniken, die durch einen durchgängigen, auf Abhängigkeiten basierenden Ansatz ersetzt werden. Durch deduktive Ableitung werden aus abstrakten Modellen und Anwendungsmodellen konkrete Anwendungsabhängigkeiten ermittelt, die das Anwendungswissen des konzeptionellen Modells widerspiegeln. In einem gemeinsamen Rahmenwerk werden in diesem Buch folgende Themenkreise behandelt: - die Semantik von konzeptionellen Datenmodellierungssprachen; - die Repräsentation von konzeptionellen Anwendungsdatenmodellen; - die Konsistenzprüfung von Anwendungsdaten in Bezug auf die korrespondierenden konzeptionellen Anwendungsmodelle; - die automatische Ableitung von relationalen Datenbankschemata aus konzeptionellen Anwendungsmodellen; - der Modellvergleich von unterschiedlichen konzeptionellen Anwendungsmodellen (die auch in unterschiedlichen Modellierungs sprachen formuliert sein können). Die Basis der Spezifikation der Semantik und die Schnittstelle zu den nachgelagerten Aufgabenbereichen sind funktionale Abhängigkeiten und Inklusionsabhängigkeiten |
| Beschreibung: | 1 Online-Ressource (VII, 223S. 51 Abb) |
| ISBN: | 9783642469459 9783790807172 |
| DOI: | 10.1007/978-3-642-46945-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV041610455 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140130s1994 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642469459 |c Online |9 978-3-642-46945-9 | ||
| 020 | |a 9783790807172 |c Print |9 978-3-7908-0717-2 | ||
| 024 | 7 | |a 10.1007/978-3-642-46945-9 |2 doi | |
| 035 | |a (OCoLC)863929457 | ||
| 035 | |a (DE-599)BVBBV041610455 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-634 |a DE-91 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 650 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Neumann, Gustaf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Datenmodellierung mit deduktiven Techniken |c von Gustaf Neumann |
| 264 | 1 | |a Heidelberg |b Physica-Verlag HD |c 1994 | |
| 300 | |a 1 Online-Ressource (VII, 223S. 51 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Beiträge zur Wirtschaftsinformatik |v 9 | |
| 500 | |a Dieses Buch befaßt sich mit den Themenbereichen "konzeptionelle Datenmodellierung", "Metamodellierung" und "Datenbankentwurf". In mehrfacher Hinsicht erfolgt dabei eine Abkehr von traditionellen Techniken, die durch einen durchgängigen, auf Abhängigkeiten basierenden Ansatz ersetzt werden. Durch deduktive Ableitung werden aus abstrakten Modellen und Anwendungsmodellen konkrete Anwendungsabhängigkeiten ermittelt, die das Anwendungswissen des konzeptionellen Modells widerspiegeln. In einem gemeinsamen Rahmenwerk werden in diesem Buch folgende Themenkreise behandelt: - die Semantik von konzeptionellen Datenmodellierungssprachen; - die Repräsentation von konzeptionellen Anwendungsdatenmodellen; - die Konsistenzprüfung von Anwendungsdaten in Bezug auf die korrespondierenden konzeptionellen Anwendungsmodelle; - die automatische Ableitung von relationalen Datenbankschemata aus konzeptionellen Anwendungsmodellen; - der Modellvergleich von unterschiedlichen konzeptionellen Anwendungsmodellen (die auch in unterschiedlichen Modellierungs sprachen formuliert sein können). Die Basis der Spezifikation der Semantik und die Schnittstelle zu den nachgelagerten Aufgabenbereichen sind funktionale Abhängigkeiten und Inklusionsabhängigkeiten | ||
| 505 | 0 | |a 1 Einleitung und Problemstellung -- 1.1 Ein Informationssystem als Repräsentation eines Unternehmens -- 1.2 Integrationsaspekte von betrieblichen Informationssystemen -- 1.3 Betriebliche Datenmodelle -- 1.4 Zielsetzung dieser Arbeit -- 2 Grundlagen -- 2.1 Funktionale Abhängigkeiten -- 2.2 Inklusionsabhängigkeiten -- 2.3 Inferenzregeln für Abhängigkeiten -- 2.4 Erzeugung von relationalen Schemata aus funktionalen Abhängigkeiten -- 2.5 Effiziente Repräsentation von Abhängigkeiten -- 3 Spezifikation von Datenmodellierungsverfahren -- 3.1 Grundkonzepte von konzeptionellen Datenmodellierungsverfahren -- 3.2 Spezifikation des erweiterten Entity-Relationship-Modells -- 3.3 Spezifikation des NIAM-Modells -- 4 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Datenprüfung in konzeptionellen Modellen -- 4.1 Ein Prolog-Programm zur Konsistenzprüfung -- 4.2 Prüfung von Daten und Schema durch die abgeleiteten Abhängigkeiten -- 4.3 Prüfung von zusätzlichen Abhängigkeiten -- 5 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Erzeugung von Relationsschemata -- 5.1 Anwendimg des Normalisierungsalgorithmus auf die resultierenden funktionalen Abhängigkeiten -- 5.2 Namensgebung für Tabellen und Attribute -- 5.3 Elimination von Tupd-Identifikatoren und Einbeziehung von Inklusionsabhängigkeiten -- 5.4 Inklusionsabhängigkeiten und zusammengesetzte Schlüssel -- 5.5 Inklusionsabhängigkeiten und Transaktionen -- 5.6 Eine Optimierung für *:1-Beziehungstypen mit vollständiger Beteiligung auf der *-Seite -- 5.7 Beispiele für Abbildungen von ER-Modellen in relationale Schemata -- 5.8 Beispiele für Abbildungen von NIAM-Modellen in relationale Schemata -- 6 Vergleich von konzeptionellen Modellen -- 6.1 Attributäquivalenz -- 6.2 Abhängigkeitseinschluß -- 6.3 Abhängigkeitsäquivalenz | |
| 650 | 4 | |a Economics | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Management information systems | |
| 650 | 4 | |a Economics/Management Science | |
| 650 | 4 | |a Business Information Systems | |
| 650 | 4 | |a Data Structures, Cryptology and Information Theory | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Management | |
| 650 | 4 | |a Wirtschaft | |
| 650 | 0 | 7 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 0 | 1 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-46945-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-BAD |a ZDB-2-STI | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027051588 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804151812030201856 |
|---|---|
| any_adam_object | |
| author | Neumann, Gustaf |
| author_facet | Neumann, Gustaf |
| author_role | aut |
| author_sort | Neumann, Gustaf |
| author_variant | g n gn |
| building | Verbundindex |
| bvnumber | BV041610455 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-BAD ZDB-2-STI |
| contents | 1 Einleitung und Problemstellung -- 1.1 Ein Informationssystem als Repräsentation eines Unternehmens -- 1.2 Integrationsaspekte von betrieblichen Informationssystemen -- 1.3 Betriebliche Datenmodelle -- 1.4 Zielsetzung dieser Arbeit -- 2 Grundlagen -- 2.1 Funktionale Abhängigkeiten -- 2.2 Inklusionsabhängigkeiten -- 2.3 Inferenzregeln für Abhängigkeiten -- 2.4 Erzeugung von relationalen Schemata aus funktionalen Abhängigkeiten -- 2.5 Effiziente Repräsentation von Abhängigkeiten -- 3 Spezifikation von Datenmodellierungsverfahren -- 3.1 Grundkonzepte von konzeptionellen Datenmodellierungsverfahren -- 3.2 Spezifikation des erweiterten Entity-Relationship-Modells -- 3.3 Spezifikation des NIAM-Modells -- 4 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Datenprüfung in konzeptionellen Modellen -- 4.1 Ein Prolog-Programm zur Konsistenzprüfung -- 4.2 Prüfung von Daten und Schema durch die abgeleiteten Abhängigkeiten -- 4.3 Prüfung von zusätzlichen Abhängigkeiten -- 5 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Erzeugung von Relationsschemata -- 5.1 Anwendimg des Normalisierungsalgorithmus auf die resultierenden funktionalen Abhängigkeiten -- 5.2 Namensgebung für Tabellen und Attribute -- 5.3 Elimination von Tupd-Identifikatoren und Einbeziehung von Inklusionsabhängigkeiten -- 5.4 Inklusionsabhängigkeiten und zusammengesetzte Schlüssel -- 5.5 Inklusionsabhängigkeiten und Transaktionen -- 5.6 Eine Optimierung für *:1-Beziehungstypen mit vollständiger Beteiligung auf der *-Seite -- 5.7 Beispiele für Abbildungen von ER-Modellen in relationale Schemata -- 5.8 Beispiele für Abbildungen von NIAM-Modellen in relationale Schemata -- 6 Vergleich von konzeptionellen Modellen -- 6.1 Attributäquivalenz -- 6.2 Abhängigkeitseinschluß -- 6.3 Abhängigkeitsäquivalenz |
| ctrlnum | (OCoLC)863929457 (DE-599)BVBBV041610455 |
| dewey-full | 650 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 650 - Management and auxiliary services |
| dewey-raw | 650 |
| dewey-search | 650 |
| dewey-sort | 3650 |
| dewey-tens | 650 - Management and auxiliary services |
| discipline | Technik Informatik Wirtschaftswissenschaften |
| doi_str_mv | 10.1007/978-3-642-46945-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05212nmm a2200589zcb4500</leader><controlfield tag="001">BV041610455</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140130s1994 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642469459</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-46945-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783790807172</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-7908-0717-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-46945-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863929457</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041610455</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">650</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Neumann, Gustaf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Datenmodellierung mit deduktiven Techniken</subfield><subfield code="c">von Gustaf Neumann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Physica-Verlag HD</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 223S. 51 Abb)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Beiträge zur Wirtschaftsinformatik</subfield><subfield code="v">9</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Dieses Buch befaßt sich mit den Themenbereichen "konzeptionelle Datenmodellierung", "Metamodellierung" und "Datenbankentwurf". In mehrfacher Hinsicht erfolgt dabei eine Abkehr von traditionellen Techniken, die durch einen durchgängigen, auf Abhängigkeiten basierenden Ansatz ersetzt werden. Durch deduktive Ableitung werden aus abstrakten Modellen und Anwendungsmodellen konkrete Anwendungsabhängigkeiten ermittelt, die das Anwendungswissen des konzeptionellen Modells widerspiegeln. In einem gemeinsamen Rahmenwerk werden in diesem Buch folgende Themenkreise behandelt: - die Semantik von konzeptionellen Datenmodellierungssprachen; - die Repräsentation von konzeptionellen Anwendungsdatenmodellen; - die Konsistenzprüfung von Anwendungsdaten in Bezug auf die korrespondierenden konzeptionellen Anwendungsmodelle; - die automatische Ableitung von relationalen Datenbankschemata aus konzeptionellen Anwendungsmodellen; - der Modellvergleich von unterschiedlichen konzeptionellen Anwendungsmodellen (die auch in unterschiedlichen Modellierungs sprachen formuliert sein können). Die Basis der Spezifikation der Semantik und die Schnittstelle zu den nachgelagerten Aufgabenbereichen sind funktionale Abhängigkeiten und Inklusionsabhängigkeiten</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">1 Einleitung und Problemstellung -- 1.1 Ein Informationssystem als Repräsentation eines Unternehmens -- 1.2 Integrationsaspekte von betrieblichen Informationssystemen -- 1.3 Betriebliche Datenmodelle -- 1.4 Zielsetzung dieser Arbeit -- 2 Grundlagen -- 2.1 Funktionale Abhängigkeiten -- 2.2 Inklusionsabhängigkeiten -- 2.3 Inferenzregeln für Abhängigkeiten -- 2.4 Erzeugung von relationalen Schemata aus funktionalen Abhängigkeiten -- 2.5 Effiziente Repräsentation von Abhängigkeiten -- 3 Spezifikation von Datenmodellierungsverfahren -- 3.1 Grundkonzepte von konzeptionellen Datenmodellierungsverfahren -- 3.2 Spezifikation des erweiterten Entity-Relationship-Modells -- 3.3 Spezifikation des NIAM-Modells -- 4 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Datenprüfung in konzeptionellen Modellen -- 4.1 Ein Prolog-Programm zur Konsistenzprüfung -- 4.2 Prüfung von Daten und Schema durch die abgeleiteten Abhängigkeiten -- 4.3 Prüfung von zusätzlichen Abhängigkeiten -- 5 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Erzeugung von Relationsschemata -- 5.1 Anwendimg des Normalisierungsalgorithmus auf die resultierenden funktionalen Abhängigkeiten -- 5.2 Namensgebung für Tabellen und Attribute -- 5.3 Elimination von Tupd-Identifikatoren und Einbeziehung von Inklusionsabhängigkeiten -- 5.4 Inklusionsabhängigkeiten und zusammengesetzte Schlüssel -- 5.5 Inklusionsabhängigkeiten und Transaktionen -- 5.6 Eine Optimierung für *:1-Beziehungstypen mit vollständiger Beteiligung auf der *-Seite -- 5.7 Beispiele für Abbildungen von ER-Modellen in relationale Schemata -- 5.8 Beispiele für Abbildungen von NIAM-Modellen in relationale Schemata -- 6 Vergleich von konzeptionellen Modellen -- 6.1 Attributäquivalenz -- 6.2 Abhängigkeitseinschluß -- 6.3 Abhängigkeitsäquivalenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Economics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management information systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Economics/Management Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures, Cryptology and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Wirtschaft</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-46945-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAD</subfield><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027051588</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV041610455 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:00:45Z |
| institution | BVB |
| isbn | 9783642469459 9783790807172 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027051588 |
| oclc_num | 863929457 |
| open_access_boolean | |
| owner | DE-634 DE-91 DE-BY-TUM DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-634 DE-91 DE-BY-TUM DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (VII, 223S. 51 Abb) |
| psigel | ZDB-2-BAD ZDB-2-STI ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Physica-Verlag HD |
| record_format | marc |
| series2 | Beiträge zur Wirtschaftsinformatik |
| spelling | Neumann, Gustaf Verfasser aut Datenmodellierung mit deduktiven Techniken von Gustaf Neumann Heidelberg Physica-Verlag HD 1994 1 Online-Ressource (VII, 223S. 51 Abb) txt rdacontent c rdamedia cr rdacarrier Beiträge zur Wirtschaftsinformatik 9 Dieses Buch befaßt sich mit den Themenbereichen "konzeptionelle Datenmodellierung", "Metamodellierung" und "Datenbankentwurf". In mehrfacher Hinsicht erfolgt dabei eine Abkehr von traditionellen Techniken, die durch einen durchgängigen, auf Abhängigkeiten basierenden Ansatz ersetzt werden. Durch deduktive Ableitung werden aus abstrakten Modellen und Anwendungsmodellen konkrete Anwendungsabhängigkeiten ermittelt, die das Anwendungswissen des konzeptionellen Modells widerspiegeln. In einem gemeinsamen Rahmenwerk werden in diesem Buch folgende Themenkreise behandelt: - die Semantik von konzeptionellen Datenmodellierungssprachen; - die Repräsentation von konzeptionellen Anwendungsdatenmodellen; - die Konsistenzprüfung von Anwendungsdaten in Bezug auf die korrespondierenden konzeptionellen Anwendungsmodelle; - die automatische Ableitung von relationalen Datenbankschemata aus konzeptionellen Anwendungsmodellen; - der Modellvergleich von unterschiedlichen konzeptionellen Anwendungsmodellen (die auch in unterschiedlichen Modellierungs sprachen formuliert sein können). Die Basis der Spezifikation der Semantik und die Schnittstelle zu den nachgelagerten Aufgabenbereichen sind funktionale Abhängigkeiten und Inklusionsabhängigkeiten 1 Einleitung und Problemstellung -- 1.1 Ein Informationssystem als Repräsentation eines Unternehmens -- 1.2 Integrationsaspekte von betrieblichen Informationssystemen -- 1.3 Betriebliche Datenmodelle -- 1.4 Zielsetzung dieser Arbeit -- 2 Grundlagen -- 2.1 Funktionale Abhängigkeiten -- 2.2 Inklusionsabhängigkeiten -- 2.3 Inferenzregeln für Abhängigkeiten -- 2.4 Erzeugung von relationalen Schemata aus funktionalen Abhängigkeiten -- 2.5 Effiziente Repräsentation von Abhängigkeiten -- 3 Spezifikation von Datenmodellierungsverfahren -- 3.1 Grundkonzepte von konzeptionellen Datenmodellierungsverfahren -- 3.2 Spezifikation des erweiterten Entity-Relationship-Modells -- 3.3 Spezifikation des NIAM-Modells -- 4 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Datenprüfung in konzeptionellen Modellen -- 4.1 Ein Prolog-Programm zur Konsistenzprüfung -- 4.2 Prüfung von Daten und Schema durch die abgeleiteten Abhängigkeiten -- 4.3 Prüfung von zusätzlichen Abhängigkeiten -- 5 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Erzeugung von Relationsschemata -- 5.1 Anwendimg des Normalisierungsalgorithmus auf die resultierenden funktionalen Abhängigkeiten -- 5.2 Namensgebung für Tabellen und Attribute -- 5.3 Elimination von Tupd-Identifikatoren und Einbeziehung von Inklusionsabhängigkeiten -- 5.4 Inklusionsabhängigkeiten und zusammengesetzte Schlüssel -- 5.5 Inklusionsabhängigkeiten und Transaktionen -- 5.6 Eine Optimierung für *:1-Beziehungstypen mit vollständiger Beteiligung auf der *-Seite -- 5.7 Beispiele für Abbildungen von ER-Modellen in relationale Schemata -- 5.8 Beispiele für Abbildungen von NIAM-Modellen in relationale Schemata -- 6 Vergleich von konzeptionellen Modellen -- 6.1 Attributäquivalenz -- 6.2 Abhängigkeitseinschluß -- 6.3 Abhängigkeitsäquivalenz Economics Data structures (Computer science) Logic design Management information systems Economics/Management Science Business Information Systems Data Structures, Cryptology and Information Theory Logics and Meanings of Programs Management Wirtschaft Konzeptionelle Modellierung (DE-588)4123555-1 gnd rswk-swf Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf Deduktives Datenbanksystem (DE-588)4258784-0 s Konzeptionelle Modellierung (DE-588)4123555-1 s 1\p DE-604 https://doi.org/10.1007/978-3-642-46945-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Neumann, Gustaf Datenmodellierung mit deduktiven Techniken 1 Einleitung und Problemstellung -- 1.1 Ein Informationssystem als Repräsentation eines Unternehmens -- 1.2 Integrationsaspekte von betrieblichen Informationssystemen -- 1.3 Betriebliche Datenmodelle -- 1.4 Zielsetzung dieser Arbeit -- 2 Grundlagen -- 2.1 Funktionale Abhängigkeiten -- 2.2 Inklusionsabhängigkeiten -- 2.3 Inferenzregeln für Abhängigkeiten -- 2.4 Erzeugung von relationalen Schemata aus funktionalen Abhängigkeiten -- 2.5 Effiziente Repräsentation von Abhängigkeiten -- 3 Spezifikation von Datenmodellierungsverfahren -- 3.1 Grundkonzepte von konzeptionellen Datenmodellierungsverfahren -- 3.2 Spezifikation des erweiterten Entity-Relationship-Modells -- 3.3 Spezifikation des NIAM-Modells -- 4 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Datenprüfung in konzeptionellen Modellen -- 4.1 Ein Prolog-Programm zur Konsistenzprüfung -- 4.2 Prüfung von Daten und Schema durch die abgeleiteten Abhängigkeiten -- 4.3 Prüfung von zusätzlichen Abhängigkeiten -- 5 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Erzeugung von Relationsschemata -- 5.1 Anwendimg des Normalisierungsalgorithmus auf die resultierenden funktionalen Abhängigkeiten -- 5.2 Namensgebung für Tabellen und Attribute -- 5.3 Elimination von Tupd-Identifikatoren und Einbeziehung von Inklusionsabhängigkeiten -- 5.4 Inklusionsabhängigkeiten und zusammengesetzte Schlüssel -- 5.5 Inklusionsabhängigkeiten und Transaktionen -- 5.6 Eine Optimierung für *:1-Beziehungstypen mit vollständiger Beteiligung auf der *-Seite -- 5.7 Beispiele für Abbildungen von ER-Modellen in relationale Schemata -- 5.8 Beispiele für Abbildungen von NIAM-Modellen in relationale Schemata -- 6 Vergleich von konzeptionellen Modellen -- 6.1 Attributäquivalenz -- 6.2 Abhängigkeitseinschluß -- 6.3 Abhängigkeitsäquivalenz Economics Data structures (Computer science) Logic design Management information systems Economics/Management Science Business Information Systems Data Structures, Cryptology and Information Theory Logics and Meanings of Programs Management Wirtschaft Konzeptionelle Modellierung (DE-588)4123555-1 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd |
| subject_GND | (DE-588)4123555-1 (DE-588)4258784-0 |
| title | Datenmodellierung mit deduktiven Techniken |
| title_auth | Datenmodellierung mit deduktiven Techniken |
| title_exact_search | Datenmodellierung mit deduktiven Techniken |
| title_full | Datenmodellierung mit deduktiven Techniken von Gustaf Neumann |
| title_fullStr | Datenmodellierung mit deduktiven Techniken von Gustaf Neumann |
| title_full_unstemmed | Datenmodellierung mit deduktiven Techniken von Gustaf Neumann |
| title_short | Datenmodellierung mit deduktiven Techniken |
| title_sort | datenmodellierung mit deduktiven techniken |
| topic | Economics Data structures (Computer science) Logic design Management information systems Economics/Management Science Business Information Systems Data Structures, Cryptology and Information Theory Logics and Meanings of Programs Management Wirtschaft Konzeptionelle Modellierung (DE-588)4123555-1 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd |
| topic_facet | Economics Data structures (Computer science) Logic design Management information systems Economics/Management Science Business Information Systems Data Structures, Cryptology and Information Theory Logics and Meanings of Programs Management Wirtschaft Konzeptionelle Modellierung Deduktives Datenbanksystem |
| url | https://doi.org/10.1007/978-3-642-46945-9 |
| work_keys_str_mv | AT neumanngustaf datenmodellierungmitdeduktiventechniken |