Pages that link to "Item:Q1057666"

The following pages link to Testing containment of conjunctive queries under functional and inclusion dependencies (Q1057666):

Displaying 42 items.

• On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
• Converging to the chase -- a tool for finite controllability (Q314825) (← links)
• Relaxed notions of schema mapping equivalence revisited (Q359884) (← links)
• Towards more expressive ontology languages: the query answering problem (Q359987) (← links)
• Extending inclusion dependencies with conditions (Q386615) (← links)
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite (Q389229) (← links)
• Semantic query optimization in the presence of types (Q389237) (← links)
• The complexity of higher-order queries (Q498405) (← links)
• On the finite controllability of conjunctive query answering in databases under open-world assumption (Q532372) (← links)
• On rules with existential variables: walking the decidability line (Q646515) (← links)
• Query containment under bag and bag-set semantics (Q656574) (← links)
• Conjunctive query containment with respect to views and constraints (Q672739) (← links)
• Inclusion dependencies and their interaction with functional dependencies in SQL (Q730506) (← links)
• Inclusion dependencies and their interaction with functional dependencies (Q1071523) (← links)
• Some results on the containment and minimization of (in)equality queries (Q1329422) (← links)
• Optimization of a subclass of conjunctive queries (Q1346219) (← links)
• Null inclusion dependencies in relational databases (Q1370653) (← links)
• Logical foundations of information disclosure in ontology-based data integration (Q1711879) (← links)
• Independent database schemes under functional and inclusion dependencies (Q1812986) (← links)
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
• Logical separability of labeled data examples under ontologies (Q2093388) (← links)
• Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies (Q2248518) (← links)
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family (Q2462646) (← links)
• Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints (Q2820687) (← links)
• On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (Q2900513) (← links)
• Querying Regular Graph Patterns (Q3189642) (← links)
• Querying incomplete data over extended ER schemata (Q3577711) (← links)
• Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
• Finite model reasoning over existential rules (Q4592706) (← links)
• Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
• Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (Q4911144) (← links)
• Datalog: Bag Semantics via Set Semantics (Q5091129) (← links)
• (Q5094143) (← links)
• Reasoning on anonymity in Datalog (Q5240228) (← links)
• On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules (Q5268431) (← links)
• The Impact of Active Domain Predicates on Guarded Existential Rules (Q5268437) (← links)
• The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems (Q5283239) (← links)
• Combining decidability paradigms for existential rules (Q5398317) (← links)
• Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data (Q5738985) (← links)
• Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies (Q5940937) (← links)
• Answer Counting under Guarded TGDs (Q6076172) (← links)
• Polynomial combined first-order rewritings for linear and guarded existential rules (Q6108762) (← links)