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.