Schema Intension Graphs: A Formal Model for the Study of Schema Equivalence - Miller, Renee J; Ioannidis, Yannis E; Ramakrishnan, Raghu (University of Wisconsin-Madison Department of Computer Sciences, 1994)