Title :
Specification of spatial integrity constraints in pictorial databases
Author :
Pizano, Arturo ; Klinger, Allen ; Cardenas, Alfonso
Author_Institution :
Ricoh Corp., Santa Clara, CA, USA
Abstract :
A model and a language for specifying spatial integrity constraints in pictorial databases are presented. Spatial integrity constraints are assertions about the correct behavior of database systems that specify acceptable database states and state transitions. They also serve as restrictions on positions occupied by objects in a picture. The language presented primarily uses pictures to specify constraints. The constraint pictures depict unacceptable database states. A data model provides the basic semantics for picture interpretation.<>
Keywords :
calculus; computerised picture processing; data integrity; database management systems; database theory; specification languages; assertions; correct behavior; database states; first-order predicate calculus; pictorial databases; picture interpretation; semantics; spatial integrity constraints; specification language; specification model; state transitions; Automobiles; Calculus; Cities and towns; Data models; Database languages; Multimedia databases; Object oriented databases; Relational databases; Spatial databases; Visual databases;
