A Browsing Theory and Its Application to Database Navigation