Download Logical Foundations of Database Transformations for Complex-Value Databases Pdf

Logical Foundations of Database Transformations for Complex-Value Databases true
By:Qing Wang
Published on 2010 by Logos Verlag Berlin GmbH

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.

This Book was ranked at 30 by Google Books for keyword Relational Databases.

Book ID of Logical Foundations of Database Transformations for Complex-Value Databases's Books is 1ysHiIpL4PQC, Book which was written byQing Wanghave ETAG "vhw7yDtw0B4"

Book which was published by Logos Verlag Berlin GmbH since 2010 have ISBNs, ISBN 13 Code is 9783832525637 and ISBN 10 Code is 3832525637

Reading Mode in Text Status is false and Reading Mode in Image Status is true

Book which have "252 Pages" is Printed at BOOK under CategoryComputers

Book was written in en

eBook Version Availability Status at PDF is true and in ePub is false

Book Preview

Logical Foundations of Database Transformations for Complex-Value Databases Free Download

Logical Foundations of Database Transformations for Complex-Value Databases PDF Free

Logical Foundations of Database Transformations for Complex-Value Databases PDF

Logical Foundations of Database Transformations for Complex-Value Databases Free

Logical Foundations of Database Transformations for Complex-Value Databases Books

Logical Foundations of Database Transformations for Complex-Value Databases Books Free

Logical Foundations of Database Transformations for Complex-Value Databases Audio Books

Logical Foundations of Database Transformations for Complex-Value Databases full-text Books

Logical Foundations of Database Transformations for Complex-Value Databases Online Read

Logical Foundations of Database Transformations for Complex-Value Databases Kindle

Logical Foundations of Database Transformations for Complex-Value Databases Review

Logical Foundations of Database Transformations for Complex-Value Databases Book Summary

Logical Foundations of Database Transformations for Complex-Value Databases Book PDF

Logical Foundations of Database Transformations for Complex-Value Databases Book Review

Logical Foundations of Database Transformations for Complex-Value Databases -Qing Wang- Google Books

Logical Foundations of Database Transformations for Complex-Value Databases byQing Wang- Goodreads

Logical Foundations of Database Transformations for Complex-Value Databases byQing Wang

Logical Foundations of Database Transformations for Complex-Value Databases -Qing Wang- 9783832525637

Logical Foundations of Database Transformations for Complex-Value Databases -Qing Wang- 3832525637

Logical Foundations of Database Transformations for Complex-Value Databases E-Books

Logical Foundations of Database Transformations for Complex-Value Databases byQing WangE-Books

Logical Foundations of Database Transformations for Complex-Value Databases byQing Wangebooks

Logical Foundations of Database Transformations for Complex-Value Databases byQing Wang- Full Text Free Book - Full Text Archive

Logical Foundations of Database Transformations for Complex-Value Databases byQing Wang- Full Text Free Book

Logical Foundations of Database Transformations for Complex-Value Databases byQing Wang- Full Text Archive

Amazon.com: Logical Foundations of Database Transformations for Complex-Value Databases byQing Wang