Stanford University - Electronic commerce, interoperability of heterogeneous databases, database integration, object-oriented databases, database implementation, databases on parallel computers, federated autonomous databases, database views including up
http://logic.stanford.edu/people/keller/