An extension to EMTPL

The development of languages allowing a proper handling of time is important in many areas of computer science because the capability to deal with the notions of change and time are essential to solve their problems. In the development of EMTPL [CA99a] we focused the research work in making the lan...

Descripción completa

Detalles Bibliográficos
Autores principales: Cobo, María Laura, Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
base de datos
Languages
Metrics
SOFTWARE ENGINEERING
Programming Languages
Metric Temporal Logic
Deductive Databases
Negation
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21891
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21891
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
base de datos
Languages
Metrics
SOFTWARE ENGINEERING
Programming Languages
Metric Temporal Logic
Deductive Databases
Negation
spellingShingle Ciencias Informáticas
base de datos
Languages
Metrics
SOFTWARE ENGINEERING
Programming Languages
Metric Temporal Logic
Deductive Databases
Negation
Cobo, María Laura
Falappa, Marcelo Alejandro
An extension to EMTPL
topic_facet Ciencias Informáticas
base de datos
Languages
Metrics
SOFTWARE ENGINEERING
Programming Languages
Metric Temporal Logic
Deductive Databases
Negation
description The development of languages allowing a proper handling of time is important in many areas of computer science because the capability to deal with the notions of change and time are essential to solve their problems. In the development of EMTPL [CA99a] we focused the research work in making the languages useful in the area of databases, where some problems demand the possibility to represent and use temporal information. We achieve that goal, although we managed the negation in a way that causes the lost of some properties of the underlying logic. This logic was deeply studied and it is one of the most famous metric temporal logics [Pri67a]. The main idea of this work is to extend EMTPL by the addition of a new operator, and also grant the negation with its logic meaning.
format Objeto de conferencia
Objeto de conferencia
author Cobo, María Laura
Falappa, Marcelo Alejandro
author_facet Cobo, María Laura
Falappa, Marcelo Alejandro
author_sort Cobo, María Laura
title An extension to EMTPL
title_short An extension to EMTPL
title_full An extension to EMTPL
title_fullStr An extension to EMTPL
title_full_unstemmed An extension to EMTPL
title_sort extension to emtpl
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/21891
work_keys_str_mv AT cobomarialaura anextensiontoemtpl
AT falappamarceloalejandro anextensiontoemtpl
AT cobomarialaura extensiontoemtpl
AT falappamarceloalejandro extensiontoemtpl
bdutipo_str Repositorios
_version_ 1764820465106288642

Ejemplares similares