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

DOI10.1016/0898-1221(91)90226-TzbMath0718.68028WikidataQ114683441 ScholiaQ114683441MaRDI QIDQ2639634

T. Markus, A. Kis, András A. Benczúr

Publication date: 1991

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

zbMATH Keywords

relational database theorytuple-generating dependenciesequality-generating dependencies

Mathematics Subject Classification ID

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

Related Items

Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some generalized type functional dependencies formalized as equality set on matrices
• On the expressive power of data dependencies
• Formal Systems for Tuple and Equality Generating Dependencies
• A Proof Procedure for Data Dependencies
• Candidate Keys and Antichains