Abstract
Three perspectives are adopted in the paper to define the Object Oriented (OO) Paradigm: the General System Theory principles adapted to Information Systems (IS) [1], the Abstract Object Types (AOT) or Objectual Logic (OBLOG) [2] and clausal or equational logics. In this approach the OO-Data Base (OO-DB) specification (the system view of Conceptual Scheme (CS)) is a formal theory in this blend of logics. Its model is the OO-DB extension. Two Object Definition Languages (ODL) are implemented: FMOL and RMOL. Two first order languages used as User Languages (UL) are associated with them. The operational semantics of the underlaying logic (implemented by deduction) together with some software sugar constitutes an OO-DB Management System.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P.Lindgreen ed.“A Framework of Information System Concepts”.FRISCO. Interim Report.IFIP WG8.TG.90.
A.Sernadas “Abstract Object Types:a temporal perspective”.Colloquium on temporal logic and specification. Springer Verlag 89.
P.Deutsch.In records of a discussion on the type concept.SIGPLAN Notices vol.16 n’l.ACM 81.
J.Goguen et al.“Unifying Functional Object Oriented and Relational Program ming whith logical semantics”. Research Directions in 00 Programming. MIT Press 87.
G.Gallaire et al.“Logic and Databases:a deductive approach”.Computing Surveys 84
R.Kowalsky.“Logic as a Database language”.New Generation Computing 87
D.Coleman et al.“The AXIS specification language”.Tech.Rep.HP-Labs.88.
A.Gesser et al.“RAP”.Tech.Rep. Univ.Passau 88.
A.Olive.“A comparison of the operational and deductive approaches to Conceptual System modelling”.Proc.IFIP 86.
BIM_PROLOG.ISS,Everberg.Belgium.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag/Wien
About this chapter
Cite this chapter
Ramos, I. (1990). Logics and OO-Data Bases:a declarative approach. In: Tjoa, A.M., Wagner, R. (eds) Database and Expert Systems Applications. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7553-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7553-8_37
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82234-0
Online ISBN: 978-3-7091-7553-8
eBook Packages: Springer Book Archive