{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:12:15Z","timestamp":1725484335362},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439059"},{"type":"electronic","value":"9783540454953"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45495-0_16","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T22:15:47Z","timestamp":1179267347000},"page":"114-133","source":"Crossref","is-referenced-by-count":1,"title":["Improving the Refined Triggering Graph Method for Active Rules Termination Analysis"],"prefix":"10.1007","author":[{"given":"Alain","family":"Couchot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"A. Aiken, J. Widom, J.M. Hellerstein. Behavior of Database Production Rules: Termination, Confluence and Observable Determinism. In Proc. Int\u2019l Conf. on Management of Data (SIGMOD), San Diego, California, 1992.","DOI":"10.1145\/130283.130296"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"J. Bailey, G. Dong, K. Ramamohanarao. Decidability and Undecidability Results for the Termination Problem of Active Database Rules. In Proc. ACM Symposium on Principles of Database Systems (PODS), Seattle, Washington, 1998.","DOI":"10.1145\/275487.275517"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"E. Baralis, S. Ceri, S. Paraboschi. Improved Rule Analysis by Means of Triggering and Activation Graphs. In Proc. Int\u2019l Workshop Rules in Database Systems (RIDS), Athens, Greece, 1995.","DOI":"10.1007\/3-540-60365-4_126"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"E. Baralis, S. Ceri, S. Paraboschi. Modularization Techniques for Active Rules Design. In ACM Transactions on Database Systems, (TODS), 21(1), 1996.","DOI":"10.1145\/227604.227605"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"E. Baralis, S. Ceri, S. Paraboschi. Compile-Time and Run-Time Analysis of Active Behaviors. In IEEE Transactions on Knowledge and Data Engineering, 10(3), 1998.","DOI":"10.1109\/69.687973"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"J. Bailey, L. Crnogorac, K. Ramamohanarao, H. S\u00f8ndergaard: Abstract Interpretation of Active Rules and its Use in Termination Analysis. In Proc. of the Int\u2019l Conf. on Database Theory (ICDT\u201997), Delphi, Greece, 1997.","DOI":"10.1007\/3-540-62222-5_45"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"J. Bailey, A. Poulovassilis. An Abstract Interpretation Framework for Termination Analysis of Active Rules. In Proc. DataBase Programming Languages (DBPL\u201999), Kinloch-Rannoch, Scotland, 1999.","DOI":"10.1007\/3-540-44543-9_16"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"J. Bailey, A. Poulovassilis. Abstract Interpretation for Termination Analysis in Functional Active Databases. In Journal of Intelligent Information Systems, 12(2\u20133), 1999.","DOI":"10.1023\/A:1008709127354"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"J. Bailey, A. Poulovassilis, P. Newson. A Dynamic Approach to Termination Analysis for Active Database Rules. In Proc. Int Conf. on Deductive Object Oriented Databases (DOOD 2000), London, UK, 2000.","DOI":"10.1007\/3-540-44957-4_74"},{"key":"16_CR10","unstructured":"E. Baralis, J. Widom. An Algebraic Approach to Rule Analysis in Expert Database Systems. In Proc. Int\u2019l Conf. on Very Large Data Bases (VLDB), Santiago, Chile, 1994."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"E. Baralis, J. Widom. An Algebraic Approach to Static Analysis of Active Database Rules. In ACM Transactions on Database Systems (TODS), 25(3), 2000.","DOI":"10.1145\/363951.363954"},{"key":"16_CR12","unstructured":"S. Ceri, J. Widom. Deriving Production Rules for Constraint Maintenance. In Proc. Int\u2019l Conf. on Very Large Data Bases (VLDB), Brisbane, Queensland, Australia, 1990."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"S. Comai, L. Tanca. Using the Properties of Datalog to prove Termination and Confluence in Active Databases. In Proc. Int\u2019l Workshop on Rules in Database Systems (RIDS), Skoevde, Sweden, 1997.","DOI":"10.1007\/3-540-63516-5_20"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"A. Couchot. Improving Termination Analysis of Active Rules with Composite Events. In Proc. Int\u2019l Conf. on Database and Expert Systems Applications (DEXA), Munich, Germany, 2001.","DOI":"10.1007\/3-540-44759-8_40"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"A. Couchot. Termination Analysis of Active Rules Modular Sets. In Proc. Int\u2019l Conf. on Information and Knowledge management (CIKM), Atlanta, Georgia, USA, 2001.","DOI":"10.1145\/502585.502640"},{"key":"16_CR16","volume-title":"Proc. Int\u2019l Workshop on Object-Oriented Database Systems","author":"U. Dayal","year":"1988","unstructured":"U. Dayal, A.P. Buchmann, D.R. Mc Carthy. Rules are Objects too: A Knowledge Model for an Active Object Oriented Database System. In Proc. Int\u2019l Workshop on Object-Oriented Database Systems, Bad M\u00fcnster am Stein-Ebernburg, Germany, 1988."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"S. Debray, T. Hickey. Constraint-Based Termination Analysis for Cyclic Active Database Rules. In Proc. Int\u2019l Conf. on Deductive Object Oriented Databases (DOOD). London, United Kingdom, 2000.","DOI":"10.1007\/3-540-44957-4_75"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"S. Flesca, S. Greco. Declarative Semantics for Active Rules. In Proc. Int\u2019l Conf. on Database and Expert Systems Applications (DEXA), Vienna, Austria, 1998.","DOI":"10.1007\/BFb0054542"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"J.P. Jouannaud, C. Kirchner. Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. In J.L. Lassez and G. Plotkin, editors. Computational Logic, pp. 257\u2013321. MIT Press, 1991.","DOI":"10.1016\/0743-1066(92)90027-Z"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"A.P. Karadimce, S.D. Urban. Conditional Term Rewriting as a Formal Basis for Analysis of Active Database Rules. In Proc. Int\u2019l Workshop on Research Issues in Data Engineering (RIDE-ADS), Houston, Texas, USA, 1994.","DOI":"10.1109\/RIDE.1994.282841"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"A.P. Karadimce, S.D. Urban. Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database. In Proc. Int\u2019l Conf. on Data Engineering (ICDE), New-Orleans, Louisiana, USA, 1996.","DOI":"10.1109\/ICDE.1996.492187"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"S.Y. Lee, T.W. Ling. Refined Termination Decision in Active Databases. In Proc. Int\u2019l Conf. on Database and Expert Systems Applications (DEXA), Toulouse, France, 1997.","DOI":"10.1007\/BFb0022030"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"S.Y. Lee, T.W. Ling. A Path Removing Technique for Detecting Trigger Termination. In Proc. Int\u2019l Conf. on Extending Database Technology (EDBT), Valencia, Spain, 1998.","DOI":"10.1007\/BFb0100995"},{"key":"16_CR24","unstructured":"S.Y. Lee, T.W. Ling. Unrolling Cycle to Decide Trigger Termination. In Proc. Int\u2019l Conf. on Very Large Data Bases (VLDB), Edinburgh, Scotland, 1999."},{"issue":"2","key":"16_CR25","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli, U. Montanari. An Efficient Unification Algorithm. ACM Trans. on Programming Lang. and Syst., 4(2):258\u2013282, 1982.","journal-title":"ACM Trans. on Programming Lang. and Syst."},{"key":"16_CR26","unstructured":"D. Rosenkrantz, H.B. Hunt. Processing Conjunctive Predicates and Queries. In Proc. Int\u2019l Conf. on Very Large Data Bases (VLDB), Montr\u00e9al, Canada, 1980."},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0743-1066(92)90039-6","volume":"12","author":"G. Smolka","year":"1992","unstructured":"G. Smolka. Feature-Constraint Logics for Unification Grammars. Journal of Logic Programming. 12:51\u201387, 1992.","journal-title":"Journal of Logic Programming"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"M.K. Tschudi, S.D. Urban, S.W. Dietrich, A.P. Karadimce. An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis. In Proc. Int\u2019l Workshop on Rules in Database Systems, Skoevde, Sweden, 1997.","DOI":"10.1007\/3-540-63516-5_22"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"A. Vaduva, S. Gatziu, K.R. Dittrich. Investigating Termination in Active Database Systems with Expressive Rule Languages. In Proc. Int\u2019l Workshop on Rules in Database Systems, Skoevde, Sweden, 1997.","DOI":"10.1007\/3-540-63516-5_23"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"T. Weik, A. Heuer. An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS. In Proc. Int\u2019l Workshop on Active and Real-Time Databases. Skoevde, Sweden, 1995.","DOI":"10.1007\/978-1-4471-3080-2_11"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45495-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:53:38Z","timestamp":1556398418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45495-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439059","9783540454953"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-45495-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}