Foundations of Query Answering in Relational Data Exchange PDF Download

Author: André Hernich
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832527354
Category : Computers
Languages : en
Pages : 243

View

Book Description
Relational data exchange is the problem of translating relational data according to a given specification. It is one of the many tasks that arise in information integration. A fundamental issue is how to answer queries that are posed against the result of the data exchange so that the answers are semantically consistent with the source data. For monotonic queries, the certain answers semantics by Fagin, Kolaitis, Miller, and Popa (2003) yields good answers. For many non-monotonic queries, however, this semantics was shown to yield counter-intuitive answers. This dissertation deals with the problem of computing the certain answers to monotonic queries on the one hand. On the other hand, it presents and compares semantics for answering non-monotonic queries, and investigates how hard it is to evaluate non-monotonic queries under these semantics.

Author: Marcelo Arenas
Publisher: Cambridge University Press
ISBN: 1107782791
Category : Computers
Languages : en
Pages : 345

View

Book Description
The problem of exchanging data between different databases with different schemas is an area of immense importance. Consequently data exchange has been one of the most active research topics in databases over the past decade. Foundational questions related to data exchange largely revolve around three key problems: how to build target solutions; how to answer queries over target solutions; and how to manipulate schema mappings themselves? The last question is also known under the name 'metadata management', since mappings represent metadata, rather than data in the database. In this book the authors summarize the key developments of a decade of research. Part I introduces the problem of data exchange via examples, both relational and XML; Part II deals with exchanging relational data; Part III focuses on exchanging XML data; and Part IV covers metadata management.

Author: Giacomo Bonanno
Publisher: Springer Science & Business Media
ISBN: 3642151639
Category : Computers
Languages : en
Pages : 219

View

Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. They survived a thorough and lengthy reviewing process. The LOFT conferences are interdisciplinary events that bring together researchers from a variety of fields: computer science, economics, game theory, linguistics, logic, multi-agent systems, psychology, philosophy, social choice and statistics. Its focus is on the general issue of rationality and agency. The papers collected in this volume reflect the contemporary interests and interdisciplinary scope of the LOFT conferences.

Author: Jeff Z. Pan
Publisher: Springer
ISBN: 3319494937
Category : Computers
Languages : en
Pages : 271

View

Book Description
This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016. In 2016, the theme of the school was “Logical Foundation of Knowledge Graph Construction and Query Answering”. The notion of knowledge graph has become popular since Google started to use it to improve its search engine in 2012. Inspired by the success of Google, knowledge graphs are gaining momentum in the World Wide Web arena. Recent years have witnessed increasing industrial take-ups by other Internet giants, including Facebook's Open Graph and Microsoft's Satori. The aim of the lecture note is to provide a logical foundation for constructing and querying knowledge graphs. Our journey starts from the introduction of Knowledge Graph as well as its history, and the construction of knowledge graphs by considering both explicit and implicit author intentions. The book will then cover various topics, including how to revise and reuse ontologies (schema of knowledge graphs) in a safe way, how to combine navigational queries with basic pattern matching queries for knowledge graph, how to setup a environment to do experiments on knowledge graphs, how to deal with inconsistencies and fuzziness in ontologies and knowledge graphs, and how to combine machine learning and machine reasoning for knowledge graphs.

Author: Nick Bassiliades
Publisher: Springer
ISBN: 3319215426
Category : Computers
Languages : en
Pages : 482

View

Book Description
This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015. The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.

Author: Branislav Rovan
Publisher: Springer
ISBN: 3642325890
Category : Computers
Languages : en
Pages : 852

View

Book Description
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.

Author: Lars Birkedal
Publisher: Springer
ISBN: 3642287298
Category : Mathematics
Languages : en
Pages : 497

View

Book Description
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

Author: Chiara Ghidini
Publisher: Springer Nature
ISBN: 303030793X
Category : Computers
Languages : en
Pages : 794

View

Book Description
The two-volume set of LNCS 11778 and 11779 constitutes the refereed proceedings of the 18th International Semantic Web Conference, ISWC 2019, held in Auckland, New Zealand, in October 2019. The ISWC conference is the premier international forum for the Semantic Web / Linked Data Community. The total of 74 full papers included in this volume was selected from 283 submissions. The conference is organized in three tracks: for the Research Track 42 full papers were selected from 194 submissions; the Resource Track contains 21 full papers, selected from 64 submissions; and the In-Use Track features 11 full papers which were selected from 25 submissions to this track.

Author: Foto Afrati
Publisher: Springer Nature
ISBN: 3031018591
Category : Computers
Languages : en
Pages : 229

View

Book Description
The topic of using views to answer queries has been popular for a few decades now, as it cuts across domains such as query optimization, information integration, data warehousing, website design, and, recently, database-as-a-service and data placement in cloud systems. This book assembles foundational work on answering queries using views in a self-contained manner, with an effort to choose material that constitutes the backbone of the research. It presents efficient algorithms and covers the following problems: query containment; rewriting queries using views in various logical languages; equivalent rewritings and maximally contained rewritings; and computing certain answers in the data-integration and data-exchange settings. Query languages that are considered are fragments of SQL, in particular, select-project-join queries, also called conjunctive queries (with or without arithmetic comparisons or negation), and aggregate SQL queries.

Author: Boris Otto
Publisher: Springer Nature
ISBN: 3030939758
Category : Computers
Languages : en
Pages : 577

View

Book Description
This open access book provides a comprehensive view on data ecosystems and platform economics from methodical and technological foundations up to reports from practical implementations and applications in various industries. To this end, the book is structured in four parts: Part I “Foundations and Contexts” provides a general overview about building, running, and governing data spaces and an introduction to the IDS and GAIA-X projects. Part II “Data Space Technologies” subsequently details various implementation aspects of IDS and GAIA-X, including eg data usage control, the usage of blockchain technologies, or semantic data integration and interoperability. Next, Part III describes various “Use Cases and Data Ecosystems” from various application areas such as agriculture, healthcare, industry, energy, and mobility. Part IV eventually offers an overview of several “Solutions and Applications”, eg including products and experiences from companies like Google, SAP, Huawei, T-Systems, Innopay and many more. Overall, the book provides professionals in industry with an encompassing overview of the technological and economic aspects of data spaces, based on the International Data Spaces and Gaia-X initiatives. It presents implementations and business cases and gives an outlook to future developments. In doing so, it aims at proliferating the vision of a social data market economy based on data spaces which embrace trust and data sovereignty.