{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T20:33:50Z","timestamp":1648931630523},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1007\/bf02947203","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T03:00:47Z","timestamp":1221188447000},"page":"510-519","source":"Crossref","is-referenced-by-count":0,"title":["On the expressive power of F-logic language"],"prefix":"10.1007","volume":"12","author":[{"given":"Zengping","family":"Tian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yujun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunyao","family":"Qu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baile","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02947203_CR1","doi-asserted-by":"crossref","unstructured":"Codd E F. A relational model for large shared data base.CACM, 1970, 13(6).","DOI":"10.1145\/362384.362685"},{"key":"BF02947203_CR2","doi-asserted-by":"crossref","unstructured":"Chandra A K, Harel D. Computable queries for relational database.J Comput. Sys. Sci., 1980, 21.","DOI":"10.1016\/0022-0000(80)90032-X"},{"key":"BF02947203_CR3","doi-asserted-by":"crossref","unstructured":"Beeri Cet al. Sets and negation in a logic database language (LDL1).ACM PODS, 1987, pp.21\u201337.","DOI":"10.1145\/28659.28662"},{"key":"BF02947203_CR4","doi-asserted-by":"crossref","unstructured":"Kuper M. On the expressive power of logic programming languages with sets.ACM PODS, 1988, 10\u201314.","DOI":"10.1145\/308386.308397"},{"key":"BF02947203_CR5","doi-asserted-by":"crossref","unstructured":"Abiteboul S, Grumbach S. COL: A logic-based language for complex objects. InProc. Workshop on Database Programming Language, 1987.","DOI":"10.1007\/3-540-19074-0_58"},{"key":"BF02947203_CR6","doi-asserted-by":"crossref","unstructured":"Abiteboul S, Grumbach S. A rule-based language with functions and sets.ACM Trans. Database Systems, 1991, 16(1).","DOI":"10.1145\/103140.103141"},{"key":"BF02947203_CR7","doi-asserted-by":"crossref","unstructured":"Abiteboul S, Hull R. Data functions, datalog and negation.ACM SIGMOD, 1988.","DOI":"10.1145\/50202.50218"},{"key":"BF02947203_CR8","unstructured":"Abiteboul Set al. On the power of languages for the manipulation of complex objects. INRIA, Technical Report, 1993."},{"key":"BF02947203_CR9","doi-asserted-by":"crossref","unstructured":"Chen Wet al. C-logic for complex objects.ACM PODS, 1989.","DOI":"10.1145\/73721.73757"},{"key":"BF02947203_CR10","doi-asserted-by":"crossref","unstructured":"Kifer M, Wu J. A logic for object-oriented programming.ACM PODS, 1989.","DOI":"10.1145\/73721.73758"},{"key":"BF02947203_CR11","doi-asserted-by":"crossref","unstructured":"Kifer M, Wu J. A logic for programming with complex objects.J Comput. Sys. Sci., 1993, 47.","DOI":"10.1016\/0022-0000(93)90021-N"},{"key":"BF02947203_CR12","doi-asserted-by":"crossref","unstructured":"Kifer M, Lausen G, Wu J. Logic foundations of object-oriented and frame-based languages.J Association for Computing Machinery, 1995, 42(4).","DOI":"10.1145\/210332.210335"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02947203.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02947203\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02947203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:17:17Z","timestamp":1558469837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02947203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":12,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["BF02947203"],"URL":"https:\/\/doi.org\/10.1007\/bf02947203","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}