The following pages link to (Q3912018):
Displayed 32 items.
- Implication and axiomatization of functional and constant constraints (Q287754) (← links)
- A complete axiomatization of full acyclic join dependencies (Q293431) (← links)
- Converging to the chase -- a tool for finite controllability (Q314825) (← links)
- Towards more expressive ontology languages: the query answering problem (Q359987) (← links)
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- Conjunctive query containment with respect to views and constraints (Q672739) (← links)
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies'' (Q859834) (← links)
- A note on lossless database decompositions (Q1060867) (← links)
- Formal systems for join dependencies (Q1071524) (← links)
- The implication and finite implication problems for typed template dependencies (Q1071525) (← links)
- Non-finite specifiability of projections of functional dependency families (Q1082095) (← links)
- An algebraic theory of functional and multivalued dependencies in relational databases (Q1096380) (← links)
- Adequacy of decompositions of relational databases (Q1154819) (← links)
- The theory of functional and template dependencies (Q1162368) (← links)
- Inferring multivalued dependencies from functional and join dependencies (Q1168088) (← links)
- Armstrong databases for functional and inclusion dependencies (Q1172403) (← links)
- A corrected 5NF definition for relational database design (Q1390959) (← links)
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Ontological query answering under many-valued group preferences in Datalog\(+/-\) (Q1726403) (← links)
- Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers (Q1823739) (← links)
- Thue trees (Q1861534) (← links)
- Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies (Q2248518) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (Q2900513) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- Another view of functional and multivalued dependencies in the relational database model (Q3038662) (← links)
- (Q3057242) (← links)
- Constraints in RDF (Q3092320) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- The Impact of Active Domain Predicates on Guarded Existential Rules (Q5268437) (← links)
- Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data (Q5738985) (← links)
- Implication problems for functional constraints on databases supporting complex objects (Q5906671) (← links)