{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:40:16Z","timestamp":1736084416587,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634782"},{"type":"electronic","value":"9783540695806"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0022037","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T08:23:13Z","timestamp":1131870193000},"page":"262-275","source":"Crossref","is-referenced-by-count":7,"title":["Structuring the process of integrity maintenance"],"prefix":"10.1007","author":[{"given":"Enric","family":"Mayol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. \u201cUpdates, a New Frontier\u201d, Int. Conf. on Database Theory (ICDT'88), Springer, 1988, pp.1\u201318.","DOI":"10.1007\/3-540-50171-1_1"},{"issue":"1","key":"25_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/202106.202107","volume":"20","author":"A. Aiken","year":"1995","unstructured":"Aiken, A.; Hellerstein, J.M.; Widom, J. \u201cStatic Analysis Techniques for Predicting the Behavior of Active Database Rules\u201d, ACM Transactions on Database Systems, Vol. 20, N\u00b0 1, March 1995, pp. 3\u201341.","journal-title":"ACM Transactions on Database Systems"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Bancilhon, F.; Ramakrishnan, R, \u201cAn Amateur's Introduction to Recursive Query Processing\u201d, Proc. ACM SIGMOD Int. Conf. on Management of Data, Washington D.C., 1986.","DOI":"10.1145\/16894.16859"},{"key":"25_CR4","unstructured":"Baralis, E.; Widom, J. Algebraic \u201cApproach to Rule Analysis in Expert Database System\u201d, Proc. of the 20th VLDB Conference, Santiago, Chile, 1994, pp. 475\u2013486."},{"key":"25_CR5","unstructured":"Garc\u00eda, C.; Celma, M; Mota, L.; Decker, H. \u201cComparing and Synthesising Integrity Checking Methods for Deductive Databases\u201d, Int. Conf. on Data Engineering (ICDE'94), Houston (Texas), 1994, pp. 214\u2013222."},{"issue":"4","key":"25_CR6","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/219035.219039","volume":"20","author":"I.A. Chen","year":"1995","unstructured":"Chen, I.A.; Hull, R.; McLeod, D. \u201cAn Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update\u201d. ACM Transactions on Database Systems, Vol. 20, N\u00b0 4, December 1995, pp. 365\u2013413.","journal-title":"ACM Transactions on Database Systems"},{"key":"25_CR7","unstructured":"Costal, D. \u201cUn m\u00e8tode de planificaci\u00f3 basat en l'actualitzaci\u00f3 de vistes en bases de dades deductives\u201d, PhD Thesis, Barcelona, 1995 (in catalan)."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Decker, H. \u201cThe Range Form of databases or How to avoid Floundering\u201d, Proc. 5th \u00d6GAI, Springer-Verlag, 1989.","DOI":"10.1007\/978-3-642-74688-8_13"},{"key":"25_CR9","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'96), Bonn (Germany), 1996."},{"key":"25_CR10","unstructured":"Gertz, M. \u201cOn Specifying the Reactive Behavior on Constraint Informatik-Berichte 2\/93, Institut f\u00fcr Informatik, Universit\u00e4t Hannover, 1993."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Gertz, M. \u201cSpecifying Reactive Integrity Control for Active Databases\u201d, Research Issiues on Data Engineering: Active Databases (RIDE-ADS'94), Houston, Texas, 1994, pp. 62\u201370.","DOI":"10.1109\/RIDE.1994.282852"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W. \u201cFoundations on Logic Programming\u201d, 2nd edition, Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"25_CR13","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.","DOI":"10.1016\/0743-1066(84)90011-6"},{"issue":"4","key":"25_CR14","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"},{"key":"25_CR15","first-page":"113","volume-title":"Basque International Workshop on Information Techlogogy (BIWIT'96): Data Management Systems","author":"E. Mayol","year":"1996","unstructured":"Mayol, E.; Teniente, E. \u201cTowards an Efficient Method for Updating Consistent Deductive Databases\u201d, Basque International Workshop on Information Techlogogy (BIWIT'96): Data Management Systems, IEEE Computer Society Press, San Sebastian, Spain, 1996, pp. 113\u2013122."},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Mayol, E.; Teniente, E. \u201cStructuring the Process of Integrity Maintenance (Extended Version)\u201d, Technical Report RR-97\/29, 1997, Universitat Polit\u00e8cnica de Catalunya.","DOI":"10.1007\/BFb0022037"},{"key":"25_CR17","unstructured":"Oliv\u00e9, A. \u201cIntegrity Checking in Deductive Databases\u201d, Proc. of the 17th VLDB Conference, Barcelona, Catalonia, 1991, pp. 513\u2013523."},{"key":"25_CR18","unstructured":"Plexousakis, D. \u201cIntegrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases\u201d, Proc. of the 19th VLDB Conference, Dublin, Ireland, 1993, pp. 146\u2013157."},{"key":"25_CR19","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0169-023X(94)00032-A","volume":"15","author":"R. Selj\u00e9e","year":"1995","unstructured":"Selj\u00e9e, R. \u201cA New Method for Integrity Constraints Checking in Deductive Databases\u201d, Data & Knowledge Engineering, Vol. 15, 1995, pp. 63\u2013102.","journal-title":"Data & Knowledge Engineering"},{"issue":"2","key":"25_CR20","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"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Teniente, E.; Urp\u00ed, T. Common Framework for Classifying and Specifying Deductive Database Updating Problems\u201d, International Conference on Data Engineering (ICDE'95), Taipei, 1995, pp. 173\u2013182.","DOI":"10.1109\/ICDE.1995.380395"},{"key":"25_CR22","unstructured":"Urp\u00ed, T.; Oliv\u00e9, A. \u201cA Method for Change Computation in Deductive Databases\u201d, Proc. of the 18th VLDB Conference, Vancouver, 1992, pp. 225\u2013237."},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"W\u00fcthrich, B. \u201cOn Updates and Inconsistency Repairing in Deductive databases\u201d, Int. Conf. on Data Engineering, Vienna, 1993, pp. 608\u2013615.","DOI":"10.1109\/ICDE.1993.344019"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:12:15Z","timestamp":1736082735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634782","9783540695806"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0022037","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}