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)

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

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)