Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases.

Joan Antoni Pastor Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. 189-218 1994 DAISD db/conf/daisd/daisd94.html#Pastor94