A rule-based update language for complex objects with identity (1994)

by L Palopoli, R Torlone
Venue:Data & Knowledge Engineering