Serge Abiteboul Victor Vianu The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. 324-334 1988 JCDKB db/conf/jcdkb/jcdkb88.html#AbiteboulV88