Skip to main content
SpringerLink
Log in

The ramification problem in temporal databases: a solution implemented in SQL

  • Published:
Applied Intelligence Aims and scope Submit manuscript

Abstract

In this paper we elaborate on the handling of the ramification problem in the setting of temporal databases. Starting with the observation that solutions from the literature on reasoning about action are inadequate for addressing the ramification problem, in our prior work (Papadakis and Plexousakis in Int. J. Artif. Intel., 12(3):315, 2003) we have presented a solution based on an extension of the situation calculus and the work of McCain and Turner. Also, we have dealt with the ramification problem in spatial databases (Papadakis and Christodoulou in Expert Syst. Appl. 37:1374, 2010). In this paper, we present a tool that connects the theoretical results to practical considerations, by producing the appropriate SQL commands in order to address the ramification problem. (A preliminary version of this work appears in Papadakis et al., 17th Inter Symposium on Methodologies for Intelligent Systems, pp. 381–388, 2008)

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26:832–843

    Article  MATH  Google Scholar 

  2. Denecker M, Ternovska E (2007) Inductive situation calculus. Artif Intell Arch 171(5–6):332–360

    Article  MathSciNet  MATH  Google Scholar 

  3. Debenham J (2006) Maintaining knowledge with a formal model. Int J Appl Intell 24(3):205–218

    Article  Google Scholar 

  4. Drescher C, Thielscher M (2007) Integrating action calculi and description logics. In: KI 2007: advances in artificial intelligence, August, pp 68–83

    Chapter  Google Scholar 

  5. Giordano L, Martellib A, Schwindc C (2005) Specialization of interaction protocols in a temporal action logic. In: LCMAS, pp 3–22

    Google Scholar 

  6. Fusaoka A (1996) Situation calculus on a dense flow of time. In: Proceedings of AAAI-96, pp 633–638

    Google Scholar 

  7. Kakas AC, Miller RS, Toni F (2001) E-RES: reasoning about actions, events and observations. In: Proceedings of LPNMR2001. Springer, Berlin, pp 254–266

    Google Scholar 

  8. Kakas A, Miller R (1997) A simple declarative language for describing narratives with actions. J Log Program 31(1–3):157–200 (Special Issue on Reasoning about Action and Change)

    Article  MathSciNet  MATH  Google Scholar 

  9. Paton NW, Diaz O (1999) Active database systems. ACM Comput Surv 31(1):63–103

    Article  Google Scholar 

  10. Goldin D, Srinivasa S, Srikanti V (2004) Active databases as information systems. In: Proceedings of the international database engineering and applications symposium, pp 123–130

    Google Scholar 

  11. Kerschberg L, Weishar DJ (2000) Conceptual models and architectures for advanced information systems. Int J Appl Intell 13(2):149–164

    Article  Google Scholar 

  12. Koubarakis M (2002) Querying temporal constraint networks: a unifying approach. Int J Appl Intell 17(3):297–311

    Article  MATH  Google Scholar 

  13. Kowalski RA (1992) Database updates in the event calculus. J Logic Program 12:121–146

    Article  Google Scholar 

  14. Ginsberg M, Smith D (1988) Reasoning about action I: a possible worlds approach. Artif Intell 35:165–195

    Article  MathSciNet  MATH  Google Scholar 

  15. Lifshitz V (1991) Towards a metatheory of action. In: Proceedings of the international conference on principles of knowledge representation and reasoning, pp 376–386

    Google Scholar 

  16. Lifshitz V (1990) Frames in the space of situations. Artif Intell 46:365–376

    Article  Google Scholar 

  17. McCain N, Turner H (1995) A causal theory of ramifications and qualifications. In: Proceedings of IJCAI-95, pp 1978–1984

    Google Scholar 

  18. McCarthy J, Hayes PJ (1969) Some philosophical problem from the standpoint of artificial intelligence. In: Machine intelligence, vol 4, pp 463–502

    Google Scholar 

  19. Miller R, Shanahan M (1999) The event calculus in classical logic—alternative axiomatisations. Linkping Electron Articles Comput Inf Sci 4(16)

  20. Papadakis N, Christodoulou Y (2010) A tool for addressing the ramification problem in spatial databases: a solution implemented in SQL. Expert Syst Appl 37:1374–1390

    Article  Google Scholar 

  21. Papadakis N, Plexousakis D (2002) Action with Duration and constraints: the ramification problem in temporal databases. In: 14th IEEE ICTAI, Washington, DC

    Google Scholar 

  22. Papadakis N, Plexousakis D, Antoniou G, Daskalakis M, Christodolou Y (2008) The ramification problem in temporal databases: a solution implemented in SQL. In: 17th inter symposium on methodologies for intelligent systems, pp 381–388

    Google Scholar 

  23. Papadakis N, Plexousakis D (2003) Action with duration and constraints: the ramification problem in temporal databases. Int J Artif Intell Tools 12(3):315–353

    Article  Google Scholar 

  24. Plexousakis D, Mylopoulos J (1996) Accommodating integrity constraints during database design. In: Proceedings of EDBT 1996, Avignon, France, pp 497–513

    Google Scholar 

  25. Pinto J (1994) Temporal reasoning in the situation calculus. PhD Thesis, Dept of Computer Science, Univ of Toronto, Jan

  26. Pinto J, Reiter R (1993) Temporal reasoning in logic programming: a case for the situation calculus. In: Proceedings of 10th int conf on logic programming, Budapest, Hungary, June 21–24

    Google Scholar 

  27. Reiter R (2001) Knowledge in action logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge

    MATH  Google Scholar 

  28. Reiter R (1996) Natural actions, concurrency and continuos time in the situation calculus. In: KR 96, pp 2–13

    Google Scholar 

  29. Thielscher M (1997) Ramification and causality. Artif Intell 89(1–2):317–364

    Article  MathSciNet  MATH  Google Scholar 

  30. Thielscher M (1988) Reasoning about actions: steady versus stabilizing state constraints. Artif Intell 104:339–355

    Article  MathSciNet  Google Scholar 

  31. Sandewall E (2005) Actions as a basic concept in the Leonardo computation system. In: Proc of workshop on nonmonotonic reasoning, actions and change, IJCAI

    Google Scholar 

  32. Winslett M (1988) Reasoning about action using a possible models approach. In: Proceedings of AAAI-88, Saint Paul, MN, August, pp 89–93

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Science, Technological Education Institute of Crete, Iraklio, Crete, Greece

    Nikos Papadakis

  2. Department of Computer Science, University of Crete, Heraklio, Crete, Greece

    Dimitris Plexousakis

  3. Department of Electrical Engineering and Computer Science, Technical University of Crete, Chania, Crete, Greece

    Yannis Christodolou

Authors
  1. Nikos Papadakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dimitris Plexousakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yannis Christodolou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nikos Papadakis.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Papadakis, N., Plexousakis, D. & Christodolou, Y. The ramification problem in temporal databases: a solution implemented in SQL. Appl Intell 36, 749–767 (2012). https://doi.org/10.1007/s10489-011-0293-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10489-011-0293-0

Keywords

Search

Navigation