Polynomial-time implication problems for unary inclusion dependencies

DOI10.1145/78935.78937MaRDI QIDQ3476305zbMATH OpenOpenAlexWikidataFDO

Authors Paris C. Kanellakis, Moshe Y. Vardi, Stavros S. Cosmandakis

Publication date 1990

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/78935.78937

zbMATH Keywords

complete axiomatizationdatabase managementembedded implicational dependenciesfinite implication problemsfunctional dependencieslogical designlossless joinmodel theorypolynomial-time algorithmsunary inclusion dependencies

Mathematics Subject Classification ID

Model theory (03C99) Information storage and retrieval of data (68P20) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• On the interaction of inclusion dependencies with independence atoms
• scientific article; zbMATH DE number 4033148
• The implication problem for functional and inclusion dependencies
• Inclusion dependencies and their interaction with functional dependencies
• On the finite and general implication problems of independence atoms and keys

Cited in

(17)

• The effect of unary inclusion dependencies on relational database design
• Null inclusion dependencies in relational databases
• Integrity constraints for XML
• Independent database schemes under functional and inclusion dependencies
• The implication problem for functional dependencies and variants of marginal distribution equivalences
• The complexity of finite model reasoning in description logics
• The complexity of embedded axiomatization for a class of closed database views
• On the finite and general implication problems of independence atoms and keys
• Ontologies and Databases: The DL-Lite Approach
• scientific article; zbMATH DE number 4033148 (Why is no real title available?)
• Extending inclusion dependencies with conditions
• Information-based distance measures and the canonical reflection of view updates
• A Correspondence Between Variable Relations And Three-Valued Propositional Logic
• On the finite controllability of conjunctive query answering in databases under open-world assumption
• Minimal coverage of generalized typed inclusion dependencies in databases
• The implication problem for functional dependencies and variants of marginal distribution equivalences
• Inclusion dependencies and their interaction with functional dependencies in SQL

This page was built for publication: Polynomial-time implication problems for unary inclusion dependencies

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