Dynamische Integritt von Datenbanken (Paperback)

Idioma: alemán

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989

354051130X / 9783540511304

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

Vendedor de 5 estrellas

Vendedor de IberLibro desde 22 de junio de 2007

Tapa blanda

Condición: Nuevo

EUR 87,01

Envío por EUR 33,03 
Se envía de Australia a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Paperback. 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 Datenbankzustaenden zulaessig sind, gibt man dynamische Integritaetsbedingungen an. Komplementaer dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausfuehrbaren Zustandsfolgen. Diese Monographie stellt zwei Ansaetze zur UEberwachung der dynamischen Integritaet 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 Integritaetsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-/Nachbedingungen; die Semantik dieser Kalkuele wird im Buch eingefuehrt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zulaessigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Pruefungen zurueckfuehrt. Andererseits kann man anhand der Graphen Integritaetsbedingungen systematisch in Vor-/Nachbedingungen von Transaktionen transformieren, so dass jede ausfuehrbare Zustandsfolge zulaessig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepasste UEberwachung vor und fuehrt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung. Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Pruefungen zurueckfuehrt. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

N° de ref. del artículo 9783540511304

Título
Dynamische Integritt von Datenbanken (Paperback)
Autor
Udo W. Lipeck
Editorial
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Año de publicación
1989
Estado
new
Encuadernación
Paperback
Idioma
alemán
ISBN 10
354051130X
ISBN 13
9783540511304

AussieBookSeller

Truganina, VIC, Australia

Vendedor de 5 estrellas

Vendedor de IberLibro desde 22 de junio de 2007

Tarifas de envío de Australia a Estados Unidos de America

ArtículoDe 25 a 45 días hábilesDe 8 a 14 días hábiles
Primer artículoEUR 33,03EUR 39,28
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Información empresarial del vendedor

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029