A logic-programming/object-oriented cocktail
François Bancilhon · ACM SIGMOD Record · 1986
I define a simple data model which is based on an object oriented approach and uses logic programming as a computational model. The query part of the data model is purely declarative and has a fixpoint semantics, while the update part is imperative and uses assignments.