This work describes a formal approach to the expression of behavioural and deductive features in an Object-Oriented Data Model. The Object Orientation is preserved and the semantics is improved. The paradigms of Object-Orientation, Logics and Databases are integrated by formal specification to provide new resources
© 2001-2026 Fundación Dialnet · Todos los derechos reservados