On the decidability of the termination problem of active database systems

Theoretical Computer Science

Volumn 311, Issue 1-3, 2004, Pages 389-437

  Bailey, James ^a   Dong, Guozhu ^b   Ramamohanarao, Kotagiri ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b Wright State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; MATHEMATICAL MODELS; OPTIMIZATION; PROBLEM SOLVING;

ACTIVE DATABASE SYSTEMS; DATABASE TRANSACTIONS;

COMPUTER SCIENCE;

EID: 0346969677     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2003.09.003     Document Type: Article

References (40)

1. Abiteboul S. Boundedness is undecidable for datalog programs with a single recursive rule. Inform. Process. Lett. 32:1989;281-288.
2. Abiteboul S., Hull R., Vianu V. Foundations of Databases. 1995;Addison-Wesley, Reading, MA.
3. Abiteboul S., Vianu V. Procedural languages for database queries and updates. J. Comput. System Sci. 41:1990;181-229.
4. Abiteboul S., Vianu V. Computing with first-order logic. J. Comput. System Sci. 50(2):1995;309-335.
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.
6. J. Bailey, G. Dong, Decidability of first order logic queries over views, in: Proc. Seventh Internat. Conf. on Database Theory, Lecture Notes in Computer Science, Vol. 1540, Springer, Berlin, Jerusalem, Israel, 1999, pp. 83-99.
7. J. Bailey, G. Dong, K. Ramamohanarao, Structural issues in active rule systems, in: Proc. Sixth Internat. Conf. on Database Theory, Lecture Notes in Computer Science, Vol. 1186, Springer, Berlin, Delphi, Greece, 1997, pp. 203-214.
8. J. Bailey, G. Dong, K. Ramamohanarao, Decidability and undecidability results for the termination problem of active database rules, in: Proc. 17th ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems, Seattle, Washington, 1998, pp. 264-273.
9. Baralis E., Ceri S., Paraboschi S. Compile-time and runtime analysis of active behaviors. IEEE Trans. Knowledge Data Eng. 10(3):1998;353-370.
10. E. Baralis, J. Widom, An algebraic approach to rule analysis in expert database systems, in: Proc. 20th Internat. Conf. on Very Large Databases, Santiago, Chile, 1994, pp. 475-486.
11. Ceri S., Fraternali P., Paraboschi S., Branca L. Active rule management in chimera. Widom J., Ceri S. Active Database Systems. 1995;Morgan-Kaufmann, San Mateo, California.
12. S. Ceri, J. Widom, Deriving production rules for constraint maintenance, in: Proc. 16th Internat. Conf. on Very Large Databases, Brisbane, Australia, 1990, pp. 566-577.
13. Chakravarthy S., Mishra D. Snoop. an expressive event specification language for active databases Data Knowledge Eng. 14(1):1994;1-26.
14. Cherubini A., Citrini C., Reghizzi S.C., Mandrioli D. Qrt fifo automata, breadth-first grammars and their relations. Theoret. Comput. Sci. 85:1991.
15. C. Collet, T. Coupaye, T. Svensen, Naos: efficient and modular reactive capabilities in an object oriented database system, in: Proc. 20th Internat. Conf. on Very Large Data bases, Santiago, Chile, 1994, pp. 132-143.
16. S. Comai, L. Tanca, Using the properties of datalog to prove termination and confluence in active databases, in: Proc. Third Internat. Workshop on Rules in Database Systems, Skövde, Sweden, 1997.
17. Dayal U., et al. The HiPAC project. combining active databases and timing constraints ACM SIGMOD Record. 17(1):1988;51-70.
18. H. Gaifman, H. Mairson, Y. Sagiv, M. Vardi, Undecidable optimisation problems for database logic programs, in: Proc. Second IEEE Symp. on Logic in Computer Science, Ithaca, NY, 1987, pp. 106-115.
19. Gaifman H., Mairson H., Sagiv Y., Vardi M. Undecidable optimisation problems for database logic programs. J. ACM. 40(3):1993;683-713.
20. S. Gatziu, K. Dittrich, Detecting composite events in active database systems using Petri nets, in: Proc. 4th Internat. Workshop on Research Issues in Data Engineering, Houston, Texas, 1994, pp. 2-9.
21. N. Gehani, H.V. Jagadish, O. Shmueli, Composite event specification in active databases: model and implementation, in: VLDB'92, Vancouver, Canada, 1992, pp. 327-338.
22. k -types, in: Proc. 12th IEEE Symp. on Logic in Computer Science, 1997, pp. 216-227.
23. Hillebrand G., Kanellakis P., Mairson H., Vardi M. Undecidable boundedness problems for datalog programs. J. Logic Programming. 25(2):1995;163-190.
24. Hopcroft J.E., Ullman J.D. Introduction to Automata Theory, Languages and Computation. 1979;Addison-Wesley, Reading, MA.
25. R. Hull, D. Jacobs, Language constructs for programming active databases, in: Proc. 17th Internat. Conf. on Very Large Databases, Barcelona, Spain, 1991, pp. 455-468.
26. H.V. Jagadish, A.O. Mendelzon, I.S. Mumick, Managing rule conflicts in an active database, in: Proc. 14th ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems, Montreal, Canada, 1996, pp. 192-201.
27. Kulkarni K., Mattos N., Cochrane R. Active database features in SQL3. Paton N. Active Rules in Database Systems. 1999;197-219 Springer, Berlin.
28. A. Levy, A. Mendelzon, Y. Sagiv, D. Srivastava, Answering queries using views, in: Proc. ACM Internat. Conf. on Principles of Database Systems, San Jose, California, 1995, pp. 95-104.
29. A. Levy, I.S. Mumick, Y. Sagiv, O. Shmueli, Equivalence, query reachability, and satisfiability in datalog extensions, in: Proc. ACM Symp. on Principles of Database Systems, Washington DC, 1993, pp. 109-122.
30. B. Ludäscher, U. Hamann, G. Lausen, A logical framework for active rules, in: Proc. Seventh Internat. Conf. on Management of Data, Pune, India, 1995.
31. P. Picouet, V. Vianu, Semantics and expressiveness issues in active databases, in: Proc. 14th ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems, San Jose, California, 1995, pp. 126-138.
32. P. Picouet, V. Vianu, Expressiveness and complexity of active databases, in: Proc. Sixth Internat. Conf. on Database Theory, Lecture Notes in Computer Science, Vol. 1186, Springer, Berlin, Delphi, Greece, 1997, pp. 155-172.
33. Picouet P., Vianu V. Semantics and expressiveness issues in active databases. J. Comput. System Sci. 57(3):1998;325-355.
34. Post E. Finite combinatory processes-formulation I. J. Symbolic Logic. 1:1936;103-105.
35. L. Van der Voort, A. Siebes, Termination and confluence of rule execution, in: Proc. Second Internat. Conf. on Information and Knowledge Management, Washington DC, 1993.
36. X. Wang, J. You, L. Yuan, On confluent property of active database with meta-rules, in: Proc. Third Internat. Workshop on Rules in Database Systems, Skövde, Sweden, 1997.
37. Widom J. The Starburst rule system. language design, implementation and applications IEEE Data Eng. Bull. 15(1-4):1992;15-18.
38. Widom J., Ceri S. Active Database Systems. 1995;Morgan-Kaufmann, San Mateo, California.
39. C. Zaniolo, Active database rules with transaction-conscious stable-model semantics, in: Proc. DOOD'95, 1995, pp. 55-72.
40. Y. Zhou, M. Hsu, A theory of rule triggering systems, in: Proc. Internat. Conf. on Extending Database Technology, Venice, Italy, 1990, pp. 407-422.