William J. Pervin
- [1] Ullman, Jeffrey D., Principles of Database Systems , 2nd Ed., Comop. Sci. Press, 1982. Google Scholar
Digital Library
- [2] Maier, David. The Theory of Relational Databases , Comp. Sci. Press, 1983. Google ScholarDigital Library
- [3] Stout, Quentin F. & Woodworth. Patricia A., Relational Databases. Amer. Math Monthly 90 (1983) pp. 101-118.Google ScholarCross Ref
Index Terms
- Inference rules for multivalued dependencies
Recommendations
A complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77: Proceedings of the 1977 ACM SIGMOD international conference on Management of dataWe investigate the inference rules that can be applied to functional and multivalued dependencies that exist in a database relation. Three types of rules are discussed. First, we list the well known rules for functional dependencies. Then we investigate ...
Inferences involving embedded multivalued dependencies and transitive dependencies
SIGMOD '80: Proceedings of the 1980 ACM SIGMOD international conference on Management of dataMuch work has been done recently on finding a complete set of dependency rules for Embedded Multivalued Dependencies (EMVDs), the generalization of the Multivalued Dependencies developed by Fagin and Zaniolo. We show that no finite such set of rules can ...
Inference rules for functional and inclusion dependencies
PODS '83: Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systemsA set Σ of functional dependencies and inclusion dependencies implies a single dependency σ if all databases (finite and infinite) which satisfy Σ also satisfy σ. This paper presents complete inference rules for deducing implications of inclusion and ...
Comments