Herve Gallaire

• Advances in Data Base Theory
• Advances in Data Base Theory
• Logic and Data Bases