This Article 
 Bibliographic References 
 Add to: 
Set Restrictions for Semantic Groupings
April 1994 (vol. 6 no. 2)
pp. 193-204

Most research on semantic integrity has taken place in the traditional database fields, specifically the relational data model. Advanced models, such as semantic and object-oriented data models, have developed higher level abstractions to increase their expressive power in order to meet the needs of newly emerging application domains. This allows them to incorporate some semantic constraints directly into their schemas. There are, however, many types of restrictions that cannot be expressed solely by these high-level constructs. Therefore we extend the potential of advanced models by augmenting their abstractions with useful set restrictions. In particular, we identify and formulate four of their most common semantic groupings: set groupings, is-a related set groupings, power set groupings, and Cartesian product groupings. For each, we define a number of restrictions that control its structure and composition. We exploit the notion of object identity for the definition of these semantic restrictions. This permits each grouping to capture more subtle distinctions of the concepts in the application environment, as demonstrated by numerous examples throughout this paper. The resulting set of restrictions forms a general framework for integrity constraint management in advanced data models.

[1] S. Abiteboul and R. Hull, "IFO: a formal semantic database model,"ACM Trans. Database Syst., pp. 525-56, Dec. 1987.
[2] F. Bancilhonet al., "The design and implementation of O2, an obiect-oriented database system, Rapport technique,"Altair, pp. 20-88, Apr. 1988.
[3] J. Banerjeeet al., "Semantics and implementation of schema evolution in object-oriented databases," inProc. 1987 ACM-SIGMOD Conf. Management Data, San Francisco, CA, May 1987.
[4] L. Bic and J. P. Gilbert, "Learning from AI: New trends in database technology,"Comput., vol. 19, no. 3, pp. 44-54, Mar. 1986.
[5] A. Borgida, "Conceptual modeling of information systems," inOn Knowledge Based Management Systems, M. L. Brodie and J. Mylopoulos, Eds. New York: Springer-Verlag, 1987.
[6] Proc. Workshop, on Data Abstraction, Databases and Conceptual Modelling, M. L. Brodie and S. N. Zilles, Eds. Pingree Park, CO: Nat'l. Bureau of Standards, ACM SIGART, SIGMOD and SIGPLAN, 1980.
[7] P. P. Chen, "The Entity-Relationship Model -- Towards a Unified View of Data,"ACM Trans. Database Syst., Vol. 1, No. 1, Mar. 1976, pp. 9-36.
[8] E. F. Codd, "Extending the relational database model to capture more meaning,"ACM Trans. Database Syst., vol. 4, no. 4, pp. 397-434, Dec. 1979.
[9] M. Hammer and D. J. McLeod, "A framework for data base semantic integrity," inProc. 2nd Int. Conf. Software Engineering, San Francisco, Oct. 13-15, 1976, pp. 498-504.
[10] M. Hammer and D. J. McLeod, "Semantic integrity in a relational data base system," inProc. Int. Conf. Very Large Data Bases, Framingham, MA, Sept. 22-24, 1975.
[11] M. Hammer and D. J. McLead, "Database description with SDM: a semantic database model,"ACM Trans. Database Syst., pp. 351-386, Sept. 1981.
[12] S. Hudson and R. King, "CACTIS: A database system for specifying functionally-defined data," inProc. Workshop Object-Oriented Databases, Pacific Grove, CA, 1986.
[13] R. Hull and R. King, "Semantics database modeling: Survey, applications, and research issues,"Comput. Surveys, vol. 19, no. 3, pp. 201-260, Sept. 1987.
[14] R. Hull, "Four views of complex objects: A sophisticate's introduction," inNested Relations and Complex Objects, to appear in Springer-Verlag LNCS, 1988.
[15] W. Kent, "Limitations of Record-Based Information Models,"ACM Trans. on Database Sys., Vol. 4:1, pp. 107-131.
[16] J. King, "Sembase: A semantic DBMS," inProc. Workshop on Expert Database Systems, Oct. 1984, pp. 151-171.
[17] S. N. Koshafian and G. P. Copeland, "Object identity,"SIGPLAN Notices (Proc. ACM Conf. Object-Oriented Programming Systems, Languages and Applications (OOPSLA)), vol. 21, no. 11, pp. 417- 423, 1986.
[18] W. Kim, E. Bertino, and J. Garza, "Composite objects revisited," inProc. ACM SIGMOD Int. Conf. Management Data, Portland, OR, vol. 18, no. 2, June 1989.
[19] M. Lenzerini, "Covering and disjointness in type networks," inProc. 2nd Int. Conf. Data Engineering, Los Angeles, Feb. 3-5, 1987, pp. 386-393.
[20] B. Liskovet al., "Abstraction mechanisms in CLU,"Commun. ACM, vol. 20, pp. 564-576, Aug. 1977.
[21] D. Maier and J. Stein, "Development and implementation of an object-oriented DBMS," inResearch Directions Object-Oriented Programming, B. Shriver and P. Wegner, Ed. Cambridge, MA: MIT Press, 1987.
[22] J. Mylopoulos,et al., "A language facility for designing database intensive applications,"ACM Trans. Database Syst., vol. 5, no. 2, June 1980.
[23] J. Peckham and F. Maryanski, "Semantic data models,"ACM Comput. Surveys. pp. 153-189, Sept. 1988.
[24] E. A. Rundensteiner, L. Bic, J. Gilbert, and M. Yin, "A semantic integrity framework: Set restrictions for semantic groupings," inProc. IEEE Int. Conf. on Data Engineering (ICDE-7), Apr. 1991.
[25] E. A. Rundensteiner, L. Bic, J. Gilbert, and M. Yin, "Restricting is-a related groupings using object equivalence," in2nd Int. Symp. Database Systems for Advanced Applications (DASFAA'91), Tokyo, Apr. 2-4, 1991.
[26] E. A. Rundensteiner and L. Bic, "Set operations in a data model supporting complex objects," inProc. Int. Conf. Extending Data Base Technology, Mar. 1990.
[27] E. A. Rundensteiner, L. Bic, J. Gilbert, and M.-L. Yin, "Set-related restrictions for semantic groupings," Dept. of Information and Computer Science, Univ. of California, Irvine, Tech. Rep. 89-07, Jan. 1989.
[28] A. Shepherd and L. Kerschberg, "Constraint management in expert database systems," inProc. First Int. Conf. Expert Database Syst., Kiawah, Oct. 1984, pp. 302-332.
[29] D. Shipman, "The functional model and the data language daplex,"ACM Trans. Database Syst., vol. 6, no. 1, Mar. 1981.
[30] J.M. Smith and D.C.P. Smith, "Database Abstractions: Aggregation and Generalization,"ACM Trans. Database Sys., June 1977, pp. 105-133.
[31] J. D. Ullman,Database and Knowledge-base Systems. Rockville, MD: Computer Science Press, 1988.
[32] S. D. Urban and L. M. L. Delcambre, "Constraint analysis: A tool for explaining the semantics of complex objects," inProc. Second Int. Workshop Object-Oriented Database Syst., Bad Munster, Germany, Sept. 1988.

Index Terms:
object-oriented databases; database theory; data integrity; set theory; deductive databases; set restrictions; semantic groupings; semantic integrity; object data modeling; constraint specification; indistinguishability; object equivalence; object identity; semantic abstractions; high level abstractions; expressive power; semantic constraints; semantic restrictions; is-a related set groupings; power set groupings; Cartesian product groupings; application environment,; integrity constraint management; advanced data models
E. A. Rundensteiner, L. Bic, J.P. Gilbert, M.-L. Yin, "Set Restrictions for Semantic Groupings," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 2, pp. 193-204, April 1994, doi:10.1109/69.277765
Usage of this product signifies your acceptance of the Terms of Use.