INVESTIGACIÓN Y DIVULGACIÓN - SISTEMAS

TRABAJOS DE INVESTIGACIÓN DEL AREA DE SISTEMAS

Los presentes trabajos fueron realizados por equipos en los que participó el Dr. José María Turull Torres,
de la Universidad Nacional de San Luis; con Subsidio de la Universidad CAECE

• "Computación de queries a bases de datos relacionales
  utilizando circuitos booleanos", con O. Gagliardi, A. Grosso, S.
  Pereyra, P. Piffaretti, J.M. Turull Torres en "Anales del V Congreso Argentino de
  Ciencias de la Computación, V CACiC", Tandil, Octubre 1999
  (extended abstract).
  
  
• "Implementación de un intérprete para un lenguaje de
  consultas a bases de datos, puramente relacional y completo (QL)",
  con L. Barroso, O. Gagliardi, G. Molina, J. Quiroga, J.M. Turull Torres, en "Anales
  del III Congreso Argentino de Ciencias de la Computación, III
  CACiC", La Plata, Octubre 1997 (extended abstract).
  
  
• "Traducción con Optimización de expresiones del Cálculo
  Relacional al Algebra Relacional", O. Gagliardi, M. Hirsuta y J.M. Turull Torres,
  en "Anales del V Congreso Argentino de Ciencias de la
  Computación, V CACiC", Tandil, Octubre 1999 (extended abstract).
  
  
• Computación Paralela de Queries expresados con Circuitos Boléanos
  en "Anales del VI Congreso Argentino de Ciencias de la
  Computación, VI CACiC", Ushuaia, Septiembre 2000 (extended abstract),
  Gagliardi, Edilma Olinda Herrera, Norma Edith Reyes, Nora Susana, Turul Torres, José María
  
  
• Un Intérprete de Consultas a Bases de Datos Expresadas
  Mediante Lógica de Primer Orden con Clausura Transitiva
  Nora Reyes, Alejandro Grosso, Paulino Maldocena, J.M. Turull Torres
  
  
• Implementación de un Lenguaje de Consultas Utilizando Lógica de Primer Orden
  con Cuantificadores de Punto FijoNora Reyes, Alejandro Grosso, Paulino Maldocena, J.M. Turull Torres
  
  

OTROS TRABAJOS DEL DR. J.M. Turull Torres
(próxima publicación)

"A hierarchy of unbounded almost rigid classes of finite
structures", en "Advances in Contemporary Logic and Computer
Science", ed. AMERICAN MATHEMATICAL SOCIETY (ISBN 0-8218-1364-1),
1999, p. 153-186.

"On the Expressibility and Computability of Untyped Queries",
(32 pag.) aceptado para su publicación en Annals of Pure and
Applied Logic.

"Reflective Relational Machines Working on Homogeneous
Databases", en "Foundations of Information and Knowledge
Systems: First International Symposium, FoIKS 2000, Germany,
February 2000, Proceedings", (auspiciado por EATCS) ed. SPRINGER
LNCS 1762 (extended abstract), p. 288-303.

"The Space Complexity of Elimination Theory: Upper Bounds"
(con G. Matera, del Depto. de Matemáticas, FCEyN, UBA),
en "Foundations of Computational Mathematics: Selected Papers
of a Conference, Held at IMPA in Rio de Janeiro, January 1997",
ed. SPRINGER, por F. Cucker y M. Shub, Enero de 1997
(extended abstract) p. 267-276.

"Untyped queries, untyped reflective machines and
conditional quantifiers", en "Advances in Databases and
Information Systems: Second East-European Symposium, ADBIS'98,
Poznan, Poland, Sep. 1998, Proceedings", (auspiciado por ACM)
ed. SPRINGER, LNCS 1475 (extended abstract) p. 35-45.

"Reflective Relational Machines of Bounded Variable
Complexity", en "Advances in Databases and Information Systems:
Third East-European Symposium, ADBIS'99, Maribor, Slovenia, Sep.
1999, Proceedings", (auspiciado por ACM) ed. University of Maribor
(extended abstract) p. 193-199.

"Relación tiempo paralelo-espacio secuencial: problemas
relativos a la conectividad en grafos dirigidos en espacio O(log^2
n)", con S. Escudero y F. Rizzolo, en "Journal of the Chilean
Society of Computer Science", Vol. 1, Nro. 3, 38 pag.

"Partial Distinguishability and Query Computability in
Finite Structures", en "Journal of the Interest Group in Pure
And Applied Logics (IGPL)", 5, 3, de Mayo de 1997 (abstract) p.
474-475.

"Untyped queries, untyped reflective machines and
conditional quantifiers", en "The Bulletin of Symbolic Logic", 5,
4, 1999 (abstract), p. 495.

"Reflective Relational Machines of Bounded Variable
Complexity", a ser publicado en "Journal of the Interest Group in
Pure And Applied Logics (IGPL)", (abstract).

"Un algoritmo para el cálculo del rango de matrices
enteras en espacio polilogarítmico", con G. Matera, A. Grosso, N.
Herrera y M. E. Stefanoni, en "XXV Jornadas Argentinas de
Informática e Investigación Operativa, JAIIO 96: Trabajos
Seleccionados", Bs. As. Septiembre 1996 (extended abstract) p.
29-48.

"Relación tiempo paralelo-espacio secuencial: un algoritmo
para la st-conectividad de grafos dirigidos en espacio
polilogarítmico", con S. Escudero y F. Rizzolo, en "XXV Jornadas
Argentinas de Informática e Investigación Operativa, JAIIO 96:
Trabajos Seleccionados", Bs. As. Septiembre 1996 (extended
abstract) p. 1-16.

"L-rigid Databases and the Expressibility of Incomplete
Relational Languages", en Electronic Journal of SADIO (Soc.
Argentina de Informática e Investigación Operativa), Vol. I,
Nro. 1, Mayo 1998 (abstract de mi Tesis Doctoral) 2 pág.

"Untyped Queries, Untyped Reflective Machines and
Conditional Quantifiers", Report # 146 of the Department of
Mathematics, University of Helsinki, Finland, Mayo de 1997, 29
pág.

"A Semantic Characterization of Relational Machines and the
Effects of Homogeneity", Report # 150 of the Department of
Mathematics, University of Helsinki, Finland, Junio de 1997, 21
pág.