Datenbanksysteme in Büro, Technik und Wissenschaft: GI/SI-Fachtagung Zürich, 1.–3. März 1989 Proceedings

440 Pages·1989·28.09 MB·German

by  François Bancilhon (auth.)

Informatik - Fachberichte
Band 158: G. Cyranek, A. Kachru, H. Kaiser (Hrsg.l, Informatik und Band 182: W. Barth (Hrsg.l, Visualisierungstechniken und Algorith
"Dritte Welt". X, 302 Seiten. 1988. men. Fachgesprach, Wien, September 1988. Proceedings. VIII, 247
Seiten. 1988.
Band 159: Th. Christaller, H.-W. Hein, M. M. Richter (Hrsg.l, KOnst
liche Intelligenz. FrOhjahrsschulen, Dassel, 1985 und 1986. VII, 342 Band 183: A. Clauer, W. Purgathofer (Hrsg.l, AUSTROGRAPHICS
Seiten. 1988. '88. Fachtagung, Wien, September 1988. Proceedings. VIII, 267
Seiten. 1988.
Band 160: H. Mancher, Fehlertolerante dezentrale ProzeBauto
matisierung. XVI, 243 Seiten. 1987. Band 184: B. Gollan, W. Paul, A. Schmitt (Hrsg.l, Innovative Infor
mations-lnfrastrukturen.1.1.1. -Forum, SaarbrOcken, Oktober1988.
Band 161: P. Peinl, Synchronisation in zentralisierten Datenbank Proceedings. VIII, 291 Seiten. 1988.
systemen. XII, 227 Seiten. 1987.
Band 185: B. Mitschang, Ein MolekOI-Atom-Datenmodell fOr Non
Band 162: H. Stoyan (Hrsg.l, BegrOndungsverwaltung. Proceed Standard-Anwendungen. XI, 230 Seiten. 1988.
ings, 1986. VII, 153 Seiten. 1988.
Band 186: E. Rahm, Synchronisation in Mehrrechner-Datenbank
Band 163: H. MOiler, Realistische Computergraphik. VII, 146 Seiten. systemen. IX, 272 Seiten. 1988.
1988.
Band 187: R. Valk (Hrsg.l, GI-18. Jahrestagung I. Vernetzte und
Band 164: M. Eulenstein, Generierung portabler Compiler. X, 235 komplexe Informatik-Systeme. Hamburg, Oktober 1988. Proceed
Seiten. 1988. ings. XVI, 776 Seiten.
Band 165: H.-U. Hei8, Oberlast in Rechensystemen. IX, 176 Seiten. Band 188: R. Valk (Hrsg.l, GI-18. Jahrestagung II. Vernetzte und
1988. komplexe Informatik-Systeme. Hamburg, Oktober 1988. Proceed
ings. XVI, 704 Seiten.
Band 166: K. HOrmann, Kollisionsfreie Bahnen fOr Industrieroboter.
XII, 157 Seiten. 1988. Band 189: B. Wolfinger (Hrsg.l, Vernetzte und komplexe Informatik
Systeme. Industrieprogramm zur 18. Jahrestagung der GI, Ham
Band 167: R. Lauber (Hrsg.l, ProzeBrechensysteme '88. Stuttgart, burg, Oktober 1988. Proceedings. X, 229 Seiten. 1988.
Marz 1988. Proceedings. XIV, 799 Seiten. 1988.
Band 190: D. Maurer, Relevanzanalyse. VIII, 239 Seiten. 1988.
Band 168: U. Kastens, F. J. Rammig (Hrsg.l, Architektur und Betrieb Band 191: P. Levi, Planen fOr autonome Montageroboter. XIII, 259
von Rechensystemen. 10. GIIITG-Fachtagung, Paderborn, Marz Seiten. 1988.
1988. Proceedings. IX, 405 Seiten. 1988.
Band 192: K. Kansy, P. WiBkirchen (Hrsg.l, Graphik im BOrobe
Band 169: G. Heyer, J. Krems, G. GOrz (Hrsg.l, Wissensarten und reich. Proceedings, 1988. VIII, 187 Seiten. 1988.
ihre Darstellung. VIII, 292 Seiten. 1988.
Band 193: W. Gotthard, Datenbanksysteme fOr Software-Prod uk
Band 170: A. Jaeschke, B. Page (Hrsg.I,lnformatikanwendungen im tionsumgebungen. X, 193 Seiten. 1988.
Umweltbereich. 2. Symposium, Karlsruhe, 1987. Proceedings. X,
201 Seiten. 1988. Band 194: C. Lewerentz, Interaktives Entwerlen groBer Programm
systeme. VII, 179 Seiten. 1988.
Band 171: H. Lutterbach (Hrsg.l, Non-Standard Datenbanken fOr
Anwendungen der Graphischen Datenverarbeitung. GI-Fachge Band 195: I. S. Batori, U. Hahn, M. Pinkal, W. Wahlster (Hrsg.l, Com
sprach, Dortmund, Marz 1988, Proceedings. VII, 183 Seiten. 1988. puterlinguistik und ihre theoretischen Grundlagen. Proceedings.
IX, 218 Seiten. 1988.
Band 172: G. Rahmstorl (Hrsg.l, Wissensreprasentation in Ex
pertensystemen. Workshop, Herrenberg, Marz 1987. Proceedings. Band 197: M. Leszak, H. Eggert, Petri-Netz-Methoden und -Werk
VII, 189 Seiten. 1988. zeuge. XII, 254 Seiten. 1989.
Band 198: U. Reimer, FRM: Ein Frame-Reprasentationsmodell und
Band 173: M. H. Schulz, Testmustergenerierung und Fehlersimu
seine formale Semantik. VIII, 161 Seiten. 1988.
lation in digitalen Schaltungen mit hoher Komplexitat. IX, 165 Sei
ten. 1988. Band 199: C. Beckstein, Zur Logik der Logik-Programmierung. IX,
246 Seiten. 1988.
Band 174: A. EndrOs, Rechtsprechung und Computer in den neun
ziger Jahren. XIX, 129 Seiten. 1988. Band 200: A. Reinefeld, Spielbaum-Suchverlahren. IX, 191 Seiten.
1989.
Band 175: J. HOlsemann, Funktioneller Test der AuflOsung von Zu
griffskonflikten in Mehrrechnersystemen. X, 179 Seiten. 1988. Band 201: A. M. Kotz, Triggermechanismen in Datenbanksystemen.
VIII, 187 Seiten. 1989.
Band 176: H. Trost (Hrsg.l, 4.0sterreichische Artificial-Intelli
gence-Tagung. Wien, August 1988. Proceedings. VIII, 207 Seiten. Band 202: Th. Christaller (Hrsg.l, KOnstliche Intelligenz. 5. FrOh
1988. jahrsschule, KIFS-87, GOnne, MarzlApril1987. Proceedings. VII,
403 Seiten. 1989.
Band 177: L. Voelkel, J. Pliquett, Signaturanalyse. 224 Seiten. 1988.
Band 203: K. v. Luck (Hrsg.l, KOnstliche Intelligenz. 7. FrOhjahrs
Band 178: H. GOttler, Graphgrammatiken in der Softwaretechnik. schule, KIFS-89, GOnne, Marz 1989. Proceedings. VII, 302 Seiten.
VIII, 244 Seiten. 1988. 1989.
Band 179: W. Ameling (Hrsg.l, Simulationstechnik. 5. Symposium. Band 204: T. Harder (Hrsg.l, Datenbanksysteme in BOro, Technik
Aachen, September 1988. Proceedings. XIV, 538 Seiten. 1988. und Wissenschaft. GI/SI-Fachtagung, ZOrich, Marz 1989. Pro
ceedings. XII, 427 Seiten. 1989.
Band 180: H. Bunke, O. KObler, P. Stucki (Hrsg.l, Mustererkennung
1988. 10. DAGM-Symposium, ZOrich, September 1988. Proceed Band 205: P. J. KOhn (Hrsg.l, Kommunikation in verteilten Sy
ings. XV, 361 Seiten. 1988. stemen. ITG/GI-Fachtagung, Stuttgart, Februar 1989. Proceed
ings. XII, 907 Seiten. 1989.
Band 181: W. Hoeppner (Hrsg.l, KOnstliche Intelligenz. GWAI-88,
12. Jahrestagung. Eringerleld, September 1988. Proceedings. XII, Band 206: P. Horster, H.lsselhorst, Approximative Public-Key
333 Seiten. 1988. Kryptosysteme. VII, 174 Seiten. 1989.
Informatik-Fachberichte 204
Herausgeber: W. Brauer
im Auftrag der Gesellschaft fOr Informatik (GI)
T. Harder (Hrsg.)
Daten ban ksysteme
in BOro, Technik und
Wissenschaft
GI/SI-Fachtagung
ZOrich, 1.-3. Marz 1989
Proceed i ngs
Spri nger- Verlag
Berlin Heidelberg New York
London Paris Tokyo
Herausgeber
Theo Harder
Universitat Kaiserslautern, Fachbereich Informatik
Erwin-Schrodinger-StraBe, D-6750 Kaiserslautern
CR Subject Classification (1987): D.2.6, H.2-3, H.4.1, 1.2.1,
1.2.3-4, 1.3.5, J.6
ISBN-13: 978-3-540-50894-6 e-ISBN-13: 978-3-642-74571-3
001: 10.1007/978-3-642-74571-3
CIP-Titelaufnahme der Deutschen Bibliothek.
Datenbanksysteme in BOre, Technik und Wissenschaft: GI/SI-Fachlagung; proceedings. - Berlin;
Heidelberg; New York; London; Paris; Tokyo: Springer.
NE: Gesellschaft fOr Informatik
1989. ZOrich, 1.-3. M1!rz 1989.-1989
(Informatik-Fachberichte; 204)
NE:GT
Dieses Werk ist urheberrechtlich geschiltzt. Die dadurch begrOndeten Rechte, insbesondere
die der Obersetzung, des Nachdrucks, des Vortrags, der Entnahme von Abbildungen und Tabel
len, der Funksendung, der Mikroverfilmung oder der Vervielf1!ltigung auf anderen Wegen und der
Speicherung in Datenverarbeitungsanlagen, bleiben, auch bei nur auszugsweiser Verwertung,
vorbehalten. Elne Vervielf!lltlgung dleses Werkes oder von Teilen dieses Werkes ist auch 1m
Einzellall nur in den Grenzen der gesetzlichen Bestimmungen des Urheberrechtsgesetzes der
Bundesrepublik Deutschland vom 9. September 1965 in der Fassung vom 24.Juni1985 zul!lssig.
Sie ist grundsiltzlich vergOtungspflichtig. Zuwiderhandlungen unterliegen den Strafbestim
mungen des Urheberrechtsgesetzes.
© by Springer-Verlag Berlin Heidelberg 1989
2145/3140-543210 - Gedruckt auf s1!urefreiem Papier
Vorwort
1m Bereich der Datenbankverwaltung haben neue Anwendungen und Einsatzbereiche zahlreiche
neuartige Forschungsvorhaben und herausfordernde Entwicklungsaufgaben hervorgebracht. Sie
bilden seit Jahren weltweit einen Schwerpunkt der Datenbankforschung, wobei man sich weniger
auf theoretische Fragestellungen als vielmehr auf aktuelle Themen der Praxis konzentriert. Ais
wichtige Gebiete, die auch dieser Tagung ihren Namen gegeben haben, lassen sich hier Anwen
dungen in den weiten Bereichen der BOroinformationssysteme, der Technik sowie der Wissen
schaft nennen. Heute werden bereits aussichtsreiche LOsungsvorschlage in vielen Forschungs
projekten untersucht und durch Prototyp-Implementierungen getestet, so daB jetzt auch erste
Aussagen Ober das Leistungsverhalten solcher DB-gestOtzter Anwendungen erwartet werden
kOnnen.
Die Fachtagung "Datenllanksysteme in BOro, Technik und Wissenschaft" (BTW) versteht sich als
wissenschaftliches Forum fOr die oben genannte Thematik im deutschsprachigen Raum. Nach
erfolgreichen Fachtagungen in Karlsruhe 1985 und in Darmstadt 1987 findet die dritte BTW
Tagung vom 1.-3. Marz 1989 an der EidgenOssischen Technischen Hochschule ZOrich statt. Sie
wird zum ersten Mal als gemeinsame Fachtagung der Gesellschaft fOr Informatik (GI) und der
Schweizer Informatiker Gesellschatt (SI), vertreten durch den FachausschuB 2.5 "Rechnerge
stOlzte Informationssysteme" der GI und der Fachgruppe DBTA (Data Bases - Theory and Appli
cation) der SI, veranstaltet.
Gemessen an der Zahl und Qualitat der eingereichten Beitrage war die Resonanz auf den "Call for
Papers" fOr die Tagung sehr gut. Erfreulicherweise kam auch eine groBe Anzahl der Beitrage von
Ehtwicklern und Anwendern aus der Praxis. Das Programmkomitee erhielt insgesamt etwa 50
Langbeitrage und 30 Kurzbeitrage, aus denen es das Programm fOr diese Tagung zusammen
stellen konnte. Die hohe Zahl der Beitrage zeigt, daB sich die "BTW" inzwischen als Tagungsreihe
sowie als "Diskussionsforum fOr die Praxis" fest etabliert hat.
An dieser Stelle mOchte ich allen Autoren ausdrOcklich fOr ihre MOhe und ihre Arbeit danken, auch
wenn sie nicht mit ihrem Beitrag in diesem Tagungsband vertreten sind. Das Programmkomitee
hat sieh seine Auswahlentseheidung nieht leieht gemaeht. Aile Lang- und Kurzbeitrage wurden
von mindestens drei Gutaehtern bewertet; bei reeht hohem wissenschaftlichem Niveau der
Beitrage muBten wegen der begrenzten Vortragszeit oft zusatzliche Kriterien wie thematisehe
Orientierung bei der Auswahlentseheidung berOeksiehtigt werden. Es wurde darauf geachtet, daB
die in den Langbeitragen dargestellten Ergebnisse als wissensehaftlieh gesiehert gelten konnen,
wah rend bei den Kurzbeitragen aueh Projektberiehte, Anwendererfahrungen oder interessante
Forsehungsideen und -ansatze mit vorlaufigem Charakter akzeptiert wurden. Daraus entstand
eine Misehung aus 15 Langbeitragen und 20 Kurzbeitragen, die hoffentlieh die wesentliehen
aktuellen Entwieklungen des breiten BTW-Forsehungsspektrums widerspiegeln. Das Tagungspro-
VI
gramm wird zusatzlich gestOtzt durch zwei eingeladene Beitrage, welche die Themen "Anfrage
sprachen fOr objektorientierte Datenbanksysteme" und "Analyse des VerMltnisses von Anwen
dungs- und Datenbanksystemen" behandeln, die die Datenbankforschung wohl noch fOr geraume
Zeit bescMftigen werden.
Die DurchfOhrung einer Tagung ist nur mit vieHaltiger UnterstOtzung moglich, die mir bereitwillig
und in erheblichem Umfang gewahrt wurde. DafOr rnOchte ich mich bedanken: bei den Autoren
der eingereichten Beitrage, bei den Mitgliedern des Programmkomitees, bei den Gutachtern der
Beitrage, bei der Tagungsleitung (siehe nachste Seite), bei den unterstOtzenden Institutionen,
beim Springer-Verlag fOr die schnelle Erstellung der Proceedings.
Ganz besonders bedanken mochte ich mich bei den Mitgliedern des Organisationskomitees unter
Leitung von Dr. R. Marti. Ebenso gilt mein Dank den vielen "anonymen" Helfern; stellvertretend
fOr sie dart ich hier meine Mitarbeiter M. GaB, Dr. B. Mitschang, H. Neu und A. Sikeler nennen.
Kaiserslautern, im Dezember 1988 Theo Harder
Tagungsleltung
Prof. Dr. C.A. Zehnder, ETH ZOrich (Vorsitz)
Prof. Dr. H.P. Frei, ETH ZOrich
Prof. Dr. K. Bauknecht, Uni ZOrich
Programmkomltee
Prof. Dr. T. Harder, Uni Kaiserslautern (Vorsitz)
Prof. Dr. H.-J. Appelrath, Uni Oldenburg
Prof. Dr. K. Bauknecht, Uni ZOrich
Dr. M. Bartschi, BBC Brown Boveri AG
Dr. H. Biller, Siemens AG
Dr. R. Bragger, CAP GEMINI (Schweiz) AG
Dr. P. Dadam, IBM Deutschland GmbH
Dr. K. Dittrich, FZI Karlsruhe
Prof. Dr. H.-D. Ehrich, TU Braunschweig
Prof. Dr. H.P. Frei, ETH ZOrich
Prof. Dr. G. Lausen, Uni Mannheim
Dr. H.C. Mayr, KMK Kreutz & Mayr Ges. f. Datent. mbH
Dr. A. Meier, Schweizerischer Bankverein
Prof. Dr. A. Reuter, Uni Stuttgart
Prof. Dr. H.-J. Schek, TH Darmstadt
Prof. Dr. G. Schlageter, FernUni Hagen
Prof. Dr. Stucky, Uni Karlsruhe (TH)
Dipl.-Inform. H. Thoma, Ciba-Geigy AG
Prof. Dr. A.M. Tjoa, Uni Wien
Prof. Dr. H. Wedekind, Uni Erlangen-NOrnberg
Organlsatlonskomitee
Dr. R. Marti, Vorsitz
Dr. A. Dudler, P. Janes, F. Oertly,
W. ROttener, Frau G. Unseld, Dr. P. Ursprung
ETH ZOrich
Als weltere Gutachter standen dem Programmkomitee zur VerfOgung
K. Abramowicz R. Meyer
J. Bohme K. Neumann
H. Eirund M. Nussbaum
G. Engels V.Obermeit
R. Erbe A. Oberweis
W. Gottharcl H.-P. Paul
M. Hartig P. Pistor
U. Herrmann M. Ranft
Ch. Hubel Th.Raupp
K. HUlsmann S. Rehm
H.Jasper B. Schiefer
Bin Jiang M. Scholl
U. Kessler D. Stieger
P. Klarhold N. Sudkamp
H. Knolle R. Unland
A. Kotz W. Waterfeld
R. Kramer Ch. Wieland
K.Kuspert W. Wilkes
V. Linnemann A. Wolf
F. Lohmann B. WUthrich
M. Marmann M.Wyle
R. Marti P.Zabback
Inhaltsverzeichnis
Eingeladene Beitrilge
Bancilhon, F.:
"Query Languages for Object-Oriented Database Systems: Analysis and a Proposal"
Wedekind, H.:
"Eine logische Analyse des Verhaltnisses von Anwendungs-und Datenbanksystemen" 19
Sitzungen
Anwendungenl
Lohmann, F., Neumann,K., Ehrich, H.-D.:
"Entwurf eines Datenbank-Prototyps far geowissenschaftliche Anwendungen"
(Langbeitrag) 43
Loers, J., Schmidt, F.J., Wenderoth, W.:
"CADBASE -Ein Datenhaltungssystem fOr Objekt -und Versions-Management
in rechnerunterstOtzten Engineering-Anwendungen" (Kurzbeitrag) 58
WAlchli,A.:
"Entwurf und Realisierung eines Datenbank-Systems fOr das Geometriesystem VEGAS"
(Kurzbeitrag) 63
Kachel, G., KathOfer, Th., Nelke, B.:
"Die Datenhaltung der CADLAB-Workstation: Konzept und Realisierung" (Kurzbeitrag) 68
Egenhofer, M.J., Frank, A.U.:
"PANDA: An Extensible DBMS Supporting Object-Oriented Software Techniques"
(Kurzbeitrag) 74
ParallellUH & SynchronIsatIon
Schiele, G.:
"Eine Testumgebung zur Untersuchung paralleler Verarbeitungsstrategien in
komplexen Transaktionen" (Langbeitrag) 80
Herrmann, U., Dadam, P., KOspert, K., Schlageter, G.:
"Sperren disjunkter, nicht-rekursiver komplexer Objekte mittels objekt-und anfrage
spezifischer Sperrgraphen" (Langbeitrag) 98
Unland, R., Schlageter, G.:
"Ein allgemeines Modell fOr Sperren in Nicht-Konventionellen Datenbanken"
(Kurzbeitrag) 114
x
I ntegrHAt
Pfefferle, H., Hartig, M., Dittrich, K.:
"Autorisierung und ZugriffsOberwachung in strukturell objekt-orientierten Daten
banksystemen" (Langbeitrag) 119
Leikauf, P.:
"Konsistenzsicherung durch Verwaltung von Konsistenzverletzungen" (Langbeitrag) 135
Nau, H.w., Wedekind, H.:
"Die Spezifikation von Nullwerten als Problem einer wissensbasierten BOro
automatisierung" (Langbeitrag) 154
Petry, E.:
"Zugriffskontrolle in einer Standarddatenbank fOr Software-Entwicklungsumgebungen"
(Kurzbeitrag) 171
Wissensbasierte DB-AnsAtze
Ludwig, Th., Walter, B., Ley, M., Maier, A., Gehlen, E.:
"LlLOG-DB: Database Support for Knowledge-Based Systems" (Langbeitrag) 176
Schmidt, H., Kiessling, W., GOntzer, U., Bayer, R.:
"DBA": Solving Combinatorial Problems with Deductive Databases" (Langbeitrag) 196
Jasper, H.:
"Prolog und Datenbanken: Ein Schema fOr die externe Verwaltung von Prolog
Program men" (Langbeitrag) 216
Jiang, B.:
"Making the Partial Transitive Closure an Elementary Database Operation"
(Lang beitrag) 231
Implementierungsaspekte
Gunther, 0., Bilmes, J.:
"The Implementation of the Cell Tree: Design Altematives and Performance Evaluation"
(Langbeitrag) 246
Marti, R., Wieland, C., WUthrich, B.:
"Adding Inferencing to a Relational Database Management System" (Kurzbeitrag) 266
Kafer, W.:
"Ein Geschichts-und Versionsmodell fOr komplexe Objekte" (Kurzbeitrag) 271
Schmidt, D., Bauknecht, K.:
"DB++ -persistent objects for C++" (Kurzbeitrag) 277