Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
J. F. Allen: A general model of action and time, TR97, Nov 81, Department of Computing, University of Rochester.
The ANSI/SPARC DBMS Model: Proc. of the Second SHARE Working Conf. on Database Management Systems, Montreal, Canada, North-Holland (1977).
Bauer et al: Report on a wide spectrum language for program specification and development. Report TUM-I8104, Institut fur Informatic, Technische Universitat Munchen (1981).
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).
F. Bancilhon, N. Spyratos, "Update Semantics of Relational Views," ACM-TODS, Vol. 6, No. 4, Dec. 1981.
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.
P. Chen: The Entity-Relationship Model — Toward a Unified View of Data, ACM-TODS, Vol. 1, 1976.
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.
W. Dosch, G. Mascari, M. Wirsing: On the Algebraic Specification of Databases, R, 82-11 Universita di Roma, Instituto di Automatica Agosto 1982.
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.
H. Ehrig, H. J. Kreowski, H. Weber: Algebraic Specification Schemes for Database Systems, Proc. of 4th Int. Conf. on Very large Databases, 1978.
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.
H. B. Enderton: "A Mathematical Introduction to Logic", Academic Press (1972).
J. A. Goguen: Order Sorted Algebra, Technical Report, UCLA Computer Science Department, 1978, Semantics and Theory of Computation, Report No. 14.
J. A. Goguen: Merged Views, Closed Worlds and Ordered Sorts, Internal Report, SRI, 1982.
F. Golshani: "Growing Certainty with Null Values", Research Report DOC 82/22, Imperial College, U.K.
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.
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.
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.
C. Hewitt, "Planner: A language for Proving Theorems in Robots," in Proc. IJCAI, Washington DC, pp 295–301.
S. Khosla: A Deontic Logic to Describe Actions, Dept. of Computing Report, Imperial college, London.
R. A. Kowalski: Private Communication, 1981.
R. A. Kowlaski: Logic as a Database Language, Proc. of Advanced Seminar on Theoretical Issues in Databases, Cetraro, Italy, 1981.
B. Liskov, S. Zilles: "Specification Techniques for Data Abstractions," IEEE Transactions on Software Engineering, Vol. 1, No. 1, pp 7–19, 1975
J. McCarthy, P. J. Hayes Some Philosophical Problems from A.I. in Machine Intelligence 4.
J. M. Nicolas, H. Galliere: "Database: Theory vs Interpretation", in Logic and Databases, ed. Galliere and Minker, 1978.
T. S. E. Maibaum: "Database Instances, Abstract Data Types and Database Specification", To Appear in the Computing Journal of the British Computer Society.
J. Morriss: "Types are not Sets", Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Mass, pp 120–124, 1973.
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.
T. S. E. Maibaum, M. R. Sadler, P. A. S. Veloso: Logical Implementation, Internal Report, Dept. of Computing, Imperial College, (U.K.), 1983.
P. Paolini, G. Pelagatti, "Formal Definition of Mappings in a Database," ACM SIG-MOD conference proceedings, 1977.
R. Reiter: "On Closed World Databases", in Logic and Databases, ed. Galliere and Minker, 1978.
N. Rescher, R. Brandom: The Logic of inconsistency, APQ Library of Philosophy, Basil Blackwell (Publishers), Oxford, 1980.
J. M. Smith, D. C. P. Smith: Database Abstractions: Aggregation and Generalization, ACM-TODS Vol. 2, 1977.
D. Sannella, M. Wirsing: A Kernal Language for Algebraic Specification and Implementation, Internal Report, CSR-131-83, University of Edinburgh, 1983.
H. Weber: "Modularity in Data Base System Design," in Issues in Data Base Management, ed. Coiser and Wasserman, North Holland, 1979.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khosla, S., Maibaum, T.S.E., Sadler, M. (1985). Large database specifications from small views. In: Maheshwari, S.N. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1985. Lecture Notes in Computer Science, vol 206. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16042-6_14
Download citation
DOI: https://doi.org/10.1007/3-540-16042-6_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16042-7
Online ISBN: 978-3-540-39722-9
eBook Packages: Springer Book Archive