Schema mappings: a case of logical dynamics in database theory
From MaRDI portal
Publication:5249666
DOI10.1007/978-3-319-06025-5_3zbMATH Open1328.68053OpenAlexW275890103MaRDI QIDQ5249666FDOQ5249666
Authors: 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
Recommendations
Cites Work
- MiniCon: a scalable algorithm for answering queries using views
- Incomplete Information in Relational Databases
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal languages and bounded fragments of predicate logic
- Model theory
- The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
- Conjunctive-query containment and constraint satisfaction
- Data exchange: getting to the core
- Data exchange: semantics and query answering
- An axiomatic basis for computer programming
- The core of a graph
- Hypertree decompositions and tractable queries
- Title not available (Why is that?)
- A Proof Procedure for Data Dependencies
- Title not available (Why is that?)
- Homomorphism preservation theorems
- Information Flow
- Information transfer across Chu spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logical constants across varying types
- A restricted second order logic for finite structures
- The language of plain SO-tgds: composition, inversion and structural properties
- Title not available (Why is that?)
- Some Aspects of Model Theory and Finite Structures
- Modal logic over finite structures
- On the expressive power of data dependencies
Cited In (2)
This page was built for publication: Schema mappings: a case of logical dynamics in database theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249666)
