A Generalization of the Inference Rules for Join Dependencies in Databases

DOI10.18255/1818-1015-2020-3-356-365OpenAlexW3088671735WikidataQ114048755 ScholiaQ114048755MaRDI QIDQ5060072

S. V. Zykin

Publication date: 17 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais721

zbMATH Keywords

relational databasesinference rulesjoin dependencies

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• A complete axiomatization of full acyclic join dependencies
• Appropriate inferences of data dependencies in relational databases
• Inclusion dependencies and their interaction with functional dependencies
• Formal systems for join dependencies
• Full hierarchical dependencies in fixed and undetermined universes
• A finite axiomatization of conditional independence and inclusion dependencies
• A Formal Context for Acyclic Join Dependencies
• On the complexity of join dependencies
• A Complete Axiomatization of Full Join Dependencies
• Cylindric structures and dependencies in relational databases
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item