The complexity of embedded axiomatization for a class of closed database views (Q2502159): Difference between revisions

@@ 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.1007/s10472-005-9013-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2038702026
@@ Property / OpenAlex ID: W2038702026 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Update semantics of relational views
@@ Property / cites work: Update semantics of relational views / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Systems for Tuple and Equality Generating Dependencies
+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 @@
+The Implication Problem for Functional and Inclusion Dependencies is Undecidable
+Normal rank
@@ Property / cites work @@
+Polynomial-time implication problems for unary inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Updates of Relational Views
@@ Property / cites work: Updates of Relational Views / rank @@
+Normal rank
@@ Property / cites work @@
+Q4441490
@@ Property / cites work: Q4441490 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clauses and database dependencies
@@ Property / cites work: Horn clauses and database dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Armstrong databases for functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Combinators for bi-directional tree transformations
+Normal rank
@@ Property / cites work @@
+On the family of generalized dependency constraints
+Normal rank
@@ Property / cites work @@
+Q4694704
@@ Property / cites work: Q4694704 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of desirable properties of general database decompositions.
+Normal rank
@@ Property / cites work @@
+Unique complements and decompositions of database schemata
+Normal rank
@@ Property / cites work @@
+Q4472220
@@ Property / cites work: Q4472220 / rank @@
+Normal rank
@@ Property / cites work @@
+An order-based theory of updates for closed database views
+Normal rank
@@ Property / cites work @@
+Foundations of Information and Knowledge Systems
@@ Property / cites work: Foundations of Information and Knowledge Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely Specifiable Implicational Dependency Families
+Normal rank
@@ Property / cites work @@
+On interpretations of relational languages and solutions to the implied constraint problem
+Normal rank
@@ Property / cites work @@
+Q3992720
@@ Property / cites work: Q3992720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994395
@@ Property / cites work: Q3994395 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2502159