共 50 条
- [1] Termination and Confluence of an Extended CHASE Algorithm NEW TRENDS IN DATABASE AND INFORMATION SYSTEMS, ADBIS 2022, 2022, 1652 : 631 - 638
- [4] Chase Termination for Guarded Existential Rules PODS'15: PROCEEDINGS OF THE 33RD ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2015, : 91 - 103
- [5] Chase Termination: A Constraints Rewriting Approach PROCEEDINGS OF THE VLDB ENDOWMENT, 2010, 3 (01): : 93 - 104
- [6] ChaseT: A Tool for Checking Chase Termination SCALABLE UNCERTAINTY MANAGEMENT, 2011, 6929 : 520 - 524
- [7] All-Instances Restricted Chase Termination PODS'20: PROCEEDINGS OF THE 39TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2020, : 245 - 258
- [8] Restricted Chase Termination: A Hierarchical Approach and Experimentation RULES AND REASONING (RULEML+RR 2018), 2018, 11092 : 98 - 114
- [9] All-Instances Termination of Chase is Undecidable AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 293 - 304
- [10] Semi-Oblivious Chase Termination: The Sticky Case Theory of Computing Systems, 2021, 65 : 84 - 121