Armstrong databases for functional and inclusion dependenciesRonald FaginMoshe Y. Vardi1983Information Processing Letters