Travelled to:1 × United Kingdom
Collaborated with:C.Baral
Talks about:character (1) trigger (1) mainten (1) databas (1) object (1) invari (1) formal (1) declar (1) other (1) activ (1)
Person: Mutsumi Nakamura
DBLP: Nakamura:Mutsumi
Contributed to:
Wrote 1 papers:
- CL-2000-NakamuraB #database #declarative #maintenance
- Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.












