A Logic for Encapsulation in Object Oriented Languages

) Michele Bugliesi 1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, I-35131 Padova, Italy e-mail: [email protected] Hasan M. Jamil 2 Department of Computer Science, Concordia University Montr'eal, Qu'ebec, Canada H3G 1M8 e-mail: [email protected] Abstract. We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by defining a proof theory, a model theory and a fixed point theory. We also show that the different characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language to a corresponding modal language, and we show that the proof theory of the language is sound and complete with respect to the entailment relation of the corresponding modal framework. The proposed semantics represents -- to our knowledge -- the first attempt to capture a truly logical sem..

A logic for encapsulation in object oriented languages

The language F-logic proposed by Kifer et al. [15] is a very nice declarative formalism for OODBs and is regarded as one of the best developed proposals so far. The work on F-Logic has provided foundations for a whole suite of research in the field of deductive object-oriented databases. Among others, a fundamental merit of this proposal is that it has a very solid logical foundation with "a sound and complete proof theory " [15]

A logic for encapsulation in object oriented languages

This paper has been submitted for publication to the Sixth International Symposium on Programming Language Implementation and Logic Programming (PLILP'94)Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal