scientific article; zbMATH DE number 3876647

MaRDI QIDQ3341950zbMATH OpenFDO

Authors Peter Dybjer

Publication date 1982

zbMATH Keywords

embedded join dependenciesinference rulesmonadic implicationmultivalued dependenciesrelational database

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Data structures (68P05) Information storage and retrieval of data (68P20)

Recommendations

• Some results on the deductive structure of join dependencies
• A Generalization of the Inference Rules for Join Dependencies in Databases
• Formal systems for join dependencies
• Inferring null join dependencies in relational databases
• scientific article; zbMATH DE number 2038176

Cited in

(8)

• Formal systems for join dependencies
• Completeness issues for join dependencies derived from the universal relation join dependency
• Inferring null join dependencies in relational databases
• On the join dependency relation in multinomial lattices
• scientific article; zbMATH DE number 4097356 (Why is no real title available?)
• A Generalization of the Inference Rules for Join Dependencies in Databases
• scientific article; zbMATH DE number 7301303 (Why is no real title available?)
• Some results on the deductive structure of join dependencies

This page was built for publication:

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