Logical Foundations of Database Transformations for Complex-Value Databases PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Logical Foundations of Database Transformations for Complex-Value Databases PDF full book. Access full book title Logical Foundations of Database Transformations for Complex-Value Databases by Qing Wang. Download full books in PDF and EPUB format.
Author: Qing Wang
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832525637
Category : Computers
Languages : en
Pages : 253
Get Book Here
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.
Author: Qing Wang
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832525637
Category : Computers
Languages : en
Pages : 253
Get Book Here
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.
Author: Klaus-Dieter Schewe
Publisher: Springer Science & Business Media
ISBN: 3642234402
Category : Computers
Languages : en
Pages : 142
Get Book Here
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2010, held in Bordeaux, France in July 2010. The 6 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed and selected during two rounds of revision and improvement. The papers reflect a variety of approaches to semantics in data and knowledge bases.
Author: Manfred Jeusfeld
Publisher: Springer Science & Business Media
ISBN: 3642246052
Category : Computers
Languages : en
Pages : 546
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 30th International Conference on Conceptual Modeling, ER 2011, held in Brussels, Belgium, in October/November 2011. The 25 revised full papers presented together with 14 short papers and three keynotes were carefully reviewed and selected from 157 submissions. The papers are organized in topical sections on modeling goals and compliance; human and socio-technical factors; ontologies; data model theory; model development and maintainability; user interfaces and software classification; evolution, propagation and refinement; UML and requirements modeling; views, queries and search; requirements and business intelligence; MDA and ontology-based modeling; process modeling; panels.
Author: Antje Düsterhöft
Publisher: Springer
ISBN: 3642282792
Category : Computers
Languages : en
Pages : 336
Get Book Here
Book Description
This Festschrift, published in honor of Bernhard Thalheim on the occasion of his 60th birthday presents 20 articles by colleagues from all over the world with whom Bernhard Thalheim had cooperation in various respects; also included is a scientific biography contributed by the volume editors. The 20 contributions reflect the breadth and the depth of the work of Bernhard Thalheim in conceptual modeling and database theory during his scientific career spanning more than 35 years of active research. In particular, ten articles are focusing on topics like database dependency theory, object-oriented databases, triggers, abstract state machines, database and information systems design, web semantics, and business processes.
Author: Sven Hartmann
Publisher: Springer
ISBN: 3540776842
Category : Computers
Languages : en
Pages : 408
Get Book Here
Book Description
An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine revised short papers and three invited lectures. All of these were carefully selected during two rounds of reviewing and improvement from a total of 79 submissions.
Author: Andreas Herzig
Publisher: Springer Nature
ISBN: 3030399516
Category : Mathematics
Languages : en
Pages : 352
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.
Author: Anneli Heimbürger
Publisher: IOS Press
ISBN: 1607506890
Category : Computers
Languages : en
Pages : 460
Get Book Here
Book Description
Author: Michael Butler
Publisher: Springer
ISBN: 3319912712
Category : Mathematics
Languages : en
Pages : 438
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Author: S. I. Adi︠a︡n
Publisher: Springer Science & Business Media
ISBN: 9783540630456
Category : Computers
Languages : en
Pages : 456
Get Book Here
Book Description
A Sobolev gradient of a real-valued functional is a gradient of that functional taken relative to the underlying Sobolev norm. This book shows how descent methods using such gradients allow a unified treatment of a wide variety of problems in differential equations. Equal emphasis is placed on numerical and theoretical matters. Several concrete applications are made to illustrate the method. These applications include (1) Ginzburg-Landau functionals of superconductivity, (2) problems of transonic flow in which type depends locally on nonlinearities, and (3) minimal surface problems. Sobolev gradient constructions rely on a study of orthogonal projections onto graphs of closed densely defined linear transformations from one Hilbert space to another. These developments use work of Weyl, von Neumann and Beurling.
Author: Torsten Polle
Publisher: Springer Science & Business Media
ISBN: 1461551374
Category : Computers
Languages : en
Pages : 190
Get Book Here
Book Description
Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory: identification as a primitive of database models deontic action programs marked nulls in queries topological canonization in spatial databases complexity of search queries complexity of Web queries attribute grammars for structured document queries hybrid multi-level concurrency control efficient navigation in persistent object stores formal semantics of UML reengineering of object bases and integrity dependence . Fundamentals of Information Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
