Obligation as the Basis of Integrity Specification.

Janice I. Glasgow Glenn H. MacEwen

Published in: CSFW (1989)

Keyphrases

high level
artificial intelligence
case study
specification language
database
relational databases
learning algorithm
computer vision
website
multi agent systems
query language
integrity constraints
temporal ordering
protocol specification