Language features for flexible handling of exceptions in information systems

ABSTRACT

An exception-handling facility suitable for languages used to implement database-intensive information systems is presented. Such a mechanism facilitates the development and maintenance of more flexible software systems by supporting the abstraction of details concerning special or abnormal occurrences. The type constraints imposed by the schema as well as various semantic integrity assertions are considered to be normalcy conditions, and the key contribution of this work is to allow exceptions to these constraints to persist. To achieve this, solutions are proposed to a range of problems, including sharing and computing with exceptional information, exception handling by users, the logic of constraints with exceptions, and implementation issues. The use of exception handling in dealing with null values, estimates, and measurement is also illustrated.

REFERENCES

• 1: Antonio Albano , Luca Cardelli , Renzo Orsini, GALILEO: a strongly-typed, interactive conceptual language, ACM Transactions on Database Systems (TODS), v.10 n.2, p.230-260, June 1985 [doi>10.1145/3857.3859]
• 2: BERNSTEIN, P. A., BLAUSTEIN, B. T., AND CLARKE, E. M. Fast maintenance of semantic integrity assertions using redundant aggregate data. In Proceedings of 6th International Conference on Very Large Databases (Montreal, Que., Can., Oct. 1980), 126-136.
• 3: Daniel G. Bobrow , Ben Wegbreit, A model and stack implementation of multiple environments, Communications of the ACM, v.16 n.10, p.591-603, Oct. 1973 [doi>10.1145/362375.362379]
• 4: BORGIDA, A. Features of languages for the development of information systems at the conceptual level. IEEE So/tw. 2, 1 (Jan. 1985), 63-73.
• 5: BRODIE, M.L. On modelling behavioural semantics of databases. In Proceedings of 7th International Conference on Very Large Databases (Cannes, France, Sept. 1981), 32-43.
• 6: O. Peter Buneman , Eric K. Clemons, Efficiently monitoring relational databases, ACM Transactions on Database Systems (TODS), v.4 n.3, p.368-382, Sept. 1979 [doi>10.1145/320083.320099]
• 7: Arvola Chan , Sy Danberg , Stephen Fox , Wen-Te K. Lin , Anil Nori , Daniel R. Ries, Storage and Access Structures to Support a Semantic Data Model, Proceedings of the 8th International Conference on Very Large Data Bases, p.122-130, September 08-10, 1982
• 8: CRISTIAN, F. Exception handling and software fault tolerance. IEEE Trans. Comput. C-31, 6 (June 1982), 531-540.
• 9: ESWARAN, K. Specifications, implementations and interactions of a trigger subsystem in an integrated data base system. Tech. Rep. RJ 1820, IBM Research, San Jose, Calif., Aug. 1976.
• 10: ESWARAN, K. P. AND CHAMBERLIN, D.D. Functional specifications of a subsystem for data base integrity. In Proceedings of International Conference on Very Large Databases (Framingham, Mass., Sept. 1975), 48-67.
• 11: John B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, v.18 n.12, p.683-696, Dec. 1975 [doi>10.1145/361227.361230]
• 12: Jim Gray , Paul McJones , Mike Blasgen , Bruce Lindsay , Raymond Lorie , Tom Price , Franco Putzolu , Irving Traiger, The Recovery Manager of the System R Database Manager, ACM Computing Surveys (CSUR), v.13 n.2, p.223-242, June 1981 [doi>10.1145/356842.356847]
• 13: GRZEGORCZYK, A. An Outline of Mathematical Logic. Reidel, Dordrecht, Holland, 1974.
• 14: HAMMER, M., AND MCLEOD, D. Semantic integrity in a relational database system. In Proceedings of International Conference on Very Large Databases (Framingham, Mass., Sept. 1975), 25-47.
• 15: Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
• 16: William Kent, Limitations of record-based information models, ACM Transactions on Database Systems (TODS), v.4 n.1, p.107-131, March 1979 [doi>10.1145/320064.320070]
• 17: KOENIG, S., AND PAIGE, R. A Transformational framework for the automatic control of virtual data. In Proceedings of 7th International Conference on Very Large Databases (Cannes, France, Sept. 1981), 306-318.
• 18: KUNIN, J.S. Anal y,~is nnd .qpecification of office procedures. Ph.D. Dissertation, MIT, Cambridge, Mass., 1982.
• 19: Roy Levin, Program structures for exceptional condition handling., 1977
• 20: LISKOV, B. H. AND SNYDER, A. Exception handling in CLU. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 546-558.
• 21: N. Minsky , A. Borgida, The Darwin software-evolution environment, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.89-95, April 1984
• 22: John Mylopoulos , Philip A. Bernstein , Harry K. T. Wong, A language facility for designing database-intensive applications, ACM Transactions on Database Systems (TODS), v.5 n.2, p.185-207, June 1980 [doi>10.1145/320141.320150]
• 23: REITER, R. Towards a logical reconstruction of relational database theory. In On Conceptual Modeling, M. Brodie, J. Schmidt, Eds, Springer verlag, New York, 1984, 191-233.
• 24: SCHWARTZ, S. P., Ed.Naming, Necessity and Natural Kinds. Cornell University Press, Ithaca, N.Y., 1977.
• 25: SMITH, J. M., FOX, S., AND LANDERS, T. Reference manual for ADAPLEX. Tech. Rep. CCA-81-02, Computer Corp. of America, Jan. 1981.
• 26: John Miles Smith , Diane C. P. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems (TODS), v.2 n.2, p.105-133, June 1977 [doi>10.1145/320544.320546]
• 27: Michael Stonebraker, Implementation of integrity constraints and views by query modification, Proceedings of the 1975 ACM SIGMOD international conference on Management of data, May 14-16, 1975, San Jose, California [doi>10.1145/500080.500091]
• 28: TEITELMAN, W. INTERLISP Reference Manual, 4th ed. XEROX Palo Alto Research Cent., Palo Alto, Calif., 1974.
• 29: WASSERMAN, A.i. Procedure-oriented exception-handling. Tech. Rep. 27, Meatcal lntormation Science, University of California, San Francisco, Feb. 1977.
• 30: Shaula Yemini , Daniel M. Berry, A modular verifiable exception handling mechanism, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.214-243, April 1985 [doi>10.1145/3318.3320]
• 31: ZANIOLO, C. Database relations with null values. J. Comput. Syst. Sei. 28, 1 (Feb. 1984), 142-166.

INDEX TERMS

Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Error handling and recovery

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.0 General
          Subjects: Security, integrity, and protection**
      H.2.1 Logical Design
          Subjects: Data models
      H.2.3 Languages
          Subjects: Data manipulation languages (DML); Data description languages (DDL)

General Terms:
Design, Languages, Theory, Verification