This Article 
 Bibliographic References 
 Add to: 
Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema
June 1996 (vol. 8 no. 3)
pp. 503-507

Abstract—This paper discusses a paradigm and prototype system for the design-time expression, checking, and automatic implementation of the semantics of database updates. Here, enforcement rules are viewed as the implementation of constraints and are specified, checked for consistency, and then finally mapped to object-oriented code during database design. A classification of enforcement rule types is provided as a basis for these design activities, and the general strategy for specification, analysis, and implementation of these rules within a semantic modeling paradigm is discussed. SORAC (semantic, objects, relationships, and constraints), a prototype database design system at the University of Rhode Island, is also described.

[1] S. Abiteboul, R. Hull, “IFO: A Formal Semantic Database Model,” ACM Trans. Database Systems, vol. 12, no. 4, pp. 525–565, Dec. 1987.
[2] A. Aho, J. Hopcroft, and J. Ullman, Data Structures and Algorithms.Reading, Mass: Addison-Wesley, 1983.
[3] D. Batory and W. Kim, "Modeling Concepts for VLSI CAD Objects," ACM Trans. Database Systems, vol. 10, no. 3, pp. 322-346, Sept. 1985.
[4] B. Baralis, S. Ceri, and J. Widom, "Better Termination Analysis for Active Databases," Proc. First Int'l Conf. Rules in Database Systems, Workshops in Computing Series, Springer-Verlag, 1993.
[5] M. Bouzeghoub and E. Metais, "Semantic Modeling of Object Oriented Databases," Proc. VLDB 91, 17th Int'l Conf. Very Large Data Bases,Barcelona, pp. 3-14, Aug. 1991.
[6] S. Ceri,J. Widom,“Deriving production rules for constraint maintenance,” Proc. Int’l Conf. Very Large Data Bases, 1990.
[7] P.P. Chen, “The Entity‐Relationship Model: Toward a Unified View of Data,” ACM Trans. Database Systems, Vol. 1, No. 1, Jan. 1976, pp. 9–36.
[8] J. Chudziak, H. Rybinski, and J. Vorbach, "Towards a Unifying Logic Formalism for Semantic Data Models," Proc. 12th Int'l Conf. Entity-Relationship Approach,Dallas, Dec. 1993.
[9] A. Dogac, E. Ozkarahan, and P. Chen, "An Integrity System for a Relational Database Architecture," Technical Report 86-03, Dept. of Computer Engineering, Middle East Technical Univ., Ankara, Turkey, 1986.
[10] M. Doherty, J. Peckham, and V. Fay Wolfe, "Implementing Relationships and Constraints in an Object-Oriented Database Using Monitors," Proc. First Int'l Conf. Rules in Database Systems, Workshops in Computing Series, Springer-Verlag, 1994.
[11] Z. Dong, "A User Interface for Database Schema Design and Analysis," MS thesis, Technical Report No. TR93-224, Dept. of Computer Science and Statistics, Univ. of Rhode Island, Aug. 1992.
[12] R. Elmasri and S.B. Navathe, Fundamentals of Database Systems, Benjamin/Cummings, Houston, 1989.
[13] O. Diaz and P.M.D. Gray, "Semantic-Rich User-Defined Relationships as a Main Constructor in Object Oriented Databases," Object-Oriented Databases: Analysis, Design, and Construction (DS4), R.A. Meersman, W. Dent, and S. Khosla, eds., pp. 207-224. North-Holland: Elsevier Science Publishers, B.V., IFIP, 1991.
[14] M.-Y. Hu, S. Demurjian, and T.C. Ting, "User-Role Based Security Profiles for an Object-Oriented Design Model," Database Security, VI: Status and Prospects, C. Landwehr and S. Jajodia, eds. North-Holland, 1993.
[15] S.E. Hudson and R. King, "CACTIS: A Self-Adaptive, Concurrent Implementation of an Object-Oriented Database Management System," Trans. Database Systems, vol. 14, pp. 291-321, Mar. 1988.
[16] R. Hull and R. King, “Semantic Database Modelling: Survey, Applications, and Research Issues,” Computing Surveys, vol. 19, no. 3, pp. 201-260, ACM, Sept. 1987.
[17] P. Johannesson, "MOLOC: Using Prolog for Conceptual Modelling," Entity-Relationship Approach: The Core of Conceptual Modelling, H. Kangassalo, ed. NorthHolland: Elsevier Science Publishers B.V., pp. 289-302, 1991.
[18] J. Brawner and J. Vorbach, "A Formal Basis for Schema Analysis of Semantic Database Update Semantics," Proc. 23rd ACM Computer Science Conf., pp. 142-149, Mar. 1995.
[19] R.H. Katz and E. Chang, "Managing Change in a Computer-Aided Design Database," Readings in Object-Oriented Database Systems, S. Zdonik, and D. Maier, eds. San Mateo, Calif.: Morgan Kaufmann, 1990.
[20] Object-Oriented Concepts, Databases, and Applications, W. Kim and F.H. Lochovsky, eds. New York: ACM Press; Reading, Mass.: Addison-Wesley, 1989.
[21] D.E. Knuth, The Art of Computer Programming, vol. 1,Addison Wesley, second ed. 1973.
[22] T. Land, "Security in Database Systems," Computers and Security J., vol. 7, no. 1, 1992.
[23] B. MacKellar and F. Ozel, "ArchObjects: Design Codes as Constraints in an Object-Oriented KBMS," Proc. First Int'l Conf. Artificial Intelligence in Design,Edinburgh, Scotland, June 1991.
[24] B. MacKellar and J. Peckham, "Representing Objects in SORAC: A Data Model with Semantic Objects, Relationships, and Constraints," Artificial Intelligence in Design '92, J. Gero, ed. Boston: Kluwer Academic, 1992.
[25] D.R. McCarthy and U. Dayal,"The architecture of an active data base management system," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 215-224, June 1989.
[26] M. Morgenstern, “Constraint Equations: Declarative Expression of Constraints with Automatic Enforcement,” Proc. VLDB, Morgan Kaufmann, San Mateo, Calif., 1984, pp. 291-300.
[27] "ONTOS Object Database Documentation, Release 1.5."Burlington, Mass.: Ontologic Inc., 1990.
[28] G.T. Nguyen and D. Rieu, "Representing Design Objects," Proc. AID 91, First Int'l Conf. Artificial Intelligence in Design, J. Gero, ed., pp. 367-386, June 1992.
[29] D.E.R. Denning, Cryptography and Data Security. Addison-Wesley, 1983.
[30] J. Peckham and F. Maryanski, “Semantic Data Models,” Computing Surveys, vol. 20, no. 3, pp. 153-189, ACM, Sept. 1988.
[31] W.J. Hsu, B.J. Sheu, and S.M. Gowda, “Design of Reliable VLSI Circuits Using Simulation Techniques,” IEEE J. Solid State Circuits, vol. 26, no. 3, pp. 452-457, 1991.
[32] J. Peckham, "Constraint Based Analysis of Database Update Propagation," PhD thesis dissertation, Dept. of Computer Science and Engineering, Univ. of Connecticut, 1990.
[33] J. Prichard et al., "RTSORAC; A Real-Time Object-Oriented Database Model," Proc. Fifth Int'l Conf. Database and Expert Systems Applications,Athens, Sept. 1994.
[34] X. Qian, "A Constraint Based Database Schema Checking System," MS thesis, Technical Report No. TR94-237, Univ. of Rhode Island, Kingston, R.I., 1994.
[35] K. Ramamritham,“Real-time databases,” Distributed and Parallel Databases, vol. 1, no. 2, Apr. 1993.
[36] Inspired by questions asked by anonymous referee no. 1 during the first review cycle, 1992.
[37] J. Rumbaugh,“Relations as semantic constructs in an object-oriented language,” Proc. of OOPSLA‘87, pp. 466-481, 1987.
[38] S.D. Urban and L.M. Delcambre, “Constraint Analysis: A Design Process for Specifying Operations on Objects,” IEEE Trans. Knowledge and Data Eng., vol. 2, no. 4, pp. 391-400, Apr. 1990.
[39] J. Vorbach, "SDM-Logic—An Approach for Analyzing Semantic Data Models," Bulletin of the Polish Academy of Sciences, vol. 40, no. 1, 1992.
[40] F. Vora, "ARAC: A Data Modeling Interface for Architectural Design Systems," MS thesis, Technical Report TR93-223, Dept. of Computer Science and Statistics, Univ. of Rhode Island, Kingston, R.I., Aug. 1992.
[41] G. Vossen, "Bibliographies: Object-Oriented Database Management," SIGMOD Record, vol. 20, no. 1, ACM Press, Mar. 1991.
[42] G. Wiederhold, Database Design, Computer Science Series, second ed. New York: McGraw Hill, 1983.
[43] J. Widom and S.J. Finkelstein,"Set-oriented production rules in relational database systems," Proc. 1990 ACM SIGMOD Int'l Conf. Management of Data, pp. 259-270, 1990.
[44] Readings in Object-Oriented Database Systems, S. Zdonik, and D. Maier, eds. San Mateo, Calif.: Morgan Kaufmann, 1990.

Index Terms:
Data modeling, database updates, constraint maintenance, schema checking, data consistency, active databases.
Joan Peckham, Fred Maryanski, Steven A. Demurjian, "Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema," IEEE Transactions on Knowledge and Data Engineering, vol. 8, no. 3, pp. 503-507, June 1996, doi:10.1109/69.506716
Usage of this product signifies your acceptance of the Terms of Use.