Solutions and query rewriting in data exchange (Q388220): Difference between revisions

@@ Property / author @@
-Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
-Normal rank
@@ Property / author @@
+Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P05
@@ Property / Mathematics Subject Classification ID: 68P05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P15
@@ Property / Mathematics Subject Classification ID: 68P15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6239475
@@ Property / zbMATH DE Number: 6239475 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data exchange
@@ Property / zbMATH Keywords: data exchange / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+universal solutions
@@ Property / zbMATH Keywords: universal solutions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+query answering
@@ Property / zbMATH Keywords: query answering / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+query rewriting
@@ Property / zbMATH Keywords: query rewriting / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+locality
@@ Property / zbMATH Keywords: locality / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2013.06.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2117326010
@@ Property / OpenAlex ID: W2117326010 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and XML Data Exchange
@@ Property / cites work: Relational and XML Data Exchange / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure for Data Dependencies
@@ Property / cites work: A Proof Procedure for Data Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Counting quantifiers, successor relations, and logarithmic space
+Normal rank
@@ Property / cites work @@
+Horn clauses and database dependencies
@@ Property / cites work: Horn clauses and database dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353557
@@ Property / cites work: Q4353557 / rank @@
+Normal rank
@@ Property / cites work @@
+Data exchange: semantics and query answering
@@ Property / cites work: Data exchange: semantics and query answering / rank @@
+Normal rank
@@ Property / cites work @@
+Data exchange: getting to the core
@@ Property / cites work: Data exchange: getting to the core / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230355
@@ Property / cites work: Q3230355 / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient core computation in data exchange
@@ Property / cites work: Efficient core computation in data exchange / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of locality and their logical characterizations over finite models
+Normal rank
@@ Property / cites work @@
+The core of a graph
@@ Property / cites work: The core of a graph / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828516
@@ Property / cites work: Q4828516 / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete Information in Relational Databases
@@ Property / cites work: Incomplete Information in Relational Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Data exchange and schema mappings in open and closed worlds
+Normal rank
@@ Property / cites work @@
+On winning strategies with unary quantifiers
@@ Property / cites work: On winning strategies with unary quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Counting modulo quantifiers on finite structures
@@ Property / cites work: Counting modulo quantifiers on finite structures / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:388220