Modeling the Evolution of Objects in Temporal Information Systems | Zendy

Alessandro Artale | Zendy; Christine Parent | Zendy; Stefano Spaccapietra | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modeling the Evolution of Objects in Temporal Information Systems

Author(s) -

Alessandro Artale,

Christine Parent,

Stefano Spaccapietra

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-31782-1

DOI - 10.1007/11663881_3

Subject(s) - computer science , temporal logic , satisfiability , semantics (computer science) , theoretical computer science , linear temporal logic , temporal database , description logic , programming language , artificial intelligence , data mining

This paper gives a formalization of the various modeling constructs that support the design of temporal DBMS. We conduct a deep investigation on evolu- tion constraints, eventually devising a model-theoretic s emantics for a full-fledged model with both timestamping and evolution constraints. Furthermore, we also show how to express temporal constraints using a subset of fir st-order temporal logic, i.e., the temporal description logic DLRUS .

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research