schliessen

Filtern

 

Bibliotheken

Dynamische Integrität von Datenbanken : Grundlagen der Spezifikation und Überwachung / von Udo W. Lipeck

Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzuständen zulässig sind, gibt man dynamische Integritätsbedingungen an. Komplementär dazu bestimmen Trans... Full description

PPN (Catalogue-ID): 748982221
Personen: Lipeck, Udo W. [VerfasserIn]
Format: eBook eBook
Language: German
Published: Berlin, Springer, 1989
Series: Informatik-Fachberichte (209)
Physical Description: Online-Ressource (IX, 140S), digital.
Link: Inhaltstext
ISBN: 978-3-642-74754-0

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 04307cam a22005892 4500
001 748982221
003 DE-627
005 20180412220748.0
007 cr uuu---uuuuu
008 130610s1989 xx |||||o 00| ||ger c
020 |a 9783642747540  |9 978-3-642-74754-0 
024 7 |a 10.1007/978-3-642-74754-0  |2 doi 
035 |a (DE-627)748982221 
035 |a (DE-599)GBV748982221 
035 |a (ZBM)0684.68110 
035 |a (DE-He213)978-3-642-74754-0 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a ger 
044 |c XA-DE 
050 0 |a QA76.9.D3 
082 0 |a 005.74  |2 23 
084 |a *68P20  |2 MSC 
084 |a 68-02  |2 MSC 
100 1 |a Lipeck, Udo W.  |e verfasserin  |4 aut 
245 1 0 |a Dynamische Integrität von Datenbanken  |b Grundlagen der Spezifikation und Überwachung  |c von Udo W. Lipeck 
264 1 |a Berlin  |a Heidelberg  |b Springer  |c 1989 
300 |a Online-Ressource (IX, 140S)  |b digital 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 0 |a Informatik-Fachberichte  |v 209 
520 |a Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzuständen zulässig sind, gibt man dynamische Integritätsbedingungen an. Komplementär dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausführbaren Zustandsfolgen. Diese Monographie stellt zwei Ansätze zur Überwachung der dynamischen Integrität von Datenbanken vor. Es werden theoretische und algorithmische Grundlagen sowie die beim Datenbank-Entwurf erforderlichen Vorbereitungen behandelt. Die Verfahren werden anhand eines durchlaufenden Standardbeispiels demonstriert. Spezifiziert werden Integritätsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-/Nachbedingungen; die Semantik dieser Kalküle wird im Buch eingeführt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zulässigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Prüfungen zurückführt. Andererseits kann man anhand der Graphen Integritätsbedingungen systematisch in Vor-/Nachbedingungen von Transaktionen transformieren, so daß jede ausführbare Zustandsfolge zulässig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepaßte Überwachung vor und führt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung 
533 |f Springer eBook Collection. Computer Science and Engineering 
776 1 |z 9783540511304  |9 978-3-540-51130-4 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-74754-0  |x Resolving-System  |z Lizenzpflichtig  |3 Volltext 
856 4 2 |u http://zbmath.org/?q=an:0684.68110  |m V:DE-601  |m B:ZBM  |q pdf/application  |v 2014-03-10  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a ZDB-2-STI  |b 1989 
912 |a ZDB-2-BAD 
912 |a GBV_ILN_20 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a SSG-OPC-MAT 
912 |a GBV_ILN_60 
912 |a GBV_ILN_70 
951 |a BO 
980 |2 20  |1 01  |b 1654776149  |l CATDESC_SPR-EB  |x 0084  |y z  |z 22-12-16 
980 |2 60  |1 01  |b 151566323X  |h SpringerLink  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |k Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung  |x 0705  |y z  |z 03-01-15 
980 |2 70  |1 01  |b 1454355204  |h OLR-SBADE  |k Campusweiter Zugriff (Universität Hannover). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0089  |y z  |z 25-01-14 
981 |2 20  |1 01  |r http://dx.doi.org/10.1007/978-3-642-74754-0 
981 |2 60  |1 01  |y Volltextzugang Campus  |r http://dx.doi.org/10.1007/978-3-642-74754-0 
981 |2 70  |1 01  |r http://dx.doi.org/10.1007/978-3-642-74754-0 
995 |2 60  |1 01  |a SpringerLink 
995 |2 70  |1 01  |a OLR-SBADE