Thmis: A database programming language handling integrity constraints - Benzaken, Vronique; Doucet, Anne (The VLDB Journal ; volume 4, issue 3, page 493-517 ; ISSN 1066-8888 0949-877X, 1995)