1. Transactions and integrity constraints;Abiteboul,1985
2. The connection of static constraints with determinism and boundedness of dynamic specifications;Abiteboul,1988
3. Procedural and declarative database update languages;Abiteboul,1988
4. Datalog extensions for database queries and updates;Abiteboul;INRIA Technical Report 900,1988
5. Fixpoint extensions of first-order logic and Datalog-like languages;Abiteboul,1989