Static integrity constraint management in object-oriented database programming languages via predicate transformers
2013 ◽
Vol 420
◽
pp. 325-332
◽