Informatik

Chun Du

RelCAD: A Relational CAD System with Constraint-Based Geometric Modelling

Forschungsergebnisse zur Informatik

Hamburg 1995, 159 Seiten

Most conventional CAD systems have been proved to be Computer-Aided Drafting systems. They do not offer sufficient support for the design activity. The reason is that they cannot understand the semantic information and keep the semantic […]

Stella Gatziu

Events in an Active, Object-Oriented Database System

Studien zur Datenbankforschung

Hamburg 1995, 208 Seiten

Neue Entwicklungen der Datenbanktechnologie haben häufig zum Ziel, mehr Umweltsemantik in der Datenbank selbst modellieren zu können. Aktive Datenbanksysteme sind Repräsentanten für dieses Bestreben; sie sind in der Lage, zusätzlich zu den […]

Stefan Scherrer

Specification and Prototypical Execution of Integrity Concepts for Domain-Specific Database Management Systems

Studien zur Datenbankforschung

Hamburg 1995, 200 Seiten

Die Datenqualität ist ein kritischer Erfolgsfaktor in der Informationsverarbeitung. Komponenten in Datenbankver-waltungssystemen (DBVSen), die es dem Anwendungsentwickler erlauben, Integritätsbedingungen zu definieren und die Konzepte für deren […]

Andreas Geppert

Methodical Construction of Database Management Systems

Studien zur Datenbankforschung

Hamburg 1995, 254 Seiten

Datenbankverwaltungssysteme (DBVSe) spielen eine immer größere Rolle in der Datenverarbeitung von Organisationen. Sie dringen in immer neue Bereiche vor, und ihre Funktionalität wird zunehmend erweitert. Angesichts der deshalb "großen" Anzahl zu […]

Martin Härtig

Objektorientierte Integration von autonomen Datenhaltungssystemen

Studien zur Datenbankforschung

Hamburg 1995, 260 Seiten

In vielen Einsatzbereichen der Informatik müssen Anwendungen heute Daten aus mehreren eigenständigen Datenbasen bearbeiten und verknüpfen. Da hierbei meist verschiedenste Datenhaltungssysteme - von Dateisystemen über konventionelle bis hin zu […]

Uwe Langer

Ein Konzept zur entwurfsbegleitenden Leistungsanalyse von Rechensystemen

Forschungsergebnisse zur Informatik

Hamburg 1995, 208 Seiten

Kurze Innovationszyklen und die ständig wachsende Komplexität von Rechensystemen erfordern eine möglichst frühzeitige Aufdeckung von Entwurffehlern und Leistungs-Engpässen. Daher sind entwurfsbegleitende quantitative Leistungsanalysen meist zu […]

Ferdinand Geue

Eckenabsuchende Verfahren und Entartung

Theorie, Algorithmen und Vergleichstests

Forschungsergebnisse zur Informatik

Hamburg 1994, 186 Seiten

Entartung ist ein Phänomen, das die Effizienz und Konvergenz pivotisierender Verfahren maßgeblich beeinflussen kann. Das bekannteste Beispiel hierfür stellt das Zykeln des Simplexverfahrens dar, zu dessen Verhinderung eine Reihe von Zusatzregeln […]

Michael Dahr

Petri Net Semantics of Logic Programs and Deductive Databases

Forschungsergebnisse zur Informatik

Hamburg 1994, 140 Seiten

Joining ideas from database theory and logic programming leads to the theory of deductive databases. In addition to the data stored in a database (extensional facts), a deductive database stores rule based knowledge concerning parts of the real […]

Wilhelm Hasselbring

Prototyping Parallel Algorithms in a Set-Oriented Language

Forschungsergebnisse der Programmentwicklung

Hamburg 1994, 216 Seiten

In diesem Buch wird der Entwurf und die Implementation eines Ansatzes zum Prototyping paralleler Algorithmen in der mengenorientierten Sprache ProSet präsentiert. Für eine Prototyping-Sprache ist es notwendig, zum Prototyping paralleler […]

Peter Luksch

Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher

Forschungsergebnisse zur Informatik

Hamburg 1994, 352 Seiten

Ziel dieser Arbeit ist es, einen objektiven Vergleich unterschiedlicher Ansätze zur Parallelisierung ereignisgetriebener Simulationsverfahren zu ermöglichen. In der Vergangenheit sind eine Reihe von Parallelisierungsansätzen für die […]