Abstract
In this paper we propose an approach to database theory based on a constructive logic. The semantics here assumed is a particular one; it is based on the notion of info(K,F) (the information type of F), where K is the set of constants of a first order language L, F is a formula of L and info(K,F) is the set of all the possible pieces of information (within L) on the “truth” of F.
This constructive semantics will be used to treat problems related to relational databases such as disjunctive information and null value.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Brauer W. (ed.)-Net Theory and Applications-LNCS,Springer Verlag,1980.
Gallaire H., Minker J., Nicolas J.M.-Logic and Databases: A deductive approach-Computing Surveys 16, 2, 1984.
Hayashi S., Nakano H.-PX: a computational logic-MIT Press, 1989.
Kleene S.-Introduction to metamathematics-Wolters-Noordhoff, 1952.
Lloyd J. W.-Foundations of logic programming-Springer Verlag, 1987.
Lloyd J., Topor W.-A Basis for Deductive Database Systems-J. Logic Programming 2, 2, 1985.
Lloyd J., Topor W.-A Basis for Deductive Database Systems II-J. Logic Programming 3, 1, 1986.
Medvedev T.-Finite problems-Sov. Math. Dok. 3, 1962.
Miglioli P., Moscato U., Ornaghi M.-Constructive proofs as programs executable by PrT nets-in Girault C., Reisig W. (ed.) Application and theory of Petri nets, Informatik-Fachberikte, n. 52, Springer Verlag, 1982.
Miglioli P., Moscato U., Ornaghi M., Usberti G.-A costructivism based on classical truth-Notre Dame Journal of Formal Logic, vol. 30, n.1, 1989.
Miglioli P., Moscato U., Ornaghi M., Quazza S., Usberti G.-Some results on intermediate constructive logics-Notre Dame Journal of Formal Logic, vol 30, n.4, 1989.
Prawitz D.-Natural deduction: a proof-theoretical study-Almqvist & Wiksell, 1965.
Reiter R.-Toward a Logical Reconstruction of Relational Database Theory-in Brodie M., Mylopoulos J., Schmidt J.W. (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer Verlag, 1984.
Troelstra A.S.-Metamathematical investigations of intuitionistic arithmetic and analysis-LNM, n.344, Springer Verlag, 1973.
Troelstra A.S.-Constructive Mathematics-in Barwise J. (ed.) Handbook of Mathematical Logic, North Holland, 1980.
Voronkov A.-Towards the theory of programs in constructive logic-LNCS n. 432 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miglioli, P., Moscato, U., Ornaghi, M. (1992). A constructive logic approach to database theory. In: Voronkov, A. (eds) Logic Programming. Lecture Notes in Computer Science, vol 592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55460-2_23
Download citation
DOI: https://doi.org/10.1007/3-540-55460-2_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55460-8
Online ISBN: 978-3-540-47083-0
eBook Packages: Springer Book Archive