scientific article; zbMATH DE number 4001521

MaRDI QIDQ4728289zbMATH OpenFDO

Authors Ronald Fagin, Moshe Y. Vardi

Publication date 1986

zbMATH Keywords

acyclicity of database schemesdata dependenciesimplication problemrelational databaseuniversal relational model

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Information storage and retrieval of data (68P20) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 3898274
• On the Desirability of Acyclic Database Schemes
• scientific article; zbMATH DE number 41085
• scientific article; zbMATH DE number 859448
• On a general class of data dependencies in the relational model and its implication problems

Cited in

(21)

• Charting the completeness frontier of inference systems for multivalued dependencies
• Axioms and algorithms for inferences involving probabilistic independence
• Unique complements and decompositions of database schemata
• Characterization of desirable properties of general database decompositions.
• Reasoning about integrity constraints for tree-structured data
• On a problem of Fagin concerning multivalued dependencies in relational databases
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
• Full hierarchical dependencies in fixed and undetermined universes
• Reasoning about functional and full hierarchical dependencies over partial relations
• Functional and multivalued dependencies in nested databases generated by record and list constructor
• Implication and axiomatization of functional and constant constraints
• Spoilt for Choice: Full First-Order Hierarchical Decompositions
• scientific article; zbMATH DE number 3898274 (Why is no real title available?)
• Characterisations of multivalued dependency implication over undetermined universes
• The joy of implications, aka pure Horn formulas: mainly a survey
• Schema mappings: a case of logical dynamics in database theory
• Cylindric structures and dependencies in relational databases
• Normal forms and syntactic completeness proofs for functional independencies
• Abstract semantic dependency
• Finite-model theory -- A personal perspective
• Deciding implication for functional dependencies in complex-value databases

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 Q4728289)