Author:
Bailey James,Dong Guozhu,Ramamohanarao Kotagiri
Subject
General Computer Science,Theoretical Computer Science
Reference40 articles.
1. Boundedness is undecidable for datalog programs with a single recursive rule;Abiteboul;Inform. Process. Lett.,1989
2. Foundations of Databases;Abiteboul,1995
3. Procedural languages for database queries and updates;Abiteboul;J. Comput. System Sci.,1990
4. Computing with first-order logic;Abiteboul;J. Comput. System Sci.,1995
5. A. Aiken, J. Widom, J.M. Hellerstein, Behaviour of database production rules: termination, confluence and observable determinism, in: Proc. ACM SIGMOD Internat. Conf. on Management of Data, San Diego, USA, ACM Press, New York, 1992, pp. 59–68.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Ontology-Based Approach for Setting Security Policies in Smart Homes;Lecture Notes in Computer Science;2023
2. Empowering End Users in Debugging Trigger-Action Rules;Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems;2019-05-02
3. Efficient analysis of event processing applications;Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems;2015-06-24
4. How to Combine Event Stream Reasoning with Transactions for the Semantic Web;Rule Technologies: Foundations, Tools, and Applications;2015
5. Refined Rules Termination Analysis Through Activation Path;Advances in Web-Age Information Management;2005