Update semantics for multilevel relations

Author

Jajodia, Sushil ; Sandhu, Ravi ; Sibley, E.

Author_Institution

Dept. of Inf. Syst. & Syst. Eng., George Mason Univ., Fairfax, VA, USA

fYear

1990

fDate

3-7 Dec 1990

Firstpage

103

Lastpage

112

Abstract

A formal operational semantics is given for update operations on multilevel relations, i.e., relations in which individual data elements are classified at different levels. For this purpose, the familiar INSERT, UPDATE and DELETE operations of SQL are suitably generalized to cope with polyinstantiation. The authors conjecture that these operations are consistent (or sound) in that all relations which can be constructed will satisfy the basic integrity properties required of multilevel relations. They also conjecture that the operations are complete in that every multilevel relation can be constructed by some sequence of these operations

Keywords

data integrity; database management systems; database theory; query languages; security of data; DELETE operations; INSERT; SQL; UPDATE; basic integrity properties; formal operational semantics; individual data elements; multilevel relations; polyinstantiation; update operations; update semantics; Communication system control; Data engineering; Data security; Databases; Information systems; Intelligent control; Partial response channels; Systems engineering and theory; Variable speed drives;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Applications Conference, 1990., Proceedings of the Sixth Annual

Conference_Location

Tucson, AZ

Print_ISBN

0-8186-2105-2

Type

conf

DOI

10.1109/CSAC.1990.143757

Filename

143757