Lacroix and Pirotte proposed domain calculus, which is closer to first-order logic and which showed that both of these calculi (as well as relational algebra) are equivalent in expressive power.
Michel Foucault | Jean Michel Jarre | Michel Gondry | Jean-Michel Basquiat | Michel Legrand | Michel de Montaigne | Michel Houellebecq | Michel Platini | Michel Plasson | Michel Ney | Mont Saint-Michel | Michel Tournier | Michel Portal | Christian Lacroix | Michel Rocard | Michel Fokine | Michel Deville | Michel Butor | Michel Berger | Jean-Michel Dubernard | Michel Rolland | Michel Polnareff | Michel Maffesoli | Michel Drucker | Michel Roux | Michel Piccoli | Michel Boyibanda | Michel Bastarache | Michel | Lacroix |