Search: Database s.e., Theory, Bancilhon, F