Referenced Items are not available for this document.
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
Published in:
Computer Security Applications Conference, 1990., Proceedings of the Sixth Annual
Date of Conference: 3-7 Dec 1990
- Page(s):
- 103 - 112
- Meeting Date :
- 03 Dec 1990-07 Dec 1990
- Print ISBN:
- 0-8186-2105-2
- INSPEC Accession Number:
- 4031746
- Conference Location :
- Tucson, AZ
- Digital Object Identifier :
- 10.1109/CSAC.1990.143757
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
