Semantic Integrity in a Relational Data Base System.

@inproceedings{DBLP:conf/vldb/HammerM75,
  author    = {Michael Hammer and
               Dennis McLeod},
  editor    = {Douglas S. Kerr},
  title     = {Semantic Integrity in a Relational Data Base System},
  booktitle = {Proceedings of the International Conference on Very Large Data
               Bases, September 22-24, 1975, Framingham, Massachusetts, USA},
  publisher = {ACM},
  year      = {1975},
  pages     = {25-47},
  ee        = {db/conf/vldb/HammerM75.html},
  crossref  = {DBLP:conf/vldb/75},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

As a model of some aspect(s) of the real world, the data in a data base must be accurate. In the context of a relational data base system, a facility to allow the expression and enforcement of a set of semantic integrity constraints is discussed. Semantic integrity constraints may describe properties of and relationships between data objects (in a relational data base) that are to hold (state snapshot constraints). Constraints may also place limitations on permissible data base operations (state transition constraints).

A second type of semantic integrity information that is important in the context of a relational data base system is the precise-description of domains (viewed as sets of atomic data objects), and the specification of their use as underlying domains of columns of relations in a data base.

High-level nonprocedural languages to facilitate the expression of these two types of semantic integrity information are introduced and examples are presented.

Copyright © 1975 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb7588 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[1]

...

[2]

...

[3]

Donald D. Chamberlin, Raymond F. Boyce: SEQUEL: A Structured English Query Language. SIGMOD Workshop, Vol. 1 1974: 249-264 BibTeX

[4]

...

[5]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[6]

E. F. Codd: A Database Sublanguage Founded on the Relational Calculus. SIGFIDET Workshop 1971: 35-68 BibTeX

[7]

E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971) BibTeX

[8]

E. F. Codd: Normalized Data Structure: A Brief Tutorial. SIGFIDET Workshop 1971: 1-17 BibTeX

[9]

E. F. Codd: Recent Investigations in Relational Data Base Systems. IFIP Congress 1974: 1017-1021 BibTeX

[10]

E. F. Codd, C. J. Date: Interactive Support For Non-Programmers: The Relational and Network Approaches. SIGMOD Workshop, Vol. 2 1974: 11-41 BibTeX

[11]

C. J. Date, E. F. Codd: The Relational and Network Approaches: Comparison of the Application Programming Interfaces. SIGMOD Workshop, Vol. 2 1974: 83-113 BibTeX

[12]

...

[13]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) BibTeX

[14]

...

[15]

Igor Hawryszkiewycz, Jack B. Dennis: An Approach to Proving the Correctness of Data Base Operations. SIGFIDET Workshop 1972: 323-348 BibTeX

[16]

...

[17]

Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59(1974) BibTeX

[18]

...

[19]

Naftaly H. Minsky: On Interaction with Data Bases. SIGMOD Workshop, Vol. 1 1974: 51-62 BibTeX

[20]

...

[21]

...

[22]

...

[23]

Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 BibTeX

[24]

...

[25]

...

[26]

...

Referenced by

1. Stefano Ceri, Roberta Cochrane, Jennifer Widom: Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award). VLDB 2000: 254-262
2. Wei Sun, Clement T. Yu: Semantic Query Optimization for Tree and Chain Queries. IEEE Trans. Knowl. Data Eng. 6(1): 136-151(1994)
3. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: Set Restrictions for Semantic Groupings. IEEE Trans. Knowl. Data Eng. 6(2): 193-204(1994)
4. Shashi Shekhar, Babak Hamidzadeh, Ashim Kohli, Mark Coyle: Learning Transformation Rules for Semantic Query Optimization: A Data-Driven Approach. IEEE Trans. Knowl. Data Eng. 5(6): 950-964(1993)
5. Michael Gertz, Udo W. Lipeck: Deriving Integrity Maintaining Triggers from Transition Graphs. ICDE 1993: 22-29
6. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: A Semantic Integrity Framework: Set Restrictions for Semantic Groupings. ICDE 1991: 710-717
7. Clement T. Yu, Wei Sun: Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization. IEEE Trans. Knowl. Data Eng. 1(3): 362-375(1989)
8. Donald Cohen: Compiling Complex Database Transition Triggers. SIGMOD Conference 1989: 225-234
9. Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos: Process Management and Assertion Enforcement for a Semantic Data Model. EDBT 1988: 469-487
10. Xiaolei Qian, Gio Wiederhold: Knowledge-based Integrity Constraint Validation. VLDB 1986: 3-12
11. Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603(1985)
12. Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308
13. Eric Simon, Patrick Valduriez: Design and Implementation of an Extendible Integrity Subsystem. SIGMOD Conference 1984: 9-17
14. Armin B. Cremers, G. Doman: AIM - An Integrity Monitor for the Database System INGRES. VLDB 1983: 167-170
15. Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399
16. Ryohei Nakano: Integrity Checking in a Logic-Oriented ER Model. ER 1983: 551-564
17. Bharat K. Bhargava, Leszek Lilien: Cost Analysis of Selected Database Restoration Techniques. ER 1983: 783-805
18. Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982)
19. Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385
20. Y. C. Hong, Stanley Y. W. Su: Associative Hardware and Software Techniques for Integrity Control. ACM Trans. Database Syst. 6(3): 416-440(1981)
21. Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981)
22. Francis Y. L. Chin, Gultekin Özsoyoglu: Statistical Database Design. ACM Trans. Database Syst. 6(1): 113-139(1981)
23. Alexander Borgida, Harry K. T. Wong: Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. VLDB 1981: 260-271
24. Gerald A. Wilson: A Conceptual Model for Semantic Integrity Checking. VLDB 1980: 111-125
25. Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136
26. Won Kim: Relational Database Systems. ACM Comput. Surv. 11(3): 187-211(1979)
27. Gerald A. Wilson, Sandra B. Salazar: A System for Interactive Error Detection. VLDB 1979: 32-51
28. Umeshwar Dayal, Philip A. Bernstein: On the Updatability of Relational Views. VLDB 1978: 368-377
29. Sheldon A. Borkin: Data Model Equivalence. VLDB 1978: 526-534
30. Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Sophisticate's Introduction to Database Normalization Theory. VLDB 1978: 113-124
31. R. M. Lee, Rob Gerritsen: Extended Semantics for Generalization Hierarchies. SIGMOD Conference 1978: 18-25
32. Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36
33. K. Mani Chandy: Models of Distributed Systems. VLDB 1977: 105-120
34. Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976)
35. Donald D. Chamberlin: Relational Data-Base Management Systems. ACM Comput. Surv. 8(1): 43-66(1976)
36. William Kent: New Criteria for the Conceptual Model. VLDB 1976: 1-12