{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T23:10:19Z","timestamp":1684969819735},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1007\/bf03037436","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:54:09Z","timestamp":1240541649000},"page":"201-228","source":"Crossref","is-referenced-by-count":1,"title":["Linear logic for deductive databases"],"prefix":"10.1007","volume":"17","author":[{"given":"Dong-Tsan","family":"Lee","sequence":"first","affiliation":[]},{"given":"C. P.","family":"Tsang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"BF03037436_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0022-0000(90)90036-K","volume":"41","author":"S. Abiteboul","year":"1990","unstructured":"Abiteboul, S. and Vianu, V., \u201cProcedural Languages for Database Queries and Updates,\u201dJ. Comput. Syst. Sci., 41(2), pp. 181\u2013229, 1990.","journal-title":"J. Comput. Syst. Sci."},{"key":"BF03037436_CR2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J. M. Andreoli","year":"1991","unstructured":"Andreoli, J. M. and Pareschi, R., \u201cLinear Objects: Logical Processes with Built-In Inheritance,\u201dNew Generation Computing, 9, pp. 445\u2013473, 1991.","journal-title":"New Generation Computing"},{"key":"BF03037436_CR3","doi-asserted-by":"crossref","unstructured":"Asperti, A., Ferrari, G. L. and Gorrieri, R., \u201cImplicative Formulae in the \u2018Proofs as Computations\u2019 Analogy,\u201d inPrinciples of Programming Languages (P. Hudak, ed.), ACM, pp. 59\u201371, 1990.","DOI":"10.1145\/96709.96715"},{"key":"BF03037436_CR4","doi-asserted-by":"crossref","unstructured":"Atzeni, P. and Torlone, R., \u201cUpdating Datalog Databases,\u201d inNext Generation Information Systems Technology, Kiew, Soviet Union,LNCS 504, Springer-Verlag, Berlin, pp. 347\u2013362, 1990.","DOI":"10.1007\/3-540-54141-1_19"},{"key":"BF03037436_CR5","unstructured":"Codd, E. F., \u201cRecent Investigations in Relational Data Base Systems,\u201dInformation Processing, 74, North-Holland Publishing Company, pp. 1017\u20131021, 1974."},{"key":"BF03037436_CR6","volume-title":"An Introduction to Database Systems","author":"C. J. Date","year":"1990","unstructured":"Date, C. J.,An Introduction to Database Systems (5th ed.), Addison-Wesley, Reading, MA, 1990.","edition":"5th ed."},{"key":"BF03037436_CR7","first-page":"1991","volume-title":"Relational Database Writings","author":"C. J. Date","year":"1995","unstructured":"Date, C. J. and McGoveran, D., \u201cUpdating Union, Intersection, and Difference Views,\u201d inRelational Database Writings (C. J. Date, ed.), Addison-Wesley, Reading, MA, pp. 1991\u20131994, 1995."},{"key":"BF03037436_CR8","unstructured":"Fagin, R., Kuper, G. M., Ullman, J. D. and Vardi, M. Y., \u201cUpdating Logical Databases,\u201d inAdvances in Computing Research, Vol. 3, JAI Press Inc., pp. 1\u201318, 1986."},{"issue":"6","key":"BF03037436_CR9","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1093\/logcom\/4.6.859","volume":"4","author":"C. Fouquer\u00e9","year":"1994","unstructured":"Fouquer\u00e9, C. and Vauzeilles, J., \u201cLinear Logic and Exceptions,\u201dJournal of Logic and Computation, 4 (6), pp. 859\u2013875, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"BF03037436_CR10","series-title":"LNCS","volume-title":"Tver \u201992","author":"D. Galmiche","year":"1992","unstructured":"Galmiche, D. and Perrier, G., \u201cAutomated Deduction in Additive and Multiplicative Linear Logic,\u201d inTver \u201992, LNCS 620, Springer-Verlag, Berlin, 1992."},{"key":"BF03037436_CR11","doi-asserted-by":"crossref","unstructured":"Galmiche, D. and Perrier, G., \u201cOn Proof Normalisation in Linear Logic,\u201dTheoretical Computer Science, 135, 1994.","DOI":"10.1016\/0304-3975(94)00105-7"},{"key":"BF03037436_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"Girard, J. Y., \u201cLinear Logic,\u201dTheoretical Computer Science, 50, pp. 1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"BF03037436_CR13","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1093\/logcom\/2.2.111","volume":"2","author":"J. Y. Girard","year":"1992","unstructured":"Girard, J. Y., \u201cLogic and Exceptions: A Few Remarks,\u201dJournal of Logic and Computation, 2(2), pp. 111\u2013118, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"BF03037436_CR14","doi-asserted-by":"crossref","unstructured":"Girard, J. Y., \u201cLinear Logic: Its Syntax and Semantics,\u201d inAdvances in Linear Logic (J. Y. Girard, Y. Lafont and L. Regnier, eds.), Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511629150"},{"key":"BF03037436_CR15","first-page":"200","volume-title":"Proceedings of Fifth Symposium on Logic in Compute Science","author":"V. Gehlot","year":"1990","unstructured":"Gehlot, V. and Gunter, C. A., \u201cNormal Process Representatives,\u201d inProceedings of Fifth Symposium on Logic in Compute Science, Philadelphia, Pennsylvania, IEEE Computer Science Press, pp. 200\u2013207, 1990."},{"key":"BF03037436_CR16","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1017\/S0269888900005129","volume":"4","author":"J. Grant","year":"1989","unstructured":"Grant, J. and Minker, J., \u201cDeductive Database Theories,\u201dThe Knowledge Engineering Review, 4, pp. 267\u2013304, 1989.","journal-title":"The Knowledge Engineering Review"},{"issue":"1","key":"BF03037436_CR17","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"Guessoum, A. and Lloyd, J. W., \u201cUpdating knowledge bases,\u201dNew Generation Computing, 8(1), pp. 71\u201389, 1990.","journal-title":"New Generation Computing"},{"key":"BF03037436_CR18","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R.,Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"2","key":"BF03037436_CR19","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. S. Hodas","year":"1994","unstructured":"Hodas, J. S. and Miller, D., \u201cLogic Programming in a Fragment of Intuitionistic Linear Logic,\u201dInformation and Computation, 110(2), pp. 327\u2013365, 1994.","journal-title":"Information and Computation"},{"key":"BF03037436_CR20","first-page":"279","volume-title":"Proceedings of the International Symposium on Logic Programming","author":"N. Kobayashi","year":"1993","unstructured":"Kobayashi, N. and Yonezawa, A., \u201cACL: A Concurrent Linear Logic Programming Paradigm,\u201d inProceedings of the International Symposium on Logic Programming (D. Miller, ed.), Vancouver, Canada, Oct. 1993, MIT Press, pp. 279\u2013294, 1993."},{"key":"BF03037436_CR21","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","volume":"12","author":"R. Kowalski","year":"1992","unstructured":"Kowalski, R., \u201cDatabases Updates in the Event Calculus,\u201dThe Journal of Logic Programming, 12, pp. 121\u2013146, 1992.","journal-title":"The Journal of Logic Programming"},{"key":"BF03037436_CR22","unstructured":"Lafont, Y., \u201cLinear Logic Programming,\u201d inWorkshop on Programming Logic, G\u00f6teborg, pp. 209\u2013220, 1987."},{"key":"BF03037436_CR23","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"59","author":"Y. Lafont","year":"1988","unstructured":"Lafont, Y., \u201cThe Linear Abstract Machine,\u201dTheoretical Computer Science, 59, pp. 157\u2013180, 1988. Some corrections inVolume 62, pp. 327\u2013328, 1988.","journal-title":"Theoretical Computer Science"},{"key":"BF03037436_CR24","series-title":"LNCS","volume-title":"Database Updating Revisited, DOOD\u201993, Arizona, USA","author":"D. Laurent","year":"1993","unstructured":"Laurent, D., Luong, V. P. and Spyratos, N.,Database Updating Revisited, DOOD\u201993, Arizona, USA,LNCS 760, Springer-Verlag, Berlin, 1993."},{"key":"BF03037436_CR25","unstructured":"Lee, D. T. and Tsang, C. P., \u201cSolving the Database Update Problem Using Linear Logic,\u201d inProceedings of the 7th Australasian Database Conference (R. Topor, ed.), Melbourne, Australia, Jan. 29\u201330, 1996,Australian Computer Science Communications, 18(2), pp. 131\u2013138, 1996."},{"issue":"2","key":"BF03037436_CR26","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/130956.130958","volume":"23","author":"P. Lincoln","year":"1992","unstructured":"Lincoln, P., \u201cLinear Logic,\u201dACM SIGACT Notices, 23(2), pp. 29\u201337, 1992.","journal-title":"ACM SIGACT Notices"},{"key":"BF03037436_CR27","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","volume":"56","author":"P. Lincoln","year":"1992","unstructured":"Lincoln, P., Mitchell, J., Scedrov, A. and Schankar, N., \u201cDecision Problem for Propositional Linear Logic,\u201dAnnals of Pure and Applied Logic, 56, pp. 239\u2013311, 1992.","journal-title":"Annals of Pure and Applied Logic"},{"key":"BF03037436_CR28","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(94)00107-3","volume":"135","author":"P. Lincoln","year":"1994","unstructured":"Lincoln, P. and Scedrov, A., \u201cFirst Order Linear Logic without Modalities is NEXPTIME-Hard,\u201dTheoretical Computer Science, 135, pp. 139\u2013154, 1994.","journal-title":"Theoretical Computer Science"},{"key":"BF03037436_CR29","doi-asserted-by":"crossref","unstructured":"Lincoln, P. and Shankar, N., \u201cProof Search in First-order Linear Logic and other cut-free sequent calculi,\u201d inNinth Annual Symposium on Logic in Computer Science (S. Abramsky, ed.), Paris, France, pp. 282\u2013291, 1994.","DOI":"10.1109\/LICS.1994.316061"},{"issue":"4","key":"BF03037436_CR30","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1142\/S0129054191000182","volume":"2","author":"N. Marti-Oliet","year":"1991","unstructured":"Marti-Oliet, N. and Meseguer, J., \u201cFrom Petri Nets to Linear Logic through Categories: A Survey,\u201dJournal on Foundations of Computer Science, 2(4), pp. 297\u2013399, 1991.","journal-title":"Journal on Foundations of Computer Science"},{"key":"BF03037436_CR31","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/B978-0-934613-40-8.50014-2","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"S. Manchanda","year":"1988","unstructured":"Manchanda, S. and Warren, D. S. A., \u201cLogic-based Language for Database Updates,\u201d inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kauffman, Los Altos, pp. 363\u2013394, 1988."},{"issue":"2","key":"BF03037436_CR32","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0304-3975(93)90007-G","volume":"113","author":"M. Masseron","year":"1993","unstructured":"Masseron, M., Tollu, C. and Vauzeilles, J., \u201cGenerating Plans in Linear Logic I: Actions and Proofs,\u201dTheoretical Computer Science, 113(2), pp. 349\u2013370, 1993.","journal-title":"Theoretical Computer Science"},{"key":"BF03037436_CR33","volume-title":"Relational Database Writings, 1991\u20131994","author":"D. McGoveran","year":"1995","unstructured":"McGoveran, D. and Date, C. J. \u201cA New Database Design Principle,\u201d inRelational Database Writings, 1991\u20131994 (C. J. Date, ed.), Addison-Wesley, Reading, MA, 1995."},{"key":"BF03037436_CR34","doi-asserted-by":"crossref","unstructured":"Miller, D., \u201cA Multiple-Conclusion Meta-Logic,\u201d inProceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, Jul. 4\u20137, 1994. IEEE Computer Society Press, pp. 272\u2013281, 1994, to appear inTheoretical Computer Science.","DOI":"10.1109\/LICS.1994.316062"},{"issue":"1","key":"BF03037436_CR35","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0743-1066(95)00049-P","volume":"25","author":"R. Reiter","year":"1995","unstructured":"Reiter, R., \u201cOn Specifying Database Updates,\u201dThe Journal of Logic Programming, 25(1), pp. 53\u201391, 1995.","journal-title":"The Journal of Logic Programming"},{"key":"BF03037436_CR36","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF00885763","volume":"12","author":"T. Tammet","year":"1994","unstructured":"Tammet, T., \u201cProof Search Strategies in Linear Logic,\u201dJournal of Automated Reasoning, 12, pp. 273\u2013304, 1994.","journal-title":"Journal of Automated Reasoning"},{"key":"BF03037436_CR37","series-title":"LNCS","volume-title":"Deductive Databases, EDBT\u201992","author":"E. Teniente","year":"1992","unstructured":"Teniente, E. and Olive, A., \u201cThe Events Method for View Updating,\u201d inDeductive Databases, EDBT\u201992, LNCS 580, Springer-Verlag, Berlin, 1992."},{"key":"BF03037436_CR38","series-title":"LNCS","volume-title":"MFDBS 91, 3rd Symposium on Mathematical Foundations of Database and Knowledge Base Systems, Germany, May 1991","author":"G. Wagner","year":"1991","unstructured":"Wagner, G., \u201cA Database Needs Two Kinds of Negation,\u201d inMFDBS 91, 3rd Symposium on Mathematical Foundations of Database and Knowledge Base Systems, Germany, May 1991,LNCS 495, Springer-Verlag, Berlin, 1991."},{"key":"BF03037436_CR39","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/BFb0013046","volume-title":"Logic Programming and Automated Reasoning (LPAR\u201992)","author":"J. Harland","year":"1992","unstructured":"Harland, J. and Pym, D., \u201cOn Resolution in Fragments of Classical Linear Logic,\u201d inLogic Programming and Automated Reasoning (LPAR\u201992), A. Voronkov, ed., St. Petersburg, Jul. 1992,LNAI 624, Springer-Verlag, Berlin, pp. 30\u201341, 1992."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037436.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037436\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T22:43:14Z","timestamp":1684968194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037436"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,6]]}},"alternative-id":["BF03037436"],"URL":"https:\/\/doi.org\/10.1007\/bf03037436","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}