{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:25:35Z","timestamp":1751635535765},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550150"},{"type":"electronic","value":"9783540466468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55015-1_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:23:00Z","timestamp":1330212180000},"page":"312-331","source":"Crossref","is-referenced-by-count":7,"title":["Path constraints for graph-based data models: Towards a unified theory of typing constraints, equations, and functional dependencies"],"prefix":"10.1007","author":[{"given":"N.","family":"Coburn","sequence":"first","affiliation":[]},{"given":"G. E.","family":"Weddell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"4","key":"17_CR1","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/320107.320112","volume":"4","author":"A. V. Aho","year":"1979","unstructured":"A. V. Aho, Y. Sagiv, and J. D. Ullman. Efficient optimization of a class of relational expressions. ACM Transactions on Database Systems, 4(4):435\u2013454, December 1979.","journal-title":"ACM Transactions on Database Systems"},{"issue":"1","key":"17_CR2","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 Transactions on Programming Languages and Systems, 11(1):115\u2013146, January 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR3","unstructured":"H. Arisawa and T. Miura. On the properties of extended inclusion dependencies. In Proc. 12th International Conference on Very Large Data Bases, pages 449\u2013456, August 1986."},{"issue":"3","key":"17_CR4","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/3979.4018","volume":"10","author":"D. S. Batory","year":"1985","unstructured":"D. S. Batory and Won Kim. Modeling concepts for vlsi cad objects. ACM Transactions on Database Systems, 10(3):322\u2013346, September 1985.","journal-title":"ACM Transactions on Database Systems"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, 5:353\u2013382, 1990.","journal-title":"Data and Knowledge Engineering"},{"issue":"1","key":"17_CR6","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, January 1985.","journal-title":"IEEE Software"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"M. A. Casanova, R. Fagin, and C. H. Papadimitriou. Inclusion dependencies and their interaction with functional dependencies. J.C.S.S., 28, March 1984.","DOI":"10.1016\/0022-0000(84)90075-8"},{"key":"17_CR8","unstructured":"Computer Corporation of America. ADAPLEX: Rational and reference manual, cca-83\u201308 edition, May 1983."},{"key":"17_CR9","unstructured":"U. Dayal. Queries and views in an object-oriented data model. In Proc. 2nd International Workshop on Database Programming Languages, pages 80\u2013102, June 1989."},{"key":"17_CR10","unstructured":"G. Di Battista and M. Lenzerini. A deductive method for entity-relationship modeling. In Proc. 15th International Conference on Very Large Data Bases, pages 13\u201321, August 1989."},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"758","DOI":"10.1145\/322217.322228","volume":"27","author":"P. J. Downey","year":"1980","unstructured":"P. J. Downey, R. Sethi, and R. E. Tarjan. Variations on the common subexpression problem. Journal of the ACM, 27(4):758\u2013771, October 1980.","journal-title":"Journal of the ACM"},{"key":"17_CR12","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"},{"key":"17_CR13","unstructured":"M. Machtey and P. Young. An Introduction to the General Theory of Algorithms. North-Holland, 1978."},{"key":"17_CR14","unstructured":"D. Maier. The Theory of Relational Databases. Computer Science Press, 1983."},{"key":"17_CR15","unstructured":"A. O. Mendelzon. Functional dependencies in logic programs. In Proc. 11th International Conference on Very Large Data Bases, pages 324\u2013330, 1985."},{"issue":"2","key":"17_CR16","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 Transactions on Database Systems, 5(2):185\u2013207, June 1980.","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"17_CR17","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1145\/322186.322198","volume":"27","author":"C. G. Nelson","year":"1980","unstructured":"C. G. Nelson and D. C. Oppen. Fast decision procedures based on congruence closure. Journal of the ACM, 27(2):356\u2013364, April 1980.","journal-title":"Journal of the ACM"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"C.G. Nelson and D. C. Oppen. Fast decision procedures based on union and find. In Proc. 18th Annual Symposium on Foundations of Computer Science, 1977.","DOI":"10.1109\/SFCS.1977.12"},{"key":"17_CR19","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1986."},{"key":"17_CR20","unstructured":"M. F. van Bommel and G. E. Weddell. Reasoning about equations and functional dependencies on complex objects. Technical Report CS-90\u201345, Department of Computer Science, University of Waterloo, 1990."},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"G. E. Weddell. Reasoning about functional dependencies generalized for semantic data models. To appear, ACM Transactions on Database Systems.","DOI":"10.1145\/128765.128767"},{"key":"17_CR22","unstructured":"G. E. Weddell. Resident database manager: Reference manual. Technical Report CS-89\u201341, Faculty of Mathematics, University of Waterloo, September 1989."},{"issue":"2","key":"17_CR23","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1109\/69.87966","volume":"1","author":"G. E. Weddell","year":"1989","unstructured":"G. E. Weddell. Selection of indices to memory-resident entities for semantic data models. IEEE Transactions on Knowledge and Data Engineering, 1(2):274\u2013284, June 1989.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"G. E. Weddell. A theory of functional dependencies for object-oriented data models. In Proc. 1st Inter. Conf. on Deductive and Object-Oriented Databases, pages 150\u2013169, December 1989.","DOI":"10.1016\/B978-0-444-88433-6.50017-4"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"G. E. Weddell and N. Coburn. A theory of specialization constraints for complex objects. In Proc. 3rd International Conference on Database Theory, pages 229\u2013244, December 1990.","DOI":"10.1007\/3-540-53507-1_80"}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55015-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:01:17Z","timestamp":1640923277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55015-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550150","9783540466468"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-55015-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}