Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007907624> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2007907624 endingPage "243" @default.
- W2007907624 startingPage "223" @default.
- W2007907624 abstract "One of the central concepts supported by object-oriented databases is isa relationship. Its intuitive simplicity is deceptive. In reality, this term denotes several concepts, such as subtyping, subset relationships, and inheritance of structure and/or behavior. Each of these is non-trivial, and their interaction may be quite subtle. This paper deals with subtyping and its properties, in the context of a model that allows arbitrary data types and type constructors (but no function constructor). For simplicity a model based on the algebraic specification approach is used, which partially explains the inability to deal with the function constructor. Two intuitive ideas about subtyping are generalized and investigated: first, that the set of elements associated with a subtype is a subset of the set associated with supertype, and second, that each element of the subtype may be used in any place where an element of the supertype is expected. A generalized subtyping relation among abstract data types is defined, and its properties are investigated. In particular, it is shown that often there exist many possible subtyping relations among two types and that testing for some desirable properties, such as correctness, is in general undecidable. The notion of natural subtyping relation (that is related to parametric abstract data types) is introduced and shown to have a simple correctness proof. The paper concludes with a generalized type checking algorithm." @default.
- W2007907624 created "2016-06-24" @default.
- W2007907624 creator A5003271781 @default.
- W2007907624 creator A5083385152 @default.
- W2007907624 date "1995-10-01" @default.
- W2007907624 modified "2023-09-28" @default.
- W2007907624 title "Subtyping in OODBs" @default.
- W2007907624 cites W112959345 @default.
- W2007907624 cites W115619138 @default.
- W2007907624 cites W1531723926 @default.
- W2007907624 cites W1537604507 @default.
- W2007907624 cites W1548739294 @default.
- W2007907624 cites W1551791208 @default.
- W2007907624 cites W1554645789 @default.
- W2007907624 cites W1558508802 @default.
- W2007907624 cites W1603788080 @default.
- W2007907624 cites W1748773533 @default.
- W2007907624 cites W1770006921 @default.
- W2007907624 cites W1970378743 @default.
- W2007907624 cites W1984958950 @default.
- W2007907624 cites W1987454317 @default.
- W2007907624 cites W2011573124 @default.
- W2007907624 cites W2026735162 @default.
- W2007907624 cites W2031993032 @default.
- W2007907624 cites W2035625685 @default.
- W2007907624 cites W2052207858 @default.
- W2007907624 cites W2053678463 @default.
- W2007907624 cites W2296139130 @default.
- W2007907624 cites W2686043342 @default.
- W2007907624 doi "https://doi.org/10.1006/jcss.1995.1063" @default.
- W2007907624 hasPublicationYear "1995" @default.
- W2007907624 type Work @default.
- W2007907624 sameAs 2007907624 @default.
- W2007907624 citedByCount "5" @default.
- W2007907624 crossrefType "journal-article" @default.
- W2007907624 hasAuthorship W2007907624A5003271781 @default.
- W2007907624 hasAuthorship W2007907624A5083385152 @default.
- W2007907624 hasBestOaLocation W20079076241 @default.
- W2007907624 hasConcept C199360897 @default.
- W2007907624 hasConcept C41008148 @default.
- W2007907624 hasConcept C83852419 @default.
- W2007907624 hasConceptScore W2007907624C199360897 @default.
- W2007907624 hasConceptScore W2007907624C41008148 @default.
- W2007907624 hasConceptScore W2007907624C83852419 @default.
- W2007907624 hasIssue "2" @default.
- W2007907624 hasLocation W20079076241 @default.
- W2007907624 hasOpenAccess W2007907624 @default.
- W2007907624 hasPrimaryLocation W20079076241 @default.
- W2007907624 hasRelatedWork W1462775415 @default.
- W2007907624 hasRelatedWork W1987896487 @default.
- W2007907624 hasRelatedWork W2068445477 @default.
- W2007907624 hasRelatedWork W2391332606 @default.
- W2007907624 hasRelatedWork W2396009657 @default.
- W2007907624 hasRelatedWork W2748952813 @default.
- W2007907624 hasRelatedWork W2763815264 @default.
- W2007907624 hasRelatedWork W2899084033 @default.
- W2007907624 hasRelatedWork W3032826521 @default.
- W2007907624 hasRelatedWork W4243252198 @default.
- W2007907624 hasVolume "51" @default.
- W2007907624 isParatext "false" @default.
- W2007907624 isRetracted "false" @default.
- W2007907624 magId "2007907624" @default.
- W2007907624 workType "article" @default.