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

@@ 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