Items related to Logical Foundations of Database Transformations for...
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Logical Foundations of Database Transformations for...
Stock Image
Logical Foundations of Database Transformations for Complex-Value Databases
Seller: ISD LLC, Bristol, CT, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. Seller Inventory # 368851
Quantity: 2 available
Seller Image
Logical Foundations of Database Transformations for Complex-value Databases
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 28821810-n
Quantity: 2 available
Stock Image
Logical Foundations of Database Transformations for Complex-Value Databases (Paperback)
Published by
Logos Verlag Berlin GmbH, Berlin, 2010
ISBN 10: 3832525637
ISBN 13: 9783832525637
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # 9783832525637
Quantity: 1 available
Seller Image
Logical Foundations of Database Transformations for Complex-value Databases
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 28821810
Quantity: 2 available
Stock Image
Logical Foundations of Database Transformations for Complex-Value Databases
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2010. Paperback. . . . . . Seller Inventory # V9783832525637
Quantity: 2 available
Stock Image
Logical Foundations of Database Transformations for Complex-Value Databases
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 2010. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9783832525637
Quantity: 2 available
Stock Image
Logical Foundations of Database Transformations for Complex-Value Databases (Paperback)
Published by
Logos Verlag Berlin GmbH, Berlin, 2010
ISBN 10: 3832525637
ISBN 13: 9783832525637
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # 9783832525637
Quantity: 1 available