{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:37Z","timestamp":1725664057189},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589075"},{"type":"electronic","value":"9783540491361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58907-4_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:52:55Z","timestamp":1330275175000},"page":"208-221","source":"Crossref","is-referenced-by-count":3,"title":["On the power of stratified logic programs with value invention for expressing database transformations"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cabibbo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In ACM SIGMOD International Conf. on Management of Data, pages 159\u2013173, 1989.","DOI":"10.1145\/67544.66941"},{"issue":"1","key":"17_CR2","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/0022-0000(91)90032-Z","volume":"43","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul and V. Vianu. Datalog extensions for database queries find updates. Journal of Comp. and System Sc., 43(1):62\u2013124, August 1991.","journal-title":"Journal of Comp. and System Sc."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"F. Afrati, S. Cosmadakis, and M. Yannakakis. On Datalog vs. polynomial time. In Tenth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 13\u201325, 1991.","DOI":"10.1145\/113413.113415"},{"key":"17_CR4","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K. Apt","year":"1990","unstructured":"K. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493\u2013574. Elsevier Science Publishers (North-Holland), Amsterdam, 1990."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"P. Atzeni, L. Cabibbo, and G. Mecca. IsaLog: A declarative language for complex objects with hierarchies. In Ninth IEEE Int. Conf. on Data Engineering, pages 219\u2013228, 1993.","DOI":"10.1109\/ICDE.1993.344060"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"L. Cabibbo. On the power of stratified logic programs with value invention for expressing database transformations. Technical report, Dip. di Informatica e Sistemistica, Universita di Roma \u201cLa Sapienza\u201d, 1994.","DOI":"10.1007\/3-540-58907-4_17"},{"key":"17_CR7","first-page":"333","volume":"21","author":"A.K. Chandra","year":"1980","unstructured":"A.K. Chandra and D. Harel. Computable queries for relational databases. Journal of Comp. and System Sc., 21:333\u2013347, 1980.","journal-title":"Journal of Comp. and System Sc."},{"issue":"6","key":"17_CR8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"E.F. Codd. A relational model for large shared data banks. Communications of the ACM, 13(6):377\u2013387, 1970.","journal-title":"Communications of the ACM"},{"key":"17_CR9","volume-title":"Computers and Intractability","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson. Computers and Intractability. W.H. Freeman and Company, San Francisco, 1979."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"M. Gyssens, J. Paredaens, and D. Van Gucht. A graph-oriented object database model. In Ninth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 417\u2013424, 1990.","DOI":"10.1145\/298514.298593"},{"issue":"1","key":"17_CR11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0022-0000(93)90022-O","volume":"47","author":"R. Hull","year":"1993","unstructured":"R. Hull and J. Su. Algebraic and calculus query languages for recursively typed complex objects. Journal of Comp. and System Sc., 47(1):121\u2013156, August 1993.","journal-title":"Journal of Comp. and System Sc."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"R. Hull and J. Su. Deductive query languages for recursively typed complex objects. Technical report, University of Southern California, 1993.","DOI":"10.1016\/0022-0000(93)90022-O"},{"key":"17_CR13","unstructured":"R. Hull and M. Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Sixteenth Int. Conf. on Very Large Data Bases, pages 455\u2013468, 1990."},{"issue":"1","key":"17_CR14","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/0890-5401(91)90059-B","volume":"90","author":"P.G. Kolaitis","year":"1991","unstructured":"P.G. Kolaitis. The expressive power of stratified logic programs. Information and Computation, 90(1):50\u201366, January 1991.","journal-title":"Information and Computation"},{"key":"17_CR15","unstructured":"J. Van den Bussche. Formal Aspects of Object Identity in Database Manipulation. PhD thesis, University of Antwerp, 1993."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"J. Van den Bussche, D. Van Gucht, M. Andries, and M. Gyssens. On the completeness of object-creating query languages. In 33rd Annual Symp. on Foundations of Computer Science, pages 372\u2013379, 1992.","DOI":"10.1109\/SFCS.1992.267753"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58907-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:33Z","timestamp":1605648273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58907-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589075","9783540491361"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58907-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}