Advertisement

Modeling the Evolution of Objects in Temporal Information Systems

  • A. Artale
  • C. Parent
  • S. Spaccapietra
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3861)

Abstract

This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestamping and evolution constraints. We conduct a deeper investigation on evolution constraints, eventually devising a model-theoretic semantics for a full-fledged model with both timestamping and evolution constraints. The proposed formalization is meant both to clarify the meaning of the various temporal constructors appeared in the literature and to give a rigorous definition to notions like satisfiability, subsumption and logical implication. Furthermore, we also show how to express temporal constraints using a subset of first-order temporal logic, i.e., \(\mathcal{DLR}_{us}\), the description logic \(\mathcal{DLR}\) extended with the temporal operators Since and Until. We show how \(\mathcal{DLR}_{us}\) is able to capture the various modeling constraints in a succinct way and to perform automated reasoning on temporal conceptual models.

Keywords

Temporal Logic Status Class Description Logic Target Class Evolution Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ahmad, B.: Modeling bi-temporal databases. Master’s thesis, UMIST Department of Computation, UK (2003)Google Scholar
  2. 2.
    Artale, A.: Reasoning on temporal conceptual schemas with dynamic constraints. In: 11th Int. Symposium on Temporal Representation and Reasoning (TIME 2004). IEEE Computer Society, Los Alamitos (2004); Also in Proc. of the 2004 Int. Workshop on Description Logics (DL 2004)Google Scholar
  3. 3.
    Artale, A., Franconi, E.: Temporal ER modeling with description logics. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds.) ER 1999. LNCS, vol. 1728, pp. 81–95. Springer, Heidelberg (1999)Google Scholar
  4. 4.
    Artale, A., Franconi, E., Mandreoli, F.: Description logics for modelling dynamic information. In: Chomicki, J., van der Meyden, R., Saake, G. (eds.) Logics for Emerging Applications of Databases. LNCS. Springer, Heidelberg (2003)Google Scholar
  5. 5.
    Artale, A., Franconi, E., Wolter, F., Zakharyaschev, M.: A temporal description logic for reasoning about conceptual schemas and queries. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 98–110. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS 1998), pp. 149–158 (1998)Google Scholar
  8. 8.
    Calvanese, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems. Kluwer, Dordrecht (1998)Google Scholar
  9. 9.
    Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. of Artificial Intelligence Research 11, 199–240 (1999)zbMATHMathSciNetGoogle Scholar
  10. 10.
    Chomicki, J., Toman, D.: Temporal logic in information systems. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 1. Kluwer, Dordrecht (1998)Google Scholar
  11. 11.
    Etzion, O., Gal, A., Segev, A.: Extended update functionality in temporal databases. In: Etzion, O., Jajodia, S., Sripada, S. (eds.) Temporal Databases - Research and Practice. LNCS, pp. 56–95. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  12. 12.
    Finger, M., McBrien, P.: Temporal conceptual-level databases. In: Gabbay, D., Reynolds, M., Finger, M. (eds.) Temporal Logics – Mathematical Foundations and Computational Aspects, pp. 409–435. Oxford University Press, Oxford (2000)Google Scholar
  13. 13.
    Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics: theory and applications. Studies in Logic. Elsevier, Amsterdam (2003)zbMATHGoogle Scholar
  14. 14.
    Gregersen, H., Jensen, J.S.: Conceptual modeling of time-varying information. Technical Report TimeCenter TR-35, Aalborg University, Denmark (1998)Google Scholar
  15. 15.
    Gregersen, H., Jensen, J.S.: Temporal Entity-Relationship models – a survey. IEEE Transactions on Knowledge and Data Engineering 11(3), 464–497 (1999)CrossRefGoogle Scholar
  16. 16.
    Gupta, R., Hall, G.: Modeling transition. In: Proc. of ICDE 1991, pp. 540–549 (1991)Google Scholar
  17. 17.
    Gupta, R., Hall, G.: An abstraction mechanism for modeling generation. In: Proc. of ICDE 1992, pp. 650–658 (1992)Google Scholar
  18. 18.
    Hodkinson, I., Wolter, F., Zakharyaschev, M.: Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic 106, 85–134 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)Google Scholar
  20. 20.
    Jensen, C.S., Clifford, J., Gadia, S.K., Hayes, P., Jajodia, S., et al.: The Consensus Glossary of Temporal Database Concepts. In: Etzion, O., Jajodia, S., Sripada, S. (eds.) Temporal Databases - Research and Practice, pp. 367–405. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  21. 21.
    Jensen, C.S., Snodgrass, R.T.: Temporal data management. IEEE Transactions on Knowledge and Data Engineering 111(1), 36–44 (1999)CrossRefGoogle Scholar
  22. 22.
    Jensen, C.S., Soo, M., Snodgrass, R.T.: Unifying temporal data models via a conceptual model. Information Systems 9(7), 513–547 (1994)CrossRefGoogle Scholar
  23. 23.
    McBrien, P., Seltveit, A.H., Wangler, B.: An Entity-Relationship model extended to describe historical information. In: Proc. of CISMOD 1992, Bangalore, India, pp. 244–260 (1992)Google Scholar
  24. 24.
    Parent, C., Spaccapietra, S., Zimanyi, E.: The MurMur project: Modeling and querying multi-representation spatio-temporal databases. Information Systems (2005)Google Scholar
  25. 25.
    Spaccapietra, S., Parent, C., Zimanyi, E.: Modeling time from a conceptual perspective. In: Int. Conf. on Information and Knowledge Management, CIKM 1998 (1998)Google Scholar
  26. 26.
    Theodoulidis, C., Loucopoulos, P., Wangler, B.: A conceptual modelling formalism for temporal database applications. Information Systems 16(3), 401–416 (1991)CrossRefGoogle Scholar
  27. 27.
    Wikipedia. Wikipedia, the free encyclopedia. Temporal Databases, http://en.wikipedia.org/wiki/Temporal_database

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • A. Artale
    • 1
  • C. Parent
    • 2
  • S. Spaccapietra
    • 3
  1. 1.Faculty of Computer Science, Free Univ. of Bolzano, I 
  2. 2.HEC/INFORGEUniversité de LausanneCH
  3. 3.Database LaboratoryEcole Polytechnique Fédérale LausanneCH

Personalised recommendations