Continuing Education on New Data Standards & Technologies

Search thousands of Continuing Education resources for metadata professionals


Advanced Search

Is-a - WOW.com

Go to the resource directly at http://us.wow.com/wiki/Is-a

Linked Data

Subject

Creator

Dublin Core

Title

Is-a - WOW.com

Description

In knowledge representation, object-oriented programming and design (see object oriented program architecture), is-a (is_a or is a) is a subsumption[1][2] relationship between abstractions (e.g. types, classes), where one class A is a subclass of another class B (and so B is a superclass of A). In other words, type A is a subtype of type B when A’s specification implies B’s specification. That is, any object (or class) that satisfies A’s specification also satisfies B’s specification, because B’s specification is weaker.[3]

The is-a relationship is to be contrasted with the has-a (has_a or has a) relationship between types (classes).

It may also be contrasted with the instance-of relationship between objects (instances) and types (classes): see "type-token distinction" and "type-token relations."[4] When designing a model (e.g., a computer program) of the real-world relationship between an object and its subordinate, a common error is confusing the relations has-a and is-a.

To summarize the relations, we have

Subtyping enables a given type to be substituted for another type or abstraction. Subtyping is said to establish an is-a relationship between the subtype and some existing abstraction, either implicitly or explicitly, depending on language support. The relationship can be expressed explicitly via inheritance in languages that support inheritance as a subtyping mechanism.

The following C++ code establishes an explicit inheritance relationship between classes B and A, where B is both a subclass and a subtype of A, and can be used as an A wherever a B is specified (via a reference, a pointer or the object itself).

The following python code establishes an explicit inheritance relationship between classes B and A, where B is both a subclass and a subtype of A, and can be used as an A wherever a B is required.

The following example, type(a) is a "regular" type, and type(type(a)) is a metatype. While as distributed all types have the same metatype (PyType_Type, which is also its own metatype), this is not a requirement. The type of classic classes, known as types.ClassType, can also be considered a distinct metatype.[7]

In Java, is-a relation between the type parameters of one class or interface and the type parameters of another are determined by the extends and implements clauses.

Using the Collections classes, ArrayList<E> implements List<E>, and List<E> extends Collection<E>. So ArrayList<String> is a subtype of List<String>, which is a subtype of Collection<String>. The subtyping relationship is preserved between the types automatically. When we define an interface, PayloadList, that associates an optional value of generic type P with each element. Its declaration might look like:

The following parameterizations of PayloadList are subtypes of List<String>:

Liskov substitution principle explains a property, "If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T,".[8] Following example shows a violation of LSP.

Obviously, the DrawShape function is badly formatted. It has to know about every derivative classes of Shape class. Also, it should be changed whenever new subclass of Shape are created. In Object Oriented Design, many view the structure of this as anathema.

Here is a more subtle example of violation of LSP

This works well but when it comes to Square class, which inherits Rectangle class, it violates LSP even though the is-a relationship holds between Rectangle and Square. Because square is rectangular. The following example overrides two functions, Setwidth and SetHeight, to fix the problem. But fixing the code implies that the design is faulty.

The following example, function g just works for Rectangle class but not for Square, and so the open-closed principle has been violated.

Publisher

WOW.com

Rights

Copyright to metadata belongs to Continuing Education Metadata Project. Content Copyright: WOW.com

Format

text/html; charset=utf-8 85.49 KB

Language

en

Identifier

http://www.wow.com/wiki/Is-a

Hyperlink Item Type Metadata

Files

Citation

Us staff, “Is-a - WOW.com,” Continuing Education on New Data Standards & Technologies, accessed July 17, 2018, http://acva2010.cs.drexel.edu/omeka/items/show/38153.