Pages that link to "Item:Q3740280"
From MaRDI portal
The following pages link to The Implication Problem for Functional and Inclusion Dependencies is Undecidable (Q3740280):
Displaying 34 items.
- Deciding confluence for a simple class of relational transducer networks (Q269334) (← links)
- On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
- Towards more expressive ontology languages: the query answering problem (Q359987) (← links)
- Appropriate inferences of data dependencies in relational databases (Q429431) (← 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)
- A semideterministic approach to object creation and nondeterminism in database queries (Q676418) (← links)
- Inclusion dependencies and their interaction with functional dependencies in SQL (Q730506) (← links)
- Well-definedness and semantic type-checking for the nested relational calculus (Q870267) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← links)
- Inclusion dependencies and their interaction with functional dependencies (Q1071523) (← links)
- Implication of clauses is undecidable (Q1110493) (← links)
- On the formal properties of transitive inheritance in databases (Q1194813) (← links)
- Selective inheritance of attribute values in relational databases (Q1202889) (← links)
- The effect of unary inclusion dependencies on relational database design (Q1205894) (← links)
- Non-determinism in logic-based languages (Q1360676) (← links)
- Null inclusion dependencies in relational databases (Q1370653) (← links)
- XML with data values: Typechecking revisited. (Q1401966) (← links)
- Relational transducers for electronic commerce (Q1591155) (← links)
- Independent database schemes under functional and inclusion dependencies (Q1812986) (← links)
- Thue trees (Q1861534) (← links)
- Dependence and independence (Q1956372) (← links)
- The implication problem for functional dependencies and variants of marginal distribution equivalences (Q2103913) (← links)
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- The complexity of embedded axiomatization for a class of closed database views (Q2502159) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (Q2900513) (← links)
- Objects in relational database schemes with functional, inclusion, and exclusion dependencies (Q3142272) (← links)
- Complexity of propositional projection temporal logic with star (Q3616217) (← links)
- A theory of data dependencies over relational expressions (Q3670613) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies (Q5940937) (← links)
- Robustness against Read Committed for Transaction Templates with Functional Constraints (Q6137875) (← links)
- The implication problem for functional dependencies and variants of marginal distribution equivalences (Q6636619) (← links)
