{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:59:50Z","timestamp":1725465590500},"publisher-location":"New York","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"038723151X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-23152-8_49","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T06:36:28Z","timestamp":1137652588000},"page":"383-388","source":"Crossref","is-referenced-by-count":0,"title":["SEDatalog: A Set Extension of Datalog"],"prefix":"10.1007","author":[{"given":"Qing","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Ligong","family":"Long","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"49_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/103140.103141","volume":"16","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S., Grumbach, S.,: COL: A Logic-based Language for Complex Objects, ACM TODS, 16(1), pp. 1\u201330, 1991.","journal-title":"ACM TODS"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"Ceri, S., Gottlob, G., Tanca, L.,: Logic Programming and Databases, Springer Verlag, 1990.","DOI":"10.1007\/978-3-642-83952-8"},{"issue":"1","key":"49_CR3","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/69.50907","volume":"2","author":"D. Chimenti","year":"1990","unstructured":"Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S., Tsur, S., Zaniolo, C.,: The LDL System Prototype, IEEE Transactions on Knowledge and Data Engineering, 2(1), pp. 76\u201390, 1990.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"49_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(95)00147-6","volume":"28","author":"A. Dovier","year":"1996","unstructured":"Dovier, A., Omodeo, E. G., Pontelli, E., Rossi, G.,: log: A Language for Programming in Logic with Finite Sets, J. of Logic Programming, 28(1), pp. 1\u201344, 1996.","journal-title":"J. of Logic Programming"},{"key":"49_CR5","unstructured":"Jana, D.,: Semantics of Subset-Logic Languages, Ph.D. Dissertation, Department of Computer Science, SUNY-Buffalo, 1994."},{"key":"49_CR6","unstructured":"Jayaraman, B.,: The SuRE Programming Framework, TR 91-011, Department of Computer Science, SUNY-Buffalo, August 1991."},{"key":"49_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0743-1066(98)10012-2","volume":"38","author":"B. Jayaraman","year":"1999","unstructured":"Jayaraman, B., Jana, D.,: Set Constructors, Finite Sets, and Logical Semantics, J. of Logic Programming, 38, pp.55\u201377, 1999.","journal-title":"J. of Logic Programming"},{"issue":"1","key":"49_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/0022-0000(90)90033-H","volume":"41","author":"G. M. Kuper","year":"1990","unstructured":"Kuper, G. M.,: Logic Programming with Sets, J. of Computer and System Science, 41(1), pp.44\u201364, 1990.","journal-title":"J. of Computer and System Science"},{"key":"49_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0743-1066(98)00003-X","volume":"36","author":"M. Liu","year":"1998","unstructured":"Liu, M.,: Relationlog: A Typed Extension to Datalog with Sets and Tuples, J. of Logic Programming, 36, pp.271\u2013299, 1998.","journal-title":"J. of Logic Programming"},{"key":"49_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,: Foundations of Logic Programming, Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"49_CR11","unstructured":"Moon, K.,: Implementation of Subset Logic Languages, Ph.D. Dissertation, Department of Computer Science, SUNY-Buffalo, February 1995."},{"key":"49_CR12","unstructured":"Osorio, M.,: Semantics of Logic Programs with Sets, Ph.D. Dissertation, Department of Computer Science, SUNY-Buffalo, 1995."}],"container-title":["IFIP International Federation for Information Processing","Intelligent Information Processing II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-23152-8_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T04:36:54Z","timestamp":1619498214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-23152-8_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["038723151X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/0-387-23152-8_49","relation":{},"subject":[]}}