An extension to EMTPL
- Autores
- Cobo, María Laura; Falappa, Marcelo Alejandro
- Año de publicación
- 2002
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Eje: Ingeniería de Software y Base de Datos
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
base de datos
Languages
Metrics
SOFTWARE ENGINEERING
Programming Languages
Metric Temporal Logic
Deductive Databases
Negation - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
.jpg)
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21891
Ver los metadatos del registro completo
| id |
SEDICI_29b0a29d9934ea41f0161d666c88af77 |
|---|---|
| oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/21891 |
| network_acronym_str |
SEDICI |
| repository_id_str |
1329 |
| network_name_str |
SEDICI (UNLP) |
| spelling |
An extension to EMTPLCobo, María LauraFalappa, Marcelo AlejandroCiencias Informáticasbase de datosLanguagesMetricsSOFTWARE ENGINEERINGProgramming LanguagesMetric Temporal LogicDeductive DatabasesNegationThe 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.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI)2002-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf267-271http://sedici.unlp.edu.ar/handle/10915/21891enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:38Zoai:sedici.unlp.edu.ar:10915/21891Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:38.605SEDICI (UNLP) - Universidad Nacional de La Platafalse |
| dc.title.none.fl_str_mv |
An extension to EMTPL |
| title |
An extension to EMTPL |
| spellingShingle |
An extension to EMTPL Cobo, María Laura Ciencias Informáticas base de datos Languages Metrics SOFTWARE ENGINEERING Programming Languages Metric Temporal Logic Deductive Databases Negation |
| 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 |
An extension to EMTPL |
| dc.creator.none.fl_str_mv |
Cobo, María Laura Falappa, Marcelo Alejandro |
| author |
Cobo, María Laura |
| author_facet |
Cobo, María Laura Falappa, Marcelo Alejandro |
| author_role |
author |
| author2 |
Falappa, Marcelo Alejandro |
| author2_role |
author |
| dc.subject.none.fl_str_mv |
Ciencias Informáticas base de datos Languages Metrics SOFTWARE ENGINEERING Programming Languages Metric Temporal Logic Deductive Databases Negation |
| topic |
Ciencias Informáticas base de datos Languages Metrics SOFTWARE ENGINEERING Programming Languages Metric Temporal Logic Deductive Databases Negation |
| dc.description.none.fl_txt_mv |
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. Eje: Ingeniería de Software y Base de Datos Red de Universidades con Carreras en Informática (RedUNCI) |
| 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. |
| publishDate |
2002 |
| dc.date.none.fl_str_mv |
2002-05 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
| format |
conferenceObject |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/21891 |
| url |
http://sedici.unlp.edu.ar/handle/10915/21891 |
| dc.language.none.fl_str_mv |
eng |
| language |
eng |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
| dc.format.none.fl_str_mv |
application/pdf 267-271 |
| dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
| reponame_str |
SEDICI (UNLP) |
| collection |
SEDICI (UNLP) |
| instname_str |
Universidad Nacional de La Plata |
| instacron_str |
UNLP |
| institution |
UNLP |
| repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
| repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
| _version_ |
1842260114265866240 |
| score |
13.13397 |