{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:04Z","timestamp":1747548364296,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635161"},{"type":"electronic","value":"9783540695882"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63516-5_16","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T22:43:58Z","timestamp":1250117038000},"page":"35-50","source":"Crossref","is-referenced-by-count":1,"title":["FOLRE: A deductive database system for the integrated treatment of updates"],"prefix":"10.1007","author":[{"given":"E.","family":"Mayol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"Pastor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Urp\u00ed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"unstructured":"Ceri, S.; Widom, J. \u201cDeriving Production Rules for Incremental View Maintenance\u201d, 17th. Int. Conf on Very Large Databases (VLDB), Barcelona, 1991, pp 577\u2013589.","key":"3_CR1"},{"unstructured":"Decker, H. \u201cAn Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases\u201d, Joint International Conference and Symposium on Logic Programming (JICSLP), Bonn (Germany), 1996.","key":"3_CR2"},{"doi-asserted-by":"crossref","unstructured":"Decker, H.; Teniente, E.; Urp\u00ed, T. \u201cHow to Tackle Schema Validation by View Updating\u201d, Int. Conf. on Extending Database Technology (EDBT), Avignon, France, 1996, pp. 535\u2013549.","key":"3_CR3","DOI":"10.1007\/BFb0014177"},{"unstructured":"ECLiPSe User Manual, Technical Report, ECRC, 1994.","key":"3_CR4"},{"doi-asserted-by":"crossref","unstructured":"Friesen,O.; Lefebvre, A.; Vieille, L. \u201cValidity: Applications of a DOOD System\u201d, Int. Conf. on Extending Database Technology (EDBT), Avignon, France, 1996, pp. 131\u2013134.","key":"3_CR5","DOI":"10.1007\/BFb0014147"},{"doi-asserted-by":"crossref","unstructured":"[GCM+94] Garc\u00eda, C; Celma, M.; Mota, L.; Decker, H. \u201cComparing and Synthesizing Integrity Checking Methods for Deductive Databases\u201d, 10th Int. Conf. on Data Engineering (ICDE), Houston, USA, 1994, pp. 214\u2013222.","key":"3_CR6","DOI":"10.1109\/ICDE.1994.283033"},{"unstructured":"Gupta, A; Mumick, I.S. \u201cMaintenance of Materialized Views: Problems, Techniques and Applications\u201d, Data Engineering, Vol. 16, No. 2, 1995.","key":"3_CR7"},{"unstructured":"Kakas, A.; Mancarella, P. \u201cDatabase Updates through Abduction\u201d, Proc. of the 13th Int. Conf. on Very Large Data Bases (VLDB), Brighton 1987, pp. 61\u201370.","key":"3_CR8"},{"doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.; Topor, R.W. \u201cMaking Prolog More Expressive\u201d. Journal of Logic Programming, 1984, No. 3, pp. 225\u2013240.","key":"3_CR9","DOI":"10.1016\/0743-1066(84)90011-6"},{"doi-asserted-by":"crossref","unstructured":"Minker,J. \u201cLogic and Databases: a 20 Year Retrospective\u201d, Int. Workshop on Logic in Databases (LID), San Miniato (Italy), 1996, pp. 5\u201352.","key":"3_CR10","DOI":"10.1007\/BFb0031734"},{"issue":"4","key":"3_CR11","doi-asserted-by":"crossref","first-page":"670","DOI":"10.1145\/115302.115298","volume":"16","author":"G Moerkotte","year":"1991","unstructured":"Moerkotte, G; Lockemann, P.C. \u201cReactive Consistency Control in Deductive Databases\u201d, ACM Transactions on Database Systems, Vol. 16, No. 4, December 1991, pp. 670\u2013702.","journal-title":"ACM Transactions on Database Systems"},{"unstructured":"Mayol, E.; Teniente, E. \u201cIncorporating Modification Requests in Updating Consistent Knowledge Bases\u201d, 4th Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD), 1993, pp. 335\u2013360.","key":"3_CR12"},{"doi-asserted-by":"crossref","unstructured":"Mayol, E.; Teniente, E. \u201cStructuring the Process of Integrity Maintenance\u201d, 8th Database and Expert Systems Applications (DEXA'97), Toulouse, 1997.","key":"3_CR13","DOI":"10.1007\/BFb0022037"},{"unstructured":"Oliv\u00e9, A. \u201cIntegrity Checking in Deductive Databases\u201d, Proc. 17th Int. Conf. on Very Large Data Bases (VLDB), Barcelona, 1991, pp. 513\u2013523.","key":"3_CR14"},{"doi-asserted-by":"crossref","unstructured":"Pastor, J.A.; Oliv\u00e9, A. \u201cSupporting Transaction Design in Conceptual Modelling of Information Systems\u201d, Conf. on Advanced Information Systems Engineering (CAiSE), Jyv\u00e4kyl\u00e4, 1995, 40\u201353.","key":"3_CR15","DOI":"10.1007\/3-540-59498-1_236"},{"unstructured":"Pastor, J.A. \u201cAutomatic Synthesis of Update Transaction Programs in Deductive Databases\u201d, Ph.D. Thesis, Barcelona, January 1997.","key":"3_CR16"},{"issue":"3","key":"3_CR17","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/69.91063","volume":"3","author":"X. Qian","year":"1991","unstructured":"Qian, X.; Wiederhold, G. \u201cIncremental Recomputation of Active Relational Expressions\u201d, IEEE Trans. on Knowledge and Data Engineering, Vol. 3, No. 3, September 1991, pp. 337\u2013341.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"unstructured":"Rosenthal, A.; Chakravarthy,S.; Blaustein, B.; Blakeley, J. \u201cSituation Monitoring for Active Databases\u201d, 15th Int.Conf. on Very Large Databases (VLDB), Amsterdam, 1989, pp. 455\u2013464.","key":"3_CR18"},{"issue":"2","key":"3_CR19","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0743-1066(94)00039-9","volume":"23","author":"K. Ramakrishnan","year":"1995","unstructured":"Ramakrishnan, K.; Ullman, J. \u201cA Survey of Research on Deductive Database Systems\u201d, Journal of Logic Programming, 23(2), 1995, pp. 125\u2013149.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Siilberschatz,A.;Stonebraker,M.;Ullman,J.\u201cDatabase Research: Achievements and Opportunities Into the 21st. Century\u201d. Int. Workshop on Logic in Databases, San Miniato, Pisa, 1996, pp. 245\u2013248.","key":"3_CR20","DOI":"10.1145\/381854.381886"},{"doi-asserted-by":"crossref","unstructured":"Sadri, F.; Kowalski R. \u201cA Theorem-Prover Approach to Database Integrity\u201d, in J. Minker ed., Foundations of Deductive Databases and Logic Programming, Morgan-Kaufman, 1988, pp. 313\u2013362.","key":"3_CR21","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"issue":"2","key":"3_CR22","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF01237920","volume":"4","author":"E. Teniente","year":"1995","unstructured":"Teniente, E.; Oliv\u00e9. A. \u201cUpdating Knowledge Bases while Maintaining their Consistency\u201d, The VLDB Journal, Vol. 4, Num. 2, 1995, pp. 193\u2013241.","journal-title":"The VLDB Journal"},{"doi-asserted-by":"crossref","unstructured":"Teniente, E.; Urp\u00ed, T. \u201cA Common Framework for Classifying and Specifying Deductive Database Updating Problems\u201d, 11th Int. Conf. on Data Eng., Taipei (Taiwan), 1995, pp. 173\u2013183.","key":"3_CR23","DOI":"10.1109\/ICDE.1995.380395"},{"unstructured":"Urp\u00ed, T.; Oliv\u00e9, A. \u201cA Method for Change Computation in Deductive Databases\u201d, 18 th Int. Conf. on Very Large Data Bases, Vancouver, 1992, pp. 225\u2013237.","key":"3_CR24"},{"unstructured":"Special issue on prototypes of deductive database systems, Journal of Very Large Databases, Vol. 3, No. 2, 1994.","key":"3_CR25"},{"unstructured":"Vieille, P.; Bayer, P.; K\u00fcchenhoff, V.; Lefebvre, A. \u201cEKS-V1, a Short Overview\u201d, AAAI'90 Workshop on KB Management Systems, 1990.","key":"3_CR26"},{"doi-asserted-by":"crossref","unstructured":"[VRK+94] Vaghani, J.; Ramamohanarao, K.; Kemp, D.B. et al. \u201cThe Aditi Deductive Database System\u201d, The VLDB Journal, Vol. 3, Num. 2, 1994, pp. 245\u2013288.","key":"3_CR27","DOI":"10.1007\/BF01228882"},{"doi-asserted-by":"crossref","unstructured":"W\u00fcthrich, B. \u201cOn Updates and Inconsistency Repairing in Knowledge Bases\u201d, Int. Conf. on Data Engineering, Vienna (ICDE), 1993, pp. 608\u2013615.","key":"3_CR28","DOI":"10.1109\/ICDE.1993.344019"}],"container-title":["Lecture Notes in Computer Science","Rules in Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63516-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T18:43:09Z","timestamp":1739299389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63516-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635161","9783540695882"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-63516-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}