{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:30:00Z","timestamp":1742383800510,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540618140"},{"type":"electronic","value":"9783540706830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0031756","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:44:07Z","timestamp":1134283447000},"page":"455-474","source":"Crossref","is-referenced-by-count":4,"title":["Expressiveness of semipositive logic programs with value invention"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cabibbo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"issue":"1","key":"23_CR1","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 and updates. Journal of Computer and System Science, 43(1):62\u2013124, August 1991.","journal-title":"Journal of Computer and System Science"},{"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.","key":"23_CR2","DOI":"10.1145\/113413.113415"},{"doi-asserted-by":"crossref","unstructured":"L. Cabibbo. On the power of stratified logic programs with value invention for expressing database transformations. In ICDT'95 (Fifth International Conference on Data Base Theory), Prague, Lecture Notes in Computer Science 893, pages 208\u2013221, 1995.","key":"23_CR3","DOI":"10.1007\/3-540-58907-4_17"},{"unstructured":"L. Cabibbo. The expressive power of stratified logic programs with value invention. Technical Report n. RT-INF-11-1996, Dipartimento di Discipline Scientifiche, Universit\u00e0 degli Studi di Roma Tre, 1996. Submitted to Information and Computation.","key":"23_CR4"},{"key":"23_CR5","volume-title":"PhD thesis","author":"L. Cabibbo","year":"1996","unstructured":"L. Cabibbo. Querying and Updating Complex-Object Databases. PhD thesis, Universit\u00e0 degli Studi di Roma \u201cLa Sapienza\u201d, 1996."},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0022-0000(80)90032-X","volume":"21","author":"A.K. Chandra","year":"1980","unstructured":"A.K. Chandra and D. Harel. Computable queries for relational databases. Journal of Computer and System Science, 21:333\u2013347, 1980.","journal-title":"Journal of Computer and System Science"},{"key":"23_CR7","first-page":"633","volume-title":"Handbook of Theoretical Computer Science, volume B","author":"C.A. Gunter","year":"1990","unstructured":"C.A. Gunter and D.S. Scott. Semantic domains. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 633\u2013674. Elsevier Science Publishers (North-Holland), Amsterdam, 1990."},{"doi-asserted-by":"crossref","unstructured":"R. Hull and J. Su. Untyped sets, invention, and computable queries. In Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 347\u2013359, 1989.","key":"23_CR8","DOI":"10.1145\/73721.73755"},{"issue":"1","key":"23_CR9","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 Computer and System Science, 47(1):121\u2013156, August 1993.","journal-title":"Journal of Computer and System Science"},{"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.","key":"23_CR10","DOI":"10.1016\/0022-0000(93)90022-O"},{"unstructured":"R. Hull and M. Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Sixteenth International Conference on Very Large Data Bases, Brisbane, pages 455\u2013468, 1990.","key":"23_CR11"},{"doi-asserted-by":"crossref","unstructured":"R. Hull and M. Yoshikawa. On the equivalence of database restructurings involving object identifiers. In Tenth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 328\u2013340, 1991.","key":"23_CR12","DOI":"10.1145\/113413.113443"},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/S0019-9958(86)80029-8","volume":"68","author":"N. Immerman","year":"1986","unstructured":"N. Immerman. Relational queries computable in polynomial time. Information and Control, 68:86\u2013104, 1986.","journal-title":"Information and Control"},{"issue":"1","key":"23_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"},{"doi-asserted-by":"crossref","unstructured":"P.G. Kolaitis and M. Vardi. On the expressive power of Datalog: Tools and a case study. In Ninth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 61\u201371, 1990.","key":"23_CR15","DOI":"10.1145\/298514.298542"},{"issue":"3","key":"23_CR16","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/155271.155274","volume":"18","author":"G.M. Kuper","year":"1993","unstructured":"G.M. Kuper and M.Y. Vardi. The logical data model. ACM Trans. on Database Syst., 18(3):379\u2013413, September 1993.","journal-title":"ACM Trans. on Database Syst."},{"unstructured":"D. Maier. A logic for objects. In Workshop on Foundations of Deductive Database and Logic Programming (Washington, D.C. 1986), pages 6\u201326, 1986.","key":"23_CR17"},{"key":"23_CR18","first-page":"21","volume":"26","author":"C. Papadimitriou","year":"1985","unstructured":"C. Papadimitriou. A note on the expressive power of prolog. Bulletin of the EATCS, 26:21\u201323, 1985.","journal-title":"Bulletin of the EATCS"},{"unstructured":"J. Van den Bussche. Formal Aspects of Object Identity in Database Manipulation. PhD thesis, University of Antwerp, 1993.","key":"23_CR19"},{"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.","key":"23_CR20","DOI":"10.1109\/SFCS.1992.267753"},{"doi-asserted-by":"crossref","unstructured":"M. Vardi. The complexity of relational query languages. In Fourteenth ACM SIGACT Symp. on Theory of Computing, pages 137\u2013146, 1988.","key":"23_CR21","DOI":"10.1145\/800070.802186"}],"container-title":["Lecture Notes in Computer Science","Logic in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031756","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:09:57Z","timestamp":1736165397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031756"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540618140","9783540706830"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0031756","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}