Method schemas

    J. Comput. Syst. Sci., pp. 433-455, 1995.

    Cited by: 76|Bibtex|Views12|Links
    EI
    Keywords:
    method schemamethod name overloadingrecursion-free method schemaconsistency problemgeneral caseMore(5+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments