An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic /

"UILU-ENG 79 1714."

Subset dependencies as an alternative to embedded multivalued dependencies /

"UILU-ENG 79-1732."