A logic-based integration of active and deductive databases

New Generation Computing

Volumn 15, Issue 2, 1997, Pages 205-244

  Fernandes, Alvaro A A ^a,b   Williams, M Howard ^b   Paton, Norman W ^c  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b HERIOT WATT UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Active Databases; Deductive Databases; Event Calculi; Logic Programming

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATABASE SYSTEMS; FORMAL LANGUAGES; FORMAL LOGIC; LOGIC PROGRAMMING;

ACTIVE DATABASES; DEDUCTIVE DATABASES; EVENT CALCULI;

KNOWLEDGE BASED SYSTEMS;

EID: 0030694903     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03037238     Document Type: Article

References (55)

1. Abiteboul, S., Hull, R., and Vianu, V., Foundations of Databases, Addison-Wesley Publishing Company, Reading, MA, USA, 1995.
2. Agrawal, R. and Gehani, N. H., "ODE (Object Database and Environment): The Language and the Data Model," in Proceedings of the 1989 ACM SIGMOD International Conference on the Management Data, Portland OR USA, June 1989. Also available as AT&T Technical Report, att-db-tr-89-2.
3. Agrawal, R. and Gehani, N. H., "ODE (Object Database and Environment): The Language and the Data Model," in Proceedings of the 1989 ACM SIGMOD International Conference on the Management Data, Portland OR USA, June 1989. Also available as AT&T Technical Report, att-db-tr-89-2.
4. Barja, M. L., Fernandes, A. A. A., Paton, N. W., Williams, M. H., Dinn, A., and Abdelmoty, A. I., "Design and Implementation of ROCK & ROLL: A Deductive Object-Oriented Database System," Information Systems, 20, 3, pp. 185-211, 1995.
5. Barja, M. L., Paton, N. W., Fernandes, A. A. A., Williams, M. H., and Dinn, A., "An Effective Deductive Object-Oriented Database Through Language Integration," in Proceedings of the Twentieth International Conference on Very Large Data Bases (J. Bocca, M. Jarke, and C. Zaniolo, eds.), Santiago, Chile, Morgan Kaufmann Publishers, Inc., pp. 463-474, September 1994.
6. Bayer, P., "State-of-the-Art Report on Reactive Processing in Databases and Artificial Intelligence," The Knowledge Engineering Review, 8, 2, pp. 145-171, 1993.
7. Bayer, P. and Jonker, W., "A Framework for Supporting Triggers in Deductive Databases," in Rules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 316-329. 1994.
8. Branding, H., Buchmann, A., Kudrass, T., and Zimmermann, J., "Rules in an Open System: The REACH Rule System," in Rules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 111-126, 1994.
9. Campin, J., Paton, N. W., and Williams, M. H., Specifying Active Database Systems in an Object-Oriented Framework, 1994. Submitted for publication.
10. Campin, J., Paton, N. W., and Williams, M. H., "A Structured Specification of an Active Database System," Information and Software Technology, 37, 1, pp. 47-61, 1995.
11. Ceri, S., Fraternali, P., Paraboschi, S., and Tanca, L., Active Rule Management in Chimera, manuscript, 1994.
12. Ceri, S., Crespi-Reghizzi, S., Zicari, R., Lamperti, G., and Lavazza, L. A., "Algres: An Advanced Database System for Complex Applications," IEEE Software, 7, 4, pp. 68-78, July 1990.
13. Ceri, S., Gottlob, G., and Tanca, L., Logic Programming and Databases, Springer-Verlag, Berlin, Germany, 1990.
14. Ceri, S., Tanaka, K., and Tsur, S., eds., "Deductive and Object-Oriented Databases" Thira International Conference DOOD'93, Phoenix, Arizona, USA, LNCS, 760, Springer-Verlag, Berlin, Germany, 1993.
15. Chakravarthy, S., Krishnaprasad, V., Anwar, E., and Kim, S.-K., "Composite Events for Active Databases: Semantics, Contexts and Detection," in Proceedings of the Twentieth International Conference on Very Large Data Bases (J. Bocca, M. Jarke, and C. Zaniolo, eds.), Santiago, Chile, September 1994, Morgan Kaufmann Publishers, Inc., pp. 606-617, 1994.
16. Chakravarthy, S., "A Comparative Evaluation of Active Relational Databases," Technical Report, UF-CIS-TR-93-002, Department of Computer and Information Science, University of Florida, Gainesville, FL, USA, January 1993.
17. Chakravarthy, S. and Mishra, D., "Snoop: An Expressive Event Specification Language for Active Databases," Technical Report, UF-CIS-TR-93-007, Department of Computer and Information Science, University of Florida, Gainesville, FL, USA, March 1993. Revised and Extended Version of UF-CIS-TR-91-23, September 1991.
18. Clifford, J., Lindsay, B., and Maier, D., eds., Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, Portland, OR, USA, SIGMOD Record, 18, 2, ACM Press, June 1989.
19. Das, S. K., Deductive Databases and Logic Programming, Addison-Wesley Publ. Co., Wokingham, England, UK., 1992.
20. Dayal, U., Blaustein, B., Buchmann, A., Chakravarthy, U., Hsu, M., Ledin, R., McCarthy, D., Rosenthal, A., Sarin, S., Carey, M. J., Livny, M., and Jauhari, R., "The HiPAC Project: Combining Active Databases and Timing Constraints," ACM SIGMOD Record, 17, 1, pp. 51-70, March 1988.
21. Deliyanni, A. and Kowalski, R. A., "Logic and Semantic Networks," Communications of the ACM, 22, 3, pp. 184-192, March 1979.
22. Derr, M. A., Morishita, S., and Phipps, G., "The Glue-Nail Deductive Database System: Design, Implementation and Evaluation," The VLDB Journal, 3, pp. 123-160, 1994.
23. Díaz, O., Paton, N. W., and Gray, P. M. D., "Rule Management in Object-Oriented Databases: A Uniform Approach," in Proceedings of the Seventeenth International Conference on Very Large Databases (G. M. Lohman, A. Sernadas, and R. Camps, eds.), Barcelona, Spain, June 1991, Morgan Kaufmann Publishers, pp. 317-326, 1991.
24. Dinn, A., Paton, N. W., Williams, M. H., and Fernandes, A. A. A., "An Active Rule Language for ROCK & ROLL," in Advances in Databases: 14th British National Conference on Databases, BNCOD 14 (R. Morrison, and J. Kennedy, eds.), Edinburgh, UK, July 1996, Springer-Verlag, LNCS 1094, 1996.
25. Duke, R., King, P., Rose, G., and Smith, G., "The Object-Z Specification Language," Technical Report, TR91-1, Software Verification Research Centre, Department of Computer Science, The University of Queensland, Queensland 4072, Australia, May 1991. (Version 1).
26. Fernandes, A. A. A., "An Axiomatic Approach to Deductive Object-Oriented Databases," Ph.D. thesis, Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, Scotland, UK, September 1995.
27. Fernandes, A. A. A., Williams, M. H., and Paton, N. W., Deductive Object-Oriented Databases as Horn Logic-Programs, 1994. Submitted for publication.
28. Forgy, C. L., "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem," Artificial Intelligence, 19, pp. 17-37, 1982.
29. Gallaire, H., Minker, J., and Nicolas, J.-M., "Logic and Databases: A Deductive Approach," ACM Computing Surveys, 16, 2, pp. 153-185, June 1984.
30. Gatziu, S. and Dittrich, K. R., "Events in an Active Object-Oriented Database System," in Rules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 23-39, 1994.
31. Gatziu, S., Geppert, A., and Dittrich, K. R., "Integrating Active Concepts into an Object-Oriented Database Systems," in Proceedings of the Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data, Nafplion, Greece, pp. 399-415, August 1991.
32. Gehani, N. H., Jagadish, H. V., and Shmueli, O., "Event Specification in an Active Object-Oriented Database," in Proceedings of the 1992 ACM SIGMOD International Conference on the Management Data, San Diego, CA, USA, 1992, SIGMOD Record, 21, 2, ACM Press, pp. 81-90, 1992. Also available as AT&T Technical Report, att-db-tr-92-6.
33. Gehani, N. H., Jagadish, H. V., and Shmueli, O., "Event Specification in an Active Object-Oriented Database," in Proceedings of the 1992 ACM SIGMOD International Conference on the Management Data, San Diego, CA, USA, 1992, SIGMOD Record, 21, 2, ACM Press, pp. 81-90, 1992. Also available as AT&T Technical Report, att-db-tr-92-6.
34. Hanson, E. N., "An Initial Report on the Design of Ariel: A DBMS with an Integrated Production Rule System," ACM SIGMOD Record, 18, 3, pp. 12-19, September 1989.
35. Hanson, E. N. and Widom, J., "An Overview of Production Rules in Database Systems," The Knowledge Engineering Review, 8, 2, pp. 121-143, 1993.
36. Harrison, S. V. and Dietrich, S. W., "Integrating Active and Deductive Rules," in Rules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 289-305, 1994.
37. Jarke, M., Eherer, S., Gallersdoerfer, R., Jeusfeld, M. A., and Staudt, M., "Concept Base - A Deductive Object Base Manager," Technical Report, 93-14, Aachener Informatik-Berichte/RWTH Aachen, Aachen, Germany, October 1993.
38. Kowalski, R., "Database Updates in the Event Calculus," The Journal of Logic Programming, 1992, 1-2, pp. 121-146, 1992.
39. Kowalski, R. and Sergot, M., "A Logic-Based Calculus of Events," New Generation Computing, 4, pp. 67-95, 1986.
40. Lohman, G. M., Lindsay, B., Pirahesh, H., and Schiefer, K. B., "Extensions to Starburst: Objects, Types, Functions and Rules," Communications of the ACM, 34, 10, pp. 94-109, October 1991.
41. Miranker, D. P., "TREAT: A Better Match Algorithm for AI Production Systems," in Proceedings of AAAI, pp. 42-47, 1987.
42. Naqvi, S. A. and Tsur, S., A Logical Language for Data and Knowledge Bases, Computer Science Press, Rockville, MD, USA, 1989.
43. Paton, N. W., Díaz, O., Williams, M. H., Campin, J., Dinn, A., and Jaime, A., "Dimensions of Active Behaviour," in Rules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 40-57, 1994.
44. Paton, N. W. and Williams, M. H., eds., Rules in Database Systems: Proceedings of the 1st International Workshop, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, Springer-Verlag, 1994.
45. Ramakrishnan, R., Srivastava, D., Sudarshan, S., and Seshadri, P., "The CORAL Daductive System," The VLDB Journal, 3, pp. 161-210, 1994.
46. Ramakrishnan, R. and Ullman, J. D., "A Survey of Research on Deductive Database Systems," Technical Report, Department of Computer Science, Stanford University, November 1993.
47. Reiter, R., "Towards a Logical Reconstruction of Relational Database Theory," in On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages (M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, eds.), Topics in Information System Series, Springer-Verlag, New York, NY, USA, pp. 191-233, 1984.
48. Sripada, S. M., "A Logical Framework for Temporal Deductive Databases," in Proceedings of the Fourteenth International Conference on Very Large Data Bases, Los Angeles, CA, USA, 1988, Morgan Kaufmann Publishers, pp. 171-182, 1988.
49. Stonebraker, M., ed., Proceedings of the 1992 ACM SIGMOD International Conference on the Management of Data, San Diego, CA, USA, June 1992, SIGMOD Record, 21, 2, ACM Press, 1992.
50. Stonebraker, M. and Kemnitz, G., "The POSTGRES Next-generation Database Management System," Communications of the ACM, 34, 10, pp. 78-92, October 1991.
51. Vaghani J., Ramamohanarao, K., Kemp, D. B., Somogyi, Z., Stuckey, P. J., Leask, T. S., and Harland, J., "The ADITI Deductive Database System," The VLDB Journal, 3, pp. 245-288, 1994.
52. van der Voort, M. H. and Kersten, M. L., "Facets of Database Triggers," Technical Report, CWI-CS-R9122, CWI, Amsterdam, Netherlands, April 1991. Revised, April 1993.
53. Widom, J., "Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?" in Rules in Database Systems: Proceedings of the 1st International Workshops, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 306-315, 1994.
54. Zaniolo, C., "A Unified Semantics for Active and Deductive Databases," in Rules in Database Systems: Proceedings of the 1st International Workshops, Edinburgh, Scotland, 30 August-1 September 1993, Workshops in Computing Series, London, England, UK, pp. 271-287, 1994.
55. Zaniolo, C., Arni, N., and Ong, K., "Negation and Aggregates in Recursive Rules: The LDL++Approach," Third International Conference DOOD'93, Phoenix, Arizona, USA, LNCS, 760, Springer-Verlag, Berlin, Germany, pp. 204-221, 1993.