Logical Foundations of Database Transformations for Complex-Value Databases
Qing Wang
Jan 2010 · Logos Verlag Berlin GmbH
Ebook
238
Pages
family_home
Eligible
info
reportRatings and reviews aren’t verified Learn More
About this ebook
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.
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
