On a general class of data dependencies in the relational model and its implication problems

DOI10.1016/0898-1221(91)90226-TMaRDI QIDQ2639634zbMATH OpenWikidataFDO

Authors A. Kiss, T. Márkus, András A. Benczúr

Publication date 1991

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0898-1221(91)90226-T

zbMATH Keywords

equality-generating dependenciesrelational database theorytuple-generating dependencies

Mathematics Subject Classification ID

Classical first-order logic (03B10) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 4112078
• A Proof Procedure for Data Dependencies
• Formal Systems for Tuple and Equality Generating Dependencies
• A top-down proof procedure for generalized data dependencies
• Generalized template dependencies

Cites work

• A Proof Procedure for Data Dependencies
• Candidate Keys and Antichains
• Formal Systems for Tuple and Equality Generating Dependencies
• scientific article; zbMATH DE number 3876648 (Why is no real title available?)
• scientific article; zbMATH DE number 3817071 (Why is no real title available?)
• scientific article; zbMATH DE number 3922023 (Why is no real title available?)
• On the expressive power of data dependencies
• Some generalized type functional dependencies formalized as equality set on matrices

Cited in

(11)

• A top-down proof procedure for generalized data dependencies
• Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations
• Incomplete data and data dependencies in relational databases
• On the equivalence of an Egd to a set of Fd's
• A Proof Procedure for Data Dependencies
• scientific article; zbMATH DE number 4112078 (Why is no real title available?)
• scientific article; zbMATH DE number 1748283 (Why is no real title available?)
• scientific article; zbMATH DE number 1929304 (Why is no real title available?)
• scientific article; zbMATH DE number 4001521 (Why is no real title available?)
• A PROCEDURE OF IMPLICATION USING QUANTIFIABLE BINARY RELATION ON THE STRUCTURAL MODELING
• Generalized template dependencies

This page was built for publication: On a general class of data dependencies in the relational model and its implication problems

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