Determining View Dependencies Using Tableaux. - Anthony C. Klug; Rod Price (ACM Trans. Database Syst., 1982)