Schema Mappings: A Case of Logical Dynamics in Database Theory

DOI10.1007/978-3-319-06025-5_3zbMath1328.68053OpenAlexW275890103MaRDI QIDQ5249666

Balder ten Cate, Phokion G. Kolaitis

Publication date: 11 May 2015

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06025-5_3

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The language of plain SO-tgds: composition, inversion and structural properties
• Data exchange: semantics and query answering
• The core of a graph
• Hypertree decompositions and tractable queries
• Logical constants across varying types
• Modal languages and bounded fragments of predicate logic
• A restricted second order logic for finite structures
• Modal logic over finite structures
• Model theory
• Conjunctive-query containment and constraint satisfaction
• MiniCon: a scalable algorithm for answering queries using views
• On the expressive power of data dependencies
• Homomorphism preservation theorems
• Data exchange: getting to the core
• Incomplete Information in Relational Databases
• A Proof Procedure for Data Dependencies
• Information Flow
• Information transfer across Chu spaces
• Some Aspects of Model Theory and Finite Structures
• An axiomatic basis for computer programming
• The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas

This page was built for publication: Schema Mappings: A Case of Logical Dynamics in Database Theory