db/conf/xp/Vassiliou80.html Yannis Vassiliou Testing Satisfaction of FDs on a Multi-Relation Database ``fast''. 1980 conf/xp/1980 XP1 Workshop on Database Theory db/conf/xp/xp1980.html#Vassiliou80 XP/1980/vassiliou.pdf