Publication

Modeling Time from a Conceptual Perspective

Stefano Spaccapietra, Esteban Zimányi
1998
Conference Papers

Abstract

Although many temporal models have been proposed in the literature, there is still need for a conceptual model capturing the essential semantics of time-varying information that is free of implementation concerns. This paper first discusses important criteria to be considered when assessing the ÒconceptualÓ quality of a temporal model. Then, it presents the main temporal features of MADS, a spatio-temporal conceptual model. The focus is on identifying issues that are either open or controversial, and discussing alternatives, if any. Finally, it is shown how the model may be implemented on top of either TSQL2 or a traditional, non-temporal data model.

Official source

https://infoscience.epfl.ch/entities/publication/91573a54-defd-40b4-9d3f-873454ee0f92

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Stefano Spaccapietra, Esteban Zimányi
1998
Conference Papers

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/91573a54-defd-40b4-9d3f-873454ee0f92

About this result

Related concepts (29)

Anchor modeling

Anchor modeling is an agile database modeling technique suited for information that changes over time both in structure and content. It provides a graphical notation used for conceptual modeling similar to that of entity-relationship modeling, with extensions for working with temporal data. The modeling technique involves four modeling constructs: the anchor, attribute, tie and knot, each capturing different aspects of the domain being modeled. The resulting models can be translated to physical database designs using formalized rules.

Model checking

In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash). In order to solve such a problem algorithmically, both the model of the system and its specification are formulated in some precise mathematical language.

Linear temporal logic

In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. LTL is sometimes called propositional temporal logic, abbreviated PTL.

Related publications (3)

Modeling Time from a Conceptual Perspective

Chat with Graph Search

Information production and social value of open data: a conceptual modelling framework for public policy

Embedding motion in model-based stochastic tracking

An Implicit Motion Likelihood for Tracking with Particle Filters