Logical Foundations of Database Transformations for Complex-Value Databases

Released on by Qing Wang
preview-18

  • Logical Foundations of Database Transformations for Complex-Value Databases Book Detail

  • Author : Qing Wang
  • Release Date : 2010
  • Publisher : Logos Verlag Berlin GmbH
  • Genre : Computers
  • Pages : 253
  • ISBN 13 : 3832525637
  • File Size : 11,11 MB
DOWNLOAD BOOK

Logical Foundations of Database Transformations for Complex-Value Databases by Qing Wang PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Logical Foundations of Database Transformations for Complex-Value Databases books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Semantics in Data and Knowledge Bases

Semantics in Data and Knowledge Bases

File Size : 31,31 MB
Total View : 8482 Views
DOWNLOAD

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2010, held in Bo

Conceptual Modeling – ER 2011

Conceptual Modeling – ER 2011

File Size : 78,78 MB
Total View : 278 Views
DOWNLOAD

This book constitutes the refereed proceedings of the 30th International Conference on Conceptual Modeling, ER 2011, held in Brussels, Belgium, in October/Novem