Schema mappings: a case of logical dynamics in database theory

DOI10.1007/978-3-319-06025-5_3MaRDI QIDQ5249666zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• On simplification of schema mappings
• Inverting schema mappings
• The structure of inverses in schema mappings
• Schema mapping coverage
• Limits of schema mappings

Cites work

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

Cited in

(2)

• Big data integration theory. Theory and methods of database mappings, programming languages, and semantics
• On simplification of schema mappings

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)