BEZERRA, E. P.; http://lattes.cnpq.br/0098763826166873; BEZERRA, Ed Porto.
Résumé:
In order to obtain a suitable model for universe of discourse of some informafion systems,
it is important to allow the description of imprecise objects with temporal indeterminacy.
These objects are called indeterminate temporal objects. This thesis presents a formalism,
calied LITO (Logic of Indeterminate Temporal Objects), for the representation, querying
and modifícation of such objects. Operations are created for logic query, retrieval query,
insertion, logic deletion, refinement and update. Following an empirical approach, a prototype
called MITO (Manipulation of Indeterminate Temporal Objects) was implemented
and has been consistent with LITO.