Semantic query optimization in the presence of types (Q389237): Difference between revisions

@@ Property / cites work @@
+A Proof Procedure for Data Dependencies
@@ Property / cites work: A Proof Procedure for Data Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction between path and type constraints
@@ Property / cites work: Interaction between path and type constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment and answering under description logic constraints
+Normal rank
@@ Property / cites work @@
+Rewriting queries using views with access patterns under integrity constraints
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment with respect to views and constraints
+Normal rank
@@ Property / cites work @@
+Horn clauses and database dependencies
@@ Property / cites work: Horn clauses and database dependencies / 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 @@
+On XML integrity constraints in the presence of DTDs
+Normal rank
@@ Property / cites work @@
+Answering queries using views: A survey
@@ Property / cites work: Answering queries using views: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Testing containment of conjunctive queries under functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+Semantic query optimization in the presence of types
+Normal rank
@@ Property / cites work @@
+Type inference for datalog with complex type hierarchies
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+On Keys and Functional Dependencies as First-Class Citizens in Description Logics
+Normal rank