Large database specifications from small views

  • S. Khosla
  • T. S. E. Maibaum
  • M. Sadler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 206)


In this paper we explore the role of specification as an aid to database construction. A modal system of logic is introduced to model databases together with a structuring technique to create larger database specifications from smaller ones. The basic theory as well as the additional modelling structure is illustrated initially by characterizing a stack data structure as a "view" of an array data structure. Later we give a more realistic example describing an airline network system. We conclude with items for further research.


Modal Logic Function Symbol Integrity Constraint Predicate Symbol Database Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AL81]
    J. F. Allen: A general model of action and time, TR97, Nov 81, Department of Computing, University of Rochester.Google Scholar
  2. [ANSI]
    The ANSI/SPARC DBMS Model: Proc. of the Second SHARE Working Conf. on Database Management Systems, Montreal, Canada, North-Holland (1977).Google Scholar
  3. [Bau81]
    Bauer et al: Report on a wide spectrum language for program specification and development. Report TUM-I8104, Institut fur Informatic, Technische Universitat Munchen (1981).Google Scholar
  4. [BG80]
    R. M. Burstall, J. A. Gougen: The Semantics of Clear: A Specification Language. In Proc, Advanced Course on Abstract Software Specification (D. Bjourner (ed.)), LNCS S86 S (1980).Google Scholar
  5. [BS81]
    F. Bancilhon, N. Spyratos, "Update Semantics of Relational Views," ACM-TODS, Vol. 6, No. 4, Dec. 1981.Google Scholar
  6. [CCF81]
    M. A. Cassanova, J. M. V. Castilho, A. L. Furtado: "Properties of Conceptual and External Database Schemes". Series: Monografias em Ciencias da Computacao No. 11/81, Departmento de Informatica P.U.C. do Rio de Janeiro.Google Scholar
  7. [Chen76]
    P. Chen: The Entity-Relationship Model — Toward a Unified View of Data, ACM-TODS, Vol. 1, 1976.Google Scholar
  8. [DB82]
    U. Dayal, P. A. Bernstein: On the Correct Translation of Update Operations on Relational Views, ACM-TODS, Vol. 8, No. 3, Sept. 1982, pp 381–416.CrossRefGoogle Scholar
  9. [DMW82]
    W. Dosch, G. Mascari, M. Wirsing: On the Algebraic Specification of Databases, R, 82-11 Universita di Roma, Instituto di Automatica Agosto 1982.Google Scholar
  10. [EFH83]
    H. Ehrig, H. J. Kreowski, H. Hansen: ACT ONE, An Algebraic Specification Language with Two Levels of Semantics, Techn. Report TU Berlin, No. 83-03, 1983.Google Scholar
  11. [EKW78]
    H. Ehrig, H. J. Kreowski, H. Weber: Algebraic Specification Schemes for Database Systems, Proc. of 4th Int. Conf. on Very large Databases, 1978.Google Scholar
  12. [EmKo76]
    M. H. Van Emden, R. A. Kowalski: The Semantics of Predicate Logic as a Programming Language, Journal of the ACM 23(4): 733–742, 1976.CrossRefGoogle Scholar
  13. [End72]
    H. B. Enderton: "A Mathematical Introduction to Logic", Academic Press (1972).Google Scholar
  14. [Go78]
    J. A. Goguen: Order Sorted Algebra, Technical Report, UCLA Computer Science Department, 1978, Semantics and Theory of Computation, Report No. 14.Google Scholar
  15. [Go82]
    J. A. Goguen: Merged Views, Closed Worlds and Ordered Sorts, Internal Report, SRI, 1982.Google Scholar
  16. [Gol82]
    F. Golshani: "Growing Certainty with Null Values", Research Report DOC 82/22, Imperial College, U.K.Google Scholar
  17. [GMS83]
    F. Golshani, T. S. E. Maibaum, M. Sadler: "A Modal System of Algebras for Database Specification and Query/Update Language Support", Ninth Int. Conf. on Very Large Databases, pp 331–339, Florence, Italy, 1983.Google Scholar
  18. [GoTa79]
    J. A. Goguen, J. Tardo: An Introduction to OBJ: a Language for Writing and Testing Software Specifications. In "Specification of Reliable Software", pp 170–189, IEEE, 1979.Google Scholar
  19. [Gut76]
    J. V. Guttag: Abstract Data Types and the Development of Data Structures, Supplement to Proc. Conf. on Data Abstraction, Definition and Structure, SIGPLAN Notices 8, March 1976.Google Scholar
  20. [Hew69]
    C. Hewitt, "Planner: A language for Proving Theorems in Robots," in Proc. IJCAI, Washington DC, pp 295–301.Google Scholar
  21. [Kh85]
    S. Khosla: A Deontic Logic to Describe Actions, Dept. of Computing Report, Imperial college, London.Google Scholar
  22. [Ko81a]
    R. A. Kowalski: Private Communication, 1981.Google Scholar
  23. [Ko81b]
    R. A. Kowlaski: Logic as a Database Language, Proc. of Advanced Seminar on Theoretical Issues in Databases, Cetraro, Italy, 1981.Google Scholar
  24. [LZ75]
    B. Liskov, S. Zilles: "Specification Techniques for Data Abstractions," IEEE Transactions on Software Engineering, Vol. 1, No. 1, pp 7–19, 1975Google Scholar
  25. [MH69]
    J. McCarthy, P. J. Hayes Some Philosophical Problems from A.I. in Machine Intelligence 4.Google Scholar
  26. [NiGa78]
    J. M. Nicolas, H. Galliere: "Database: Theory vs Interpretation", in Logic and Databases, ed. Galliere and Minker, 1978.Google Scholar
  27. [Ma81]
    T. S. E. Maibaum: "Database Instances, Abstract Data Types and Database Specification", To Appear in the Computing Journal of the British Computer Society.Google Scholar
  28. [Mo73]
    J. Morriss: "Types are not Sets", Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Mass, pp 120–124, 1973.Google Scholar
  29. [MSF80]
    T. S. E. Maibaum, C. S. dos Santos, A. L. Furtado: "A Uniform Logical Treatment of Queries and Updates", Technical Report DB018001 — Jan. 80, Department de Informatica, PUC do Rio de Janeiro.Google Scholar
  30. [MSV83]
    T. S. E. Maibaum, M. R. Sadler, P. A. S. Veloso: Logical Implementation, Internal Report, Dept. of Computing, Imperial College, (U.K.), 1983.Google Scholar
  31. [PAO77]
    P. Paolini, G. Pelagatti, "Formal Definition of Mappings in a Database," ACM SIG-MOD conference proceedings, 1977.Google Scholar
  32. [Reit78]
    R. Reiter: "On Closed World Databases", in Logic and Databases, ed. Galliere and Minker, 1978.Google Scholar
  33. [ReBr80]
    N. Rescher, R. Brandom: The Logic of inconsistency, APQ Library of Philosophy, Basil Blackwell (Publishers), Oxford, 1980.Google Scholar
  34. [SS76]
    J. M. Smith, D. C. P. Smith: Database Abstractions: Aggregation and Generalization, ACM-TODS Vol. 2, 1977.Google Scholar
  35. [SanWir83]
    D. Sannella, M. Wirsing: A Kernal Language for Algebraic Specification and Implementation, Internal Report, CSR-131-83, University of Edinburgh, 1983.Google Scholar
  36. [Web76]
    H. Weber: "Modularity in Data Base System Design," in Issues in Data Base Management, ed. Coiser and Wasserman, North Holland, 1979.Google Scholar
  37. [Zill73]
    S. N. Zilles: "Algebraic Specifications of Data Types", In Project MAC progress report for 1973–74, CSG Memo 119, MIT, Cambridge, Mass. pp 1–12.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • S. Khosla
    • 1
  • T. S. E. Maibaum
    • 1
  • M. Sadler
    • 1
  1. 1.Department of ComputingImperial CollegeLondon

Personalised recommendations