 He is known for his many contributions in the areas of finite model theory, database theory, and database systems.In finite model theory, the Abiteboul–Vianu Theorem states that polynomial time is equal to PSPACE if and only if fixed point logic is the same as partial fixed point logic.In database theory, he has contributed a wide variety of results, the most recent on languages for the distributed processing of XML data.