Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-10-02T12:06:45Z
dc.date.available 2012-10-02T12:06:45Z
dc.date.issued 2002
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/21891
dc.description.abstract 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. en
dc.format.extent 267-271 es
dc.language en es
dc.subject base de datos es
dc.subject Programming Languages en
dc.subject Languages es
dc.subject Metric Temporal Logic en
dc.subject Metrics es
dc.subject Deductive Databases en
dc.subject SOFTWARE ENGINEERING es
dc.subject Negation en
dc.title An extension to EMTPL en
dc.type Objeto de conferencia es
sedici.creator.person Cobo, María Laura es
sedici.creator.person Falappa, Marcelo Alejandro es
sedici.description.note Eje: Ingeniería de Software y Base de Datos es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2002-05 es
sedici.relation.event IV Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (87.15Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)