{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T05:10:07Z","timestamp":1649049007211},"reference-count":17,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4429,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1006\/jcss.2001.1750","type":"journal-article","created":{"date-parts":[[2002,9,18]],"date-time":"2002-09-18T10:19:44Z","timestamp":1032344384000},"page":"537-564","source":"Crossref","is-referenced-by-count":2,"title":["Refinements of Complexity Results on Type Consistency for Object-Oriented Databases"],"prefix":"10.1006","volume":"62","author":[{"given":"Yasunori","family":"Ishihara","sequence":"first","affiliation":[]},{"given":"Shougo","family":"Shimizu","sequence":"additional","affiliation":[]},{"given":"Hiroyuki","family":"Seki","sequence":"additional","affiliation":[]},{"given":"Minoru","family":"Ito","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1006\/jcss.2001.1750_RF1","series-title":"Foundations of Databases","author":"Abiteboul","year":"1995"},{"key":"10.1006\/jcss.2001.1750_RF2","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1006\/jcss.1995.1080","article-title":"Method schemas","volume":"51","author":"Abiteboul","year":"1995","journal-title":"J. Comput. System Sci."},{"key":"10.1006\/jcss.2001.1750_RF3","series-title":"Proc. 9th ACM Symposium on Principles of Database Systems","article-title":"Method schemas","author":"Abiteboul","year":"1990"},{"key":"10.1006\/jcss.2001.1750_RF4","series-title":"Proc. 6th Conf. on Object-Oriented Programming Systems, Languages, and Applications","article-title":"Static type checking of multi-methods","author":"Agrawal","year":"1991"},{"key":"10.1006\/jcss.2001.1750_RF5","series-title":"Proc. 3rd International Conf. on Extending Database Technology","article-title":"Supporting access control in an object-oriented database language","volume":"580","author":"Ahad","year":"1992"},{"key":"10.1006\/jcss.2001.1750_RF6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s007780050020","article-title":"Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS","volume":"5","author":"Amiel","year":"1996","journal-title":"VLDB Journal"},{"key":"10.1006\/jcss.2001.1750_RF7","series-title":"Proc. 8th IEEE International Conf. on Data Engineering","article-title":"Data hiding and security in object-oriented database","author":"Bertino","year":"1992"},{"key":"10.1006\/jcss.2001.1750_RF8","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1145\/218570.218571","article-title":"Typechecking and modules for multimethods","volume":"17","author":"Chambers","year":"1995","journal-title":"ACM Trans. Program. Lang. Systems"},{"key":"10.1006\/jcss.2001.1750_RF9","series-title":"Proc. 9th Conf. on Object-Oriented Programming Systems, Languages, and Applications","article-title":"Application of OOP type theory: State, decidability, integration","author":"Eifrig","year":"1994"},{"key":"10.1006\/jcss.2001.1750_RF10","series-title":"Proc. 6th Conf. on Object-Oriented Programming Systems, Languages, and Applications","article-title":"A static type system for message passing","author":"Ghelli","year":"1991"},{"key":"10.1006\/jcss.2001.1750_RF11","series-title":"Proc. 3rd International Conf. on Foundations of Data Organization and Algorithms","article-title":"Behavior analysis of object-oriented databases: Method structure, execution trees, and reachability","author":"Hull","year":"1989"},{"key":"10.1006\/jcss.2001.1750_RF12","series-title":"Proc. 6th International Conf. on Database Theory","article-title":"Type-consistency problems for queries in object-oriented databases","volume":"1186","author":"Ishihara","year":"1997"},{"key":"10.1006\/jcss.2001.1750_RF13","series-title":"Proc. European Conf. on Object-Oriented Programming","article-title":"Making type inference practical","volume":"615","author":"Oxh\u00f8j","year":"1992"},{"key":"10.1006\/jcss.2001.1750_RF14","series-title":"Proc. 6th Conf. on Object-Oriented Programming Systems, Languages, and Applications","article-title":"Object-oriented type inference","author":"Palsberg","year":"1991"},{"key":"10.1006\/jcss.2001.1750_RF15","series-title":"Object-Oriented Type Systems","author":"Palsberg","year":"1994"},{"key":"10.1006\/jcss.2001.1750_RF16","series-title":"Proc. 4th International Conf. on Deductive and Object-Oriented Databases","article-title":"Authorization analysis of queries in object-oriented databases","volume":"1013","author":"Seki","year":"1995"},{"key":"10.1006\/jcss.2001.1750_RF17","series-title":"Proc. 2nd International Conf. on Deductive and Object-Oriented Databases","article-title":"Schema updates and consistency","volume":"566","author":"Waller","year":"1991"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000001917507?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000001917507?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T15:51:06Z","timestamp":1557330666000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000001917507"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["S0022000001917507"],"URL":"http:\/\/dx.doi.org\/10.1006\/jcss.2001.1750","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}
