Towards the correctness and consistency of update semantics in semantic database schema

IEEE Transactions on Knowledge and Data Engineering

Volumn 8, Issue 3, 1996, Pages 503-507

  Peckham, Joan ^a,c   Maryanski, Fred ^b,c   Demurjian, Steven A ^b,c  

^a 3D Group for Interactive Visualization   (United States)

^b UNIVERSITY OF CONNECTICUT   (United States)

^c IEEE

Author keywords

Active databases; Constraint maintenance; Data consistency; Data modeling; Database updates; Schema checking

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED DESIGN; COMPUTER SIMULATION; CONSTRAINT THEORY; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SECURITY OF DATA; SPECIFICATIONS; SYSTEMS ANALYSIS;

ACTIVE DATABASES; CLASSIFICATION OF ENFORCEMENT; CONSTRAINT MAINTENANCE; CORRECTNESS; DATA CONSISTENCY; DATA MODELING; DATABASE UPDATES; DESIGN TIME EXPRESSION; SEMANTIC DATABASE; SEMANTIC MODELING;

COMPUTATIONAL LINGUISTICS;

EID: 0030170427     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.506716     Document Type: Article

References (44)

1. S. Abiteboul and R. Hull, "IFO: A Formal Semantic Database Model," ACM Trans. Database Systems, vol. 12, no. 4, pp. 525-565, Dec. 1987.
2. A.V. Aho, J.E. Hopcroft, and J.D. 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 and J. Widom, "Deriving Production Rules for Constraint Maintenance," Proc. 16th VLDB Conf., pp. 566-577, Brisbane, Australia, Aug. 1990.
7. P. Chen, "The Entity-Relationship Model: Toward a Unified View of Data," ACM Trans. Database Systems, vol. 1, no. 1, pp. 280-290, Mar. 1976.
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. Navathe, Fundamentals of Database Systems. Benjamin/Cummings, 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: Self-Adaptive, Concurrent Implementation of an Object-Oriented Database Management System," ACM Trans. Database Systems, vol. 14, no. 3, pp. 291-321, Sept. 1989.
16. R. Hull and R. King, "Semantic Database Modeling: Survey, Applications, and Research Issues," ACM Computing Surveys, vol. 19, no. 3, pp. 201-260, Sept. 1987.
17. P. Johannesson, "MOLOC: Using Prolog for Conceptual Modelling," Entity-Relationship Approach: The Core of Conceptual Modelling, H. Kangassalo, ed. North Holland: 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. Knuth, The Art of Computer Programming, Second Edition; Fundamental Algorithms, Second Edition, vol. 1, Addison Wesley, 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. 1989 ACM SIGMOD Int'l Conf. Management of Data, Portland, Ore., SIGMOD Record, vol. 18, no. 2, pp. 215-224, June 1989.
26. M. Morgenstern, "Constraint Equations: Declarative Expression of Constraints with Automatic Enforcement," Proc. VLDB, 10th Int'l Conf. Very Large Data Bases, pp. 291-300, Singapore, Aug. 1984.
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. Denning, Cryptography and Data Security. Addison-Wesley, 1982.
30. J. Peckham and F. Maryanski, "Semantic Data Models," ACM Computing Surveys, vol. 20, no. 3, pp. 153-189, Sept. 1988.
31. J. Peckham, F. Maryanski, G. Beshers, H. Chapman, and S. Demurjian, "Constraint Based Analysis of Database Update Propagation," Proc. 10th Int'l Conf. Information Systems, pp. 9-18, Boston, Dec. 1989.
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, L. Cingiser DiPippo, J. Peckham, and V.F. Wolfe, "RTSORAC: Design of a Real-Time Object-Oriented Database System," Proc. DEXA 94, Fifth Int'l Conf. Database and Expert Systems Applications, in Lecture Notes in Computer Science, Springer-Verlag, pp. 601-610, 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 Database Systems," J. Distributed and Parallel Databases, vol. 1, no. 2, pp. 199-226, 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. OOPSLA 87, pp. 285-296, ACM Press, Oct. 1987.
38. S.D. Urban and L.M.L. Delcambre, "Constraint Analysis: A Design Process for Specifying Operations on Objects," IEEE Trans. Knowledge and Data Eng., vol. 2, no. 4, pp. 391-400, Dec. 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, Second Edition. 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, ACM Press, May 1990.
44. Readings in Object-Oriented Database Systems, S. Zdonik, and D. Maier, eds. San Mateo, Calif.: Morgan Kaufmann, 1990.