{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:12:11Z","timestamp":1773655931900,"version":"3.50.1"},"reference-count":53,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1016\/0169-023x(95)00005-d","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T16:52:26Z","timestamp":1053363146000},"page":"251-281","source":"Crossref","is-referenced-by-count":31,"title":["Subtyping and polymorphism in object-role modelling"],"prefix":"10.1016","volume":"15","author":[{"given":"T.A.","family":"Halpin","sequence":"first","affiliation":[]},{"given":"H.A.","family":"Proper","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(95)00005-D_BIB1","series-title":"Conceptual Schema and Relational Database Design: a fact oriented approach","author":"Nijssen","year":"1989"},{"issue":"2","key":"10.1016\/0169-023X(95)00005-D_BIB2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1365-2575.1992.tb00070.x","article-title":"Fact-oriented modelling for data analysis","volume":"2","author":"Halpin","year":"1992","journal-title":"J. Informat. Syst."},{"issue":"5","key":"10.1016\/0169-023X(95)00005-D_BIB3","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1016\/0306-4379(91)90037-A","article-title":"Semantics and verification of object-role models","volume":"16","author":"van Bommel","year":"1991","journal-title":"Informat. Syst."},{"issue":"1","key":"10.1016\/0169-023X(95)00005-D_BIB4","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0169-023X(93)90020-P","article-title":"Expressiveness in conceptual data modelling","volume":"10","author":"ter Hofstede","year":"1993","journal-title":"Data & Knowledge Eng."},{"issue":"3","key":"10.1016\/0169-023X(95)00005-D_BIB5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0169-023X(91)90006-J","article-title":"Binary-Relationship integration methodology","volume":"6","author":"Shoval","year":"1991","journal-title":"Data & Knowledge Eng."},{"key":"10.1016\/0169-023X(95)00005-D_BIB6","series-title":"Proc. Third Int. Conf. CAiSE'91 on Advanced Information Systems Engineering","first-page":"561","article-title":"The OO-Binary relationship model: A truly object oriented conceptual model","volume":"vol. 498","author":"De Troyer","year":"1991"},{"key":"10.1016\/0169-023X(95)00005-D_BIB7","first-page":"271","article-title":"Normalized object oriented method","volume":"vol. 12","author":"Habrias","year":"1993"},{"key":"10.1016\/0169-023X(95)00005-D_BIB8","series-title":"Proc. Fourth Workshop on the Next Generation of CASE Tools","first-page":"35","article-title":"Automated support for conceptual to external mapping","author":"Campbell","year":"1993"},{"key":"10.1016\/0169-023X(95)00005-D_BIB9","first-page":"374","article-title":"Abstraction techniques for conceptual schemas","volume":"vol. 16","author":"Campbell","year":"1994"},{"key":"10.1016\/0169-023X(95)00005-D_BIB10","series-title":"Information Systems Design Methodologies: A comparative Review","first-page":"537","article-title":"NIAM: an Information Analysis Method","author":"Verheijen","year":"1982"},{"key":"10.1016\/0169-023X(95)00005-D_BIB11","series-title":"Informatie-analyse volgens NIAM","author":"Wintraecken","year":"1985"},{"key":"10.1016\/0169-023X(95)00005-D_BIB12","series-title":"The NIAM Information Analysis Method: Theory and Practice","author":"Wintraecken","year":"1990"},{"key":"10.1016\/0169-023X(95)00005-D_BIB13","series-title":"Conceptual Schema and Relational Database Design","author":"Halpin","year":"1995"},{"key":"10.1016\/0169-023X(95)00005-D_BIB14","article-title":"A logical analysis of information systems: static aspects of the data-oriented perspective","author":"Halpin","year":"1989"},{"key":"10.1016\/0169-023X(95)00005-D_BIB15","series-title":"Proc. First Int. Conf. on Object-Role Modelling (ORM-1)","first-page":"28","article-title":"A logical formalization of the binary object-role model","author":"De Troyer","year":"1994"},{"key":"10.1016\/0169-023X(95)00005-D_BIB16","series-title":"Proc. NIAM-ISDM Conf.","year":"1993"},{"key":"10.1016\/0169-023X(95)00005-D_BIB17","series-title":"Proc. First Int. Conf. on Object-Role Modelling (ORM-1)","year":"1994"},{"key":"10.1016\/0169-023X(95)00005-D_BIB18","series-title":"Proc. First Int. Conf. on Object-Role Modelling (ORM-1)","first-page":"259","article-title":"Towards a unifying object role modelling approach","author":"Brouwer","year":"1994"},{"key":"10.1016\/0169-023X(95)00005-D_BIB19","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0169-023X(92)90042-A","article-title":"Reducing the search space for conceptual schema transformation","volume":"8","author":"van Bommel","year":"1992","journal-title":"Data & Knowledge Eng."},{"key":"10.1016\/0169-023X(95)00005-D_BIB20","series-title":"MFDBS 91","first-page":"342","article-title":"A fact-oriented approach to schema transformation","volume":"vol. 495","author":"Halpin","year":"1991"},{"key":"10.1016\/0169-023X(95)00005-D_BIB21","series-title":"Proc. Int. Conf. on Information Systems and Management of Data (CISMOD 92)","first-page":"288","article-title":"Fact-oriented schema optimization","author":"Halpin","year":"1992"},{"issue":"7","key":"10.1016\/0169-023X(95)00005-D_BIB22","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1016\/0306-4379(93)90004-K","article-title":"Formal definition of a conceptual language for the description and manipulation of information models","volume":"18","author":"ter Hofstede","year":"1993","journal-title":"Informat. Syst."},{"key":"10.1016\/0169-023X(95)00005-D_BIB23","series-title":"Seventeenth Annual Computer Science Conf.","first-page":"157","article-title":"A conceptual language for the description and manipulation of complex information models","volume":"vol. 16","author":"ter Hofstede","year":"1994"},{"issue":"12","key":"10.1016\/0169-023X(95)00005-D_BIB24","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0169-023X(94)90031-0","article-title":"EVORM: A conceptual modelling technique for evolving application domains","volume":"10","author":"Proper","year":"1994","journal-title":"Data & Knowledge Eng."},{"key":"10.1016\/0169-023X(95)00005-D_BIB25_1","article-title":"Information disclosure in evolving information systems: Taking a shot at a moving target","author":"Proper","year":"1993"},{"issue":"2","key":"10.1016\/0169-023X(95)00005-D_BIB25_2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0169-023X(94)00035-D","article-title":"Information disclosure in evolving information systems: Taking a shot at a moving target","volume":"15","author":"Proper","year":"1995","journal-title":"Data & Knowledge Eng."},{"key":"10.1016\/0169-023X(95)00005-D_BIB26","series-title":"Proc. Third Workshop on the Next Generation of CASE Tools","first-page":"99","article-title":"Automated support for subtyping","author":"Halpin","year":"1992"},{"key":"10.1016\/0169-023X(95)00005-D_BIB27","series-title":"Proc. Fourth Workshop on the Next Generation of CASE Tools","first-page":"151","article-title":"Automated support for verbalization of conceptual schemas","author":"Halpin","year":"1993"},{"key":"10.1016\/0169-023X(95)00005-D_BIB28","series-title":"Next Generation CASE Tools","first-page":"38","article-title":"WISE: a Workbench for Information System Engineering","volume":"vol. 3","author":"Halpin","year":"1992"},{"key":"10.1016\/0169-023X(95)00005-D_BIB29","series-title":"Asymetrix","year":"1994"},{"key":"10.1016\/0169-023X(95)00005-D_BIB30","series-title":"Proc. Fourth Int. Conf. CAiSE'92 on Advanced Information Systems Engineering","first-page":"364","article-title":"Data modelling in complex application domains","volume":"vol. 593","author":"ter Hofstede","year":"1992"},{"key":"10.1016\/0169-023X(95)00005-D_BIB31","article-title":"Automated support for verification & validation of graphical constraints in PSM","author":"Hubbers","year":"1993"},{"key":"10.1016\/0169-023X(95)00005-D_BIB32","series-title":"Proc. Second Nordic Conf. CAiSE'90 on Advanced Information Systems Engineering","first-page":"88","article-title":"Automated support of the modelling process: a view based on experiments with expert information engineers","volume":"vol. 436","author":"Wijers","year":"1990"},{"issue":"4","key":"10.1016\/0169-023X(95)00005-D_BIB33","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","article-title":"On understanding types, data abstraction, and polymorphism","volume":"17","author":"Cardelli","year":"1985","journal-title":"ACM Comput. Surveys"},{"issue":"9","key":"10.1016\/0169-023X(95)00005-D_BIB34","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/83880.84459","article-title":"Understanding object oriented: A unifying paradigm","volume":"33","author":"Korson","year":"1990","journal-title":"Commun. ACM"},{"key":"10.1016\/0169-023X(95)00005-D_BIB35","article-title":"Information modelling in data intensive domains","author":"ter Hofstede","year":"1993"},{"key":"10.1016\/0169-023X(95)00005-D_BIB36","series-title":"Proc. Fourth Int. Conf. CAiSE'92 on Advanced Information Systems Engineering","first-page":"364","article-title":"Automated validation of conceptual schema constraints","volume":"vol. 593","author":"Halpin","year":"1992"},{"key":"10.1016\/0169-023X(95)00005-D_BIB37","series-title":"Concepts and Terminology for the Conceptual Schema and the Information Base","year":"1982"},{"key":"10.1016\/0169-023X(95)00005-D_BIB38","series-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics","author":"Stoy","year":"1977"},{"key":"10.1016\/0169-023X(95)00005-D_BIB39","series-title":"Proc. First Int. Conf. on Object-Role Modelling (ORM-1)","first-page":"45","article-title":"Fact orientation in complex object role modelling techniques","author":"ter Hofstede","year":"1994"},{"key":"10.1016\/0169-023X(95)00005-D_BIB40","series-title":"Category Theory for Computing Science","author":"Barr","year":"1990"},{"key":"10.1016\/0169-023X(95)00005-D_BIB41","article-title":"A category theory approach to conceptual data modeling","author":"Lippe","year":"1994"},{"key":"10.1016\/0169-023X(95)00005-D_BIB42","article-title":"Conceptual data modeling from a categorical perspective","author":"ter Hofstede","year":"1994"},{"issue":"4","key":"10.1016\/0169-023X(95)00005-D_BIB43","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","article-title":"IFO: A formal semantic database model","volume":"12","author":"Abiteboul","year":"1987","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/0169-023X(95)00005-D_BIB44","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0169-023X(85)90027-8","article-title":"The category concept: An extension to the entity-relationship model","author":"Elmasri","year":"1985","journal-title":"Data & Knowledge Eng."},{"key":"10.1016\/0169-023X(95)00005-D_BIB45","series-title":"Proc. Ninth Int. Conf. on the Entity-Relationship Approach","article-title":"Formal semantics of an entity-relationship-based query language","author":"Hohenstein","year":"1990"},{"issue":"4","key":"10.1016\/0169-023X(95)00005-D_BIB46","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(92)90008-Y","article-title":"Conceptual modelling of database applications using an extended ER model","volume":"9","author":"Engels","year":"1992","journal-title":"Data & Knowledge Eng."},{"issue":"3","key":"10.1016\/0169-023X(95)00005-D_BIB47","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0306-4379(92)90014-E","article-title":"SQL\/EER-syntax and semantics of an entity-relationship-based query Language","volume":"17","author":"Hohenstein","year":"1992","journal-title":"Informat. Syst."},{"key":"10.1016\/0169-023X(95)00005-D_BIB48","series-title":"Fundamentals of Database Systems","article-title":"Advanced data models and emerging trends","author":"Elmasri","year":"1994"},{"key":"10.1016\/0169-023X(95)00005-D_BIB49","series-title":"Object-Oriented Modeling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/0169-023X(95)00005-D_BIB50","series-title":"Object-oriented software construction","author":"Meyer","year":"1988"},{"key":"10.1016\/0169-023X(95)00005-D_BIB51","series-title":"Proc. ACM SIG-MOD Int. Conf. on Management of Data","first-page":"418","article-title":"RIDL\u2217: A tool for the computer-assisted engineering of large databases in the presence of integrity constraints","author":"De Troyer","year":"1989"},{"key":"10.1016\/0169-023X(95)00005-D_BIB52","article-title":"A theory for conceptual modelling of evolving application domains","author":"Proper","year":"1994"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9500005D?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9500005D?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T22:25:49Z","timestamp":1556144749000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9500005D"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":53,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["0169023X9500005D"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(95)00005-d","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}