{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:22Z","timestamp":1725663622644},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540535072"},{"type":"electronic","value":"9783540466826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53507-1_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:09:07Z","timestamp":1330207747000},"page":"229-244","source":"Crossref","is-referenced-by-count":1,"title":["A theory of specialization constraints for complex objects"],"prefix":"10.1007","author":[{"given":"G. E.","family":"Weddell","sequence":"first","affiliation":[]},{"given":"N.","family":"Coburn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/59287.59293","volume":"11","author":"H. Ait-Kaci","year":"1989","unstructured":"H. Ait-Kaci, R. Boyer, P. Lincoln, and R. Nasr. Efficient implementation of lattice operations. ACM TOPLAS, 11(1):115\u2013146, Jan. 1989.","journal-title":"ACM TOPLAS"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"H. Arisawa and T. Miura. On the properties of extended inclusion dependencies. In Proc. 12th VLDB, pages 449\u2013456, Aug. 1986.","DOI":"10.1109\/TSE.1986.6313001"},{"issue":"1","key":"14_CR3","first-page":"322","volume":"10","author":"D. S. Batory","year":"1989","unstructured":"D. S. Batory and Won Kim. Modeling concepts for vlsi cad objects. ACM TOPLAS, 10(1):322\u2013346, Jan. 1989.","journal-title":"ACM TOPLAS"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"C. Beeri. Formal models for object-oriented databases. In Proc. 1st Inter. Conf. on Deductive and Object-Oriented Databases, pages 370\u2013395, Dec. 1989.","DOI":"10.1145\/63320.66511"},{"issue":"1","key":"14_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/MS.1985.230050","volume":"2","author":"A. Borgida","year":"1985","unstructured":"A. Borgida. Features of languages for the development of information systems at the conceptual level. IEEE Software, 2(1):63\u201372, Jan. 1985.","journal-title":"IEEE Software"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"M. A. Casanova, R. Fagin, and C. H. Papadimitriou. Inclusion dependencies and their interaction with functional dependencies. J. Comp. Syst. Sci., 28, Mar. 1984.","DOI":"10.1016\/0022-0000(84)90075-8"},{"key":"14_CR7","unstructured":"Computer Corporation of America. ADAPLEX: Rationale and reference manual, cca-83-08 edition, May 1983."},{"key":"14_CR8","unstructured":"G. Di Battista and M. Lenzerini. A deductive method for entity-relationship modeling. In Proc. 15th VLDB, pages 13\u201321, Aug. 1989."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"P. C. Kanellakis, S. S. Cosmadakis, and M. Y. Vardi. Unary inclusion dependencies have polynomial time inference problems. In Proc. 15th ACM STOC, pages 264\u2013277, 1983.","DOI":"10.1145\/800061.808756"},{"issue":"2","key":"14_CR10","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/320141.320150","volume":"5","author":"J. Mylopoulos","year":"1980","unstructured":"J. Mylopoulos, P. A. Bernstein, and H. K. T. Wong. A language facility for designing database-intensive applications. ACM TODS, 5(2):185\u2013207, June 1980.","journal-title":"ACM TODS"},{"key":"14_CR11","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1986."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"G. E. Weddell. A theory of functional dependencies for object-oriented data models. In Proc. 1st Int. Conf. on Deductive and Object-Oriented Databases, pages 150\u2013169, Dec. 1989.","DOI":"10.1016\/B978-0-444-88433-6.50017-4"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"G. E. Weddell. Reasoning about functional dependencies generalized for semantic data models. ACM TODS, (to appear).","DOI":"10.1145\/128765.128767"}],"container-title":["Lecture Notes in Computer Science","ICDT '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53507-1_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:14:06Z","timestamp":1619572446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53507-1_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540535072","9783540466826"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-53507-1_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}