J. Comput. Syst. Sci., pp. 433-455, 1995.
method schemamethod name overloadingrecursion-free method schemaconsistency problemgeneral caseMore(5+)
A method schema is a simple programming formalism for object-oriented databases with features such as classes, methods, inheritance, name overloading, and late binding. An important problem is to check whether a given method schema can lead to an inconsistency in some interpretation. This consistency question is shown to be undecidable in...More
PPT (Upload PPT)