Specification of spatial integrity constraints in pictorial databases

Author

Pizano, Arturo ; Klinger, Allen ; Cardenas, Alfonso

Author_Institution

Ricoh Corp., Santa Clara, CA, USA

Volume

22

Issue

12

fYear

1989

Firstpage

59

Lastpage

71

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;

fLanguage

English

Journal_Title

Computer

Publisher

ieee

ISSN

0018-9162

Type

jour

DOI

10.1109/2.42032

Filename

42032