The Implication Problem for Functional and Inclusion Dependencies is Undecidable

Recommendations

The implication problem for functional and inclusion dependencies
On the undecidability of implications between embedded multivalued database dependencies
The inference problem for template dependencies
Inclusion dependencies and their interaction with functional dependencies
Reasoning about embedded dependencies using inclusion dependencies

Cited in

(40)

Deciding confluence for a simple class of relational transducer networks
On the finite and general implication problems of independence atoms and keys
On rules with existential variables: walking the decidability line
The effect of unary inclusion dependencies on relational database design
On the finite controllability of conjunctive query answering in databases under open-world assumption
XML with data values: Typechecking revisited.
Minimal coverage of generalized typed inclusion dependencies in databases
Appropriate inferences of data dependencies in relational databases
scientific article; zbMATH DE number 517063 (Why is no real title available?)
On the formal properties of transitive inheritance in databases
Well-definedness and semantic type-checking for the nested relational calculus
On the undecidability of implications between embedded multivalued database dependencies
Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
Implication of clauses is undecidable
Selective inheritance of attribute values in relational databases
A semideterministic approach to object creation and nondeterminism in database queries
Independent database schemes under functional and inclusion dependencies
Towards more expressive ontology languages: the query answering problem
Objects in relational database schemes with functional, inclusion, and exclusion dependencies
Specification and verification of data-driven Web applications
Complexity of propositional projection temporal logic with star
Inclusion dependencies and their interaction with functional dependencies
Relational transducers for electronic commerce
Inclusion dependencies and their interaction with functional dependencies in SQL
Dependence and independence
Datalog and Its Extensions for Semantic Web Databases
Evaluating Datalog via tree automata and cycluits
Robustness against Read Committed for Transaction Templates with Functional Constraints
Non-determinism in logic-based languages
The implication problem for functional dependencies and variants of marginal distribution equivalences
The implication problem for functional and inclusion dependencies
Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies
On the interaction of existential rules and equality constraints in ontology querying
Reasoning about embedded dependencies using inclusion dependencies
Null inclusion dependencies in relational databases
Thue trees
The implication problem for functional dependencies and variants of marginal distribution equivalences
A theory of data dependencies over relational expressions
The complexity of embedded axiomatization for a class of closed database views
A finite axiomatization of conditional independence and inclusion dependencies

This page was built for publication: The Implication Problem for Functional and Inclusion Dependencies is Undecidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3740280)