Verwandte Artikel zu Logical Foundations of Database Transformations for...
Inhaltsangabe
Database transformations consist of queries and updates which are two fundamental types of computations in any databases - the first provides the capability to retrieve data and the second is used to maintain databases in light of ever-changing application domains. This dissertation aims to lay down the foundations for establishing a theoretical framework of database transformations in the context of complex-value databases. The previous findings reveal that it is very difficult to characterise common features of database queries and updates in a way which is meaningful for further investigations. Nevertheless, the advent of the sequential Abstract State Machine (ASM) thesis capturing sequential algorithms sheds light on the study of database transformations. Observing that the class of computations described by database transformations may be formalised as algorithms respecting database principles, we propose the database ASM thesis for a complete characterisation of database transformations. It turns out that every database transformation characterised by five postulates can be behaviourally simulated by a database Abstract State Machine (DB-ASM) with the same signature and background, and vice versa. Furthermore, a logic for DB-ASMs is defined. In spite of bounded non-determinism permitted by DB-ASMs, the logic is proven to be sound and complete.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 49,65
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Logical Foundations of Database Transformations for...
Beispielbild für diese ISBN
Logical Foundations of Database Transformations for Complex-Value Databases
Anbieter: ISD LLC, Bristol, CT, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: New. Bestandsnummer des Verkäufers 368851
Anzahl: 2 verfügbar
Foto des Verkäufers
Logical Foundations of Database Transformations for Complex-value Databases
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 28821810-n
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Database Transformations for Complex-Value Databases (Paperback)
Verlag:
Logos Verlag Berlin GmbH, Berlin, 2010
ISBN 10: 3832525637
ISBN 13: 9783832525637
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. Database transformations consist of queries and updates which are two fundamental types of computations in any databases - the first provides the capability to retrieve data and the second is used to maintain databases in light of ever-changing application domains. This dissertation aims to lay down the foundations for establishing a theoretical framework of database transformations in the context of complex-value databases. The previous findings reveal that it is very difficult to characterise common features of database queries and updates in a way which is meaningful for further investigations. Nevertheless, the advent of the sequential Abstract State Machine (ASM) thesis capturing sequential algorithms sheds light on the study of database transformations. Observing that the class of computations described by database transformations may be formalised as algorithms respecting database principles, we propose the database ASM thesis for a complete characterisation of database transformations.It turns out that every database transformation characterised by five postulates can be behaviourally simulated by a database Abstract State Machine (DB-ASM) with the same signature and background, and vice versa. Furthermore, a logic for DB-ASMs is defined. In spite of bounded non-determinism permitted by DB-ASMs, the logic is proven to be sound and complete. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783832525637
Anzahl: 1 verfügbar
Foto des Verkäufers
Logical Foundations of Database Transformations for Complex-value Databases
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 28821810
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Database Transformations for Complex-Value Databases
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2010. Paperback. . . . . . Bestandsnummer des Verkäufers V9783832525637
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Database Transformations for Complex-Value Databases
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2010. Paperback. . . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783832525637
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Database Transformations for Complex-Value Databases (Paperback)
Verlag:
Logos Verlag Berlin GmbH, Berlin, 2010
ISBN 10: 3832525637
ISBN 13: 9783832525637
Neu
Paperback
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. Database transformations consist of queries and updates which are two fundamental types of computations in any databases - the first provides the capability to retrieve data and the second is used to maintain databases in light of ever-changing application domains. This dissertation aims to lay down the foundations for establishing a theoretical framework of database transformations in the context of complex-value databases. The previous findings reveal that it is very difficult to characterise common features of database queries and updates in a way which is meaningful for further investigations. Nevertheless, the advent of the sequential Abstract State Machine (ASM) thesis capturing sequential algorithms sheds light on the study of database transformations. Observing that the class of computations described by database transformations may be formalised as algorithms respecting database principles, we propose the database ASM thesis for a complete characterisation of database transformations.It turns out that every database transformation characterised by five postulates can be behaviourally simulated by a database Abstract State Machine (DB-ASM) with the same signature and background, and vice versa. Furthermore, a logic for DB-ASMs is defined. In spite of bounded non-determinism permitted by DB-ASMs, the logic is proven to be sound and complete. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Bestandsnummer des Verkäufers 9783832525637
Anzahl: 1 verfügbar