ARTÍCULO ORIGINAL

 

Estudio de viabilidad de una herramienta software para monitorización de tráfico IP en Windows Phone

 

Feasibility study of a software tool for monitoring IP traffic in Windows Phone

 

 

Yurisbel Vega Ortiz^1*, Abel Rodríguez Morffi ²

¹ Universidad de las Ciencias Informáticas, Carretera a San Antonio de los Baños, km 2 ½, Torrens, Boyeros, La Habana, Cuba. CP.: 19370. ^*Correo electrónico: [e-mail]
² Departamento de Ciencia de la Computación. Universidad Central ¨Marta Abreu¨ de Las Villas, Carretera a Camajuaní, km. 5 ½, Santa Clara, Villa Clara, Cuba

 

 

---

RESUMEN

El diseño de bases de datos distribuidas es un problema de optimización que implica la solución de problemáticas como la fragmentación de los datos y su ubicación. Típicamente, los criterios que determinan si la fragmentación y la asignación son óptimas se establecen de manera independiente. Primero se busca la “mejor” fragmentación y luego la “mejor” ubicación de los fragmentos obtenidos. La fragmentación vertical es más complicada que la partición horizontal, debido al incremento del número de posibles alternativas. En este trabajo se presenta un nuevo método para la fragmentación vertical, que se basa fundamentalmente en la Matriz de Atracción entre Atributos, suplantando la conocida Matriz de Afinidad entre Atributos. Se utiliza como heurística el enfoque de agrupamientos jerárquicos y una regla de decisión basada en la homogeneidad interna y la heterogeneidad externa de los grupos obtenidos. También se presenta una variante para que pueda ser usado como evaluador de particiones.

Palabras clave: bases de datos distribuidas, evaluador de particiones, fragmentación vertical, medida de afinidad, regla de decisión.

---

ABSTRACT

The designing of distributed databases is an optimization problem that implies solving problems of data fragmentation and location. Usually, the criteria for determining if data location and fragmentation are optimal, are independently stated. Firstly, they search for the "best possible fragmentation" and then for their "best location". Vertical fragmentation is more difficult if compared with horizontal fragmentation due to the increasing of possible alternatives. In this work we present one new method for vertical fragmentation, mainly based on the called Attribute Attraction Matrix, replacing the well known Attribute Affinity Matrix. As heuristic approach we use the hierarchical clustering and one decision rule based on the internal homogeneity and the external heterogeneity of the obtained clusters. We also present a variant of this method for evaluating partitions.

Key words: distributed database, partition evaluator, vertical fragmentation, affinity measure, stopping rule.

---

 

 

INTRODUCCIÓN

El diseño de bases de datos distribuidas es un problema de optimización que implica la solución de problemáticas como la fragmentación de los datos, su ubicación y replicación.

La fragmentación es el proceso mediante el cual una relación global es descompuesta en fragmentos horizontales y/o verticales. Un fragmento vertical atiende al agrupamiento de datos en función de atributos o conjuntos de ellos, mientras que la fragmentación horizontal atiende a dicho agrupamiento en función de tuplas o conjuntos de tuplas. Típicamente, los criterios que determinan si la fragmentación y la asignación son óptimas se establecen de manera independiente, en dos pasos. En el primero se busca la “mejor” fragmentación y, en el segundo, se busca la “mejor” ubicación de los fragmentos obtenidos en el paso anterior (Taddei, 2000).

Comparando las formas de fragmentación, la partición vertical es más complicada que la partición horizontal, debido al incremento del número de posibles alternativas (Benmessahel, 2011). Como se señala en (Navathe, 1984; Du, 2006), un objeto con m atributos puede ser particionado de B(m) diferentes formas, donde B(m) es el m-ésimo número de Bell, para m suficientemente grandes, B(m) se aproxima a mm; para m=15 este es ≈ 109, para m=30 este es ≈ 1023.

Por lo tanto, es importante contar con una estrategia que reduzca de manera eficiente el número de cálculos. Aunque diferentes, dos enfoques secuenciales que conducen a agrupamientos jerárquicos parecen haber adquirido un interés particular entre los taxónomos. Una de las estrategias es el algoritmo propuesto por Ward (1963). Su idea es aglomerar los puntos o los grupos resultantes, reduciendo su número en uno en cada etapa  de un procedimiento de fusión secuencial, hasta que todos los puntos estén en un único clúster. Un algoritmo contrario ha sido propuesto por Edwards y Cavalli-Sforza (1965). La esencia de su método es la partición consecutiva de un conjunto de puntos en dos subconjuntos: primero un conjunto inicial es dividido en dos grupos, cada uno de ellos se subdivide en dos grupos más pequeños por separado, y así sucesivamente, hasta que se alcancen los puntos individuales (Caliński, 1974). En la presente investigación se utiliza el enfoque propuesto por Ward.

En la mayoría de las situaciones de agrupación de la vida real, un investigador aplicado se enfrenta con el dilema de seleccionar el número de grupos o particiones en la solución final. Los procedimientos no jerárquicos suelen exigir que el usuario especifique este parámetro antes de que la agrupación se lleve a cabo y los métodos jerárquicos habitualmente producen una serie de soluciones que van desde n grupos hasta una solución con un único clúster presente (asumir n objetos en el conjunto de datos). Cuando aplicamos para los resultados métodos de agrupación jerárquicos, las técnicas para la determinación del número de grupos en un conjunto de datos son muchas veces referidas como reglas de decisión (Milligan, 1985). El dilema de una regla de decisión, que en inglés se denomina comúnmente “stopping rule”, es clave ya que en su solución descansa la decisión correcta sobre nuestra estructura grupal (Herrera, 2000).

Algunos procedimientos propuestos presentan problemas, ya que sugieren reglas de decisión no automáticas por lo que no eliminan el tema de la subjetividad humana, otros son métodos gráficos que requieren el juicio del investigador y en otros casos son índices con parámetros de control que no han sido totalmente definidos o desarrollados. Otra deficiencia presente en algunas reglas de decisión es su incapacidad de operar cuando el agrupamiento óptimo resulta ser k=1 (los n elementos deben pertenecer a un único clúster) o k=n (cada uno de los n elementos debe permanecer en un clúster individualmente). Y por último, otra dificultad que presentan métodos anteriormente propuestos, es el nivel de cómputo asociado al procedimiento. Por tanto, el objetivo del presente trabajo es proponer un método sencillo, que incluya una regla de decisión, para la partición vertical de bases de datos; que garantice un índice preciso, que elimine la subjetividad humana del proceso, que no sea susceptible a los casos extremos de k=1 y k=n, anteriormente explicados, con un nivel de cómputo aceptable, que iguale y/o mejore los resultados obtenidos mediante métodos anteriores. También se presenta una variante de dicho método para que pueda ser usado como evaluador de particiones.

 

MATERIALES Y MÉTODOS

Como la inmensa mayoría de los algoritmos previos para la partición vertical de bases de datos se usará la Matriz de Uso de Atributos (MUA) como entrada. Esta matriz relaciona las transacciones con los atributos de la relación y contendrá un uno en una de sus celdas si el atributo Ai es utilizado en la Transacción Tj o un cero en caso contrario. Se ilustrará el ejemplo utilizado en (Du, 2003; Chakravarthy, 1993; Runceanu, 2008), que considera 8 transacciones y 10 atributos. Ver Tabla 1.

(Hoffer, 1975) propone el concepto de afinidad entre pares de atributos. Aplicando este concepto a la MUA se obtiene la Matriz de Afinidad entre atributos (MAA), que es lo que se propone en los 2 primeros pasos del Método Navathe como se indica en (Zorrilla, 2000). Sin embargo, muchos autores han criticado el uso de esta matriz. Sharma (Chakravarthy, 1993) asegura que, debido a que solo un par de atributos son involucrados, esta medida no refleja la cercanía o afinidad cuando más de dos atributos son implicados. En este trabajo se comparte el enfoque de Jun Du, (2003) las limitaciones de la medida de afinidad como una medida de afinidad local y la necesidad de una medida de afinidad global para lograr que todos los valores de la matriz sean comparables entre sí. No obstante, para esta investigación, no se considera consistente la medida de afinidad global descrita en el trabajo de estos autores, por lo que se realizó un análisis de varias de las medidas de afinidad existentes y que son revisadas por el Doctor en Ciencias Biológicas Alejandro Herrera Moreno en (Herrera, 2000). Se decide que el Índice de Jaccard, una expresión de similitud, es una medida de afinidad global apropiada para el tema de la partición vertical de bases de datos, eliminando de su fórmula el factor que representa las ausencias conjuntas o ceros compartidos, debido a que el hecho de que en una transacción no se usen ninguno de los dos atributos del par analizado, no brinda ninguna información para el caso que ocupa. A continuación la ecuación del Índice de Jaccard que se sugiere:

S = a/(a + b + c).

(1)

donde:
S es el valor de atracción entre el atributo Ai y Aj, a es la suma de las frecuencias de aquellas transacciones que usan tanto el atributo Ai como el  Aj, b es la suma de las frecuencias de aquellas transacciones que usan el atributo Ai y no el Aj y c es la suma de las frecuencias de aquellas transacciones que usan el atributo Aj y no el Ai.

Al aplicar la medida de afinidad global seleccionada, se obtiene una nueva matriz. Se nombrará Matriz de Atracción entre Atributos (MAA*) ver Tabla 2.

Como se puede apreciar, la matriz es simétrica, los valores quedan normalizados entre cero y uno, donde uno representa el valor máximo de similitud y cero el mínimo, por lo que todos los valores son comparables entre sí. Es obvio que la diagonal principal esté formada por unos, debido a que la atracción de un atributo consigo mismo es máxima.

A partir de este punto se comienza a aplicar el método de agrupamiento jerárquico que propone Ward (1963). Tras cada fusión deben ser recalculados los valores de “atracción” entre grupos-atributos o pares de atributos que provoca el nuevo grupo recién formado.

Lance y Williams Boesch (1977) citan ocho estrategias aglomerativas que pueden ser utilizadas con este propósito, entre las que se encuentran: vecino más cercano, vecino más lejano, promedio simple, promedio de grupos y estrategia flexible. El “promedio simple” es un método que se considera como conservativo del espacio ya que introduce poca distorsión en las afinidades originales, propiedad que la hace una estrategia muy recomendada (Herrera, 2000). Ver Tabla 3.

Nótese que los valores de fusión decrecen a medida que aumenta el número de fusiones debido a que siempre se selecciona el mayor valor de “atracción” para realizar la fusión. El principal problema a enfrentar ahora es escoger cuál de estos agrupamientos parece ser mejor, aquí es donde juega un papel fundamental la “regla de decisión”.

Muchos intentos por definir qué es un grupo emplean propiedades como la cohesión interna y el aislamiento externo lo cual está más cerca de la definición de clasificación que pretende de manera objetiva crear grupos muy homogéneos entre sí y bien diferentes de otros. (Hair, 1995) explica que los grupos deben poseer una homogeneidad interna muy alta (“withincluster”) y una heterogeneidad externa (“betweencluster”) también muy alta (Herrera, 2000).

Basado en estos principios en el presente artículo se proponen varias ecuaciones para calcular la Homogeneidad Interna (HI) y la Heterogeneidad Externa (HE). A continuación se muestra la fórmula para calcular la HI de un grupo específico:

(2)

donde:
HIl es el valor de la homogeneidad interna del clúster l, n es la cantidad de atributos del clúster l y ∑Aij es la sumatoria de los valores de atracción entre cada par de atributos que pertenecen al clúster l, sin tener en cuenta la atracción de cada atributo consigo mismo.
Para calcular la Homogeneidad Interna Total (HIT) de un agrupamiento completo, se usará la siguiente ecuación:

(3)

donde:
HIl es el valor de la homogeneidad interna de cada clúster y m es la cantidad de grupos del agrupamiento. De igual forma se define una manera de calcular la heterogeneidad externa de cada grupo:

(4)

donde:
Max Aij es el máximo valor de atracción para cada atributo del clúster k con los atributos de otros grupos distintos a k y n es el número de atributos del clúster k.
Para calcular la Heterogeneidad Externa Total (HET) de un agrupamiento completo, se usará la siguiente ecuación:

(5)

donde:
k es el número de grupos del agrupamiento y HEz es el valor de heterogeneidad externa del clúster z.

Es obvio que la homogeneidad interna de las agrupaciones sea decreciente. Este es un criterio que parte de un máximo de homogeneidad interna, cuando los atributos individualmente forman un clúster, pues nadie más parecido a un elemento que él mismo. Luego esta medida se debe ir deteriorando con el propio crecimiento de los grupos, pues los valores de fusión van empeorando y la probabilidad de convivir con un atributo no tan parecido, en el mismo grupo, aumenta, hasta hacerse mínima cuando todos los atributos pertenecen a un mismo grupo. Exactamente lo contrario ocurre con el concepto de heterogeneidad externa, que es creciente, pues cuando los grupos son pequeños, lo más probable es que existan en otros grupos atributos muy parecidos y se obtiene un máximo cuando todos los atributos forman parte del mismo grupo, pues sencillamente, no existe otro clúster con quien diferenciarse.

Estos elementos llevan a pensar en que estas dos funciones, HIT y HET, en algún momento se cortan. Véase la Figura. Al punto de intersección de ambas funciones se le denominará “punto de balance”, ya que en él se alcanza el mejor balance de homogeneidad interna y heterogeneidad externa de los grupos y constituye la base de la regla de decisión que se propone en el presente trabajo. En la práctica, el proceso de cómputo pararía en el preciso momento en que nos encontremos en un agrupamiento donde el valor de HET supere al valor de HIT, evitando cálculos innecesarios. Entonces la regla de decisión indica que se tomará como mejor agrupamiento aquel definido por la fusión más cercana al punto de balance, lo que matemáticamente es muy sencillo de determinar. En el ejemplo desarrollado la mejor opción, según este nuevo enfoque, resulta ser la agrupación: (A1, A5, A7) (A2, A8, A3, A9) (A4, A6, A10).

Variante para que el método pueda ser usado como “Evaluador de Particiones”

En (Chakravarthy, 1993) se explican que los resultados de los algoritmos de partición vertical de bases de datos son a veces diferentes, incluso para la misma entrada de datos. Estos autores justifican la necesidad de contar con una función objetivo que permita evaluar la “calidad” o “bondad” de las particiones que estos algoritmos producen; y desarrollan una propuesta a la que llaman “Evaluador de particiones”. Siguiendo este mismo enfoque, el método presentado en este artículo también pudiera ser utilizado con estos fines. En principio, como información de entrada no bastaría con la MUA, se necesitaría también el esquema de fragmentación a evaluar. Del método general se obvia todo el proceso para generar los agrupamientos jerárquicos.  Se procede a obtener la MAA* y a calcular la HIT y la HET del esquema de fragmentación a evaluar, de la misma forma en que ya se ha explicado. Luego calculamos el “balance”, mediante la siguiente ecuación:

(6)

El valor absoluto del balance es un índice que nos permitirá comparar la “calidad” de esta partición con otra obtenida con otra obtenida con otro algoritmo para la misma MUA. Mientras menor sea el valor de B mejor calidad tendrá el esquema de partición analizado, debido a que posee un mejor balance entre la homogeneidad interna y la heterogeneidad externa de sus grupos.

 

RESULTADOS Y DISCUSIÓN

Para el ejemplo utilizado, en particular, otros algoritmos como el de Ra (Navathe, 1989; Zahn, 1971) y Partición Vertical Binaria (Du, 2006) identifican el esquema de fragmentación mencionado (en 3 fragmentos) como óptimo. En el enfoque de Zahn, una vez que el árbol de expansión máxima se obtiene, dos condiciones diferentes producen dos diferentes esquemas de partición. Uno de ellos es el mismo que se identifica como óptimo. Aplicando el Evaluador de Particiones de Chakravarthy (1993) se obtiene el mismo resultado. El algoritmo basado en colonia de hormigas propuesto en (Goli, 2012) también obtiene que la solución óptima es un esquema en 3 fragmentos.

El método aquí expuesto también ha sido probado, con resultados satisfactorios, para los ejemplos que aparecen en (Runceanu, 2008; Runceanu, 2008) y otros casos como el de la MUA (20 atributos x 15 transacciones) en (Goli y 2012). También se han empleado ejemplos diseñados intencionalmente que demuestran que no es sensible a los casos extremos (k=1 y k=n). Vea Tabla 4.

La anterior MUA, altamente poblada de unos y con valores de frecuencia de accesos muy similares, nos sugiere de antemano que el agrupamiento debería definir un solo grupo compuesto por todos los atributos. Al aplicar el método propuesto, se distingue claramente que el punto de balance se encuentra entre la fusión 4 y 5. Al calcular la ordenada de dicho punto, x=4,595115, se comprueba que se encuentra ligeramente más cercano a la fusión 5, por lo que, siguiendo la regla de decisión anteriormente descrita, el agrupamiento seleccionado es aquel definido por la última fusión, quedando todos los atributos en un mismo grupo, como se vaticinaba desde el principio. Este resultado es corroborado al aplicar el Evaluador de Particiones de Chakravarthy (1993).

Esta es una muestra de que la regla de decisión propuesta no es sensible a los casos en que los atributos deberían aparecer todos en un mismo grupo.

 

CONCLUSIONES

Con el desarrollo de la presente investigación, se ha logrado proponer un método y una regla de decisión, capaces de eliminar, en un alto grado, la subjetividad humana, en el proceso de particionado vertical de bases de datos. Como se ha podido comprobar, el centro de la propuesta se basa en la existencia de un punto de balance entre la HIT y HET, y este punto es único. La regla de decisión es clara, precisa y fácil de aplicar.

El hecho de que al encontrar el punto de balance, no es necesario continuar el proceso de obtención de agrupaciones, es un elemento que repercute directamente en el nivel de cómputo que requiere el método.

La propuesta supera también la limitante de varias reglas de decisión previas, de ser sensibles a los casos extremos (k=1 y k=n), donde k representa el número de grupos y n el número de atributos.

Este método puede ser usado también para evaluar la “calidad” de las particiones obtenidas con otros métodos de fragmentación vertical..

 

REFERENCIAS BIBLIOGRÁFICAS

BENMESSAHEL, B. y TOUAHRIA, M. An improved Combinatorial Particle Swarm Optimization Algorithm to Database Vertical Partition. Journal of Emerging Trends in Computing and Information Sciences, 2011, 2 (3), p. 130-135.

CALIŃSKI, T. y HARABASZ, J. A Dendrite Method for Cluster Analysis. Communications in Statistics - Theory and Methods, 1974, 3 (1): p. 1-27.

CHAKRAVARTHY, S.; MUTHURAJ, J., et al. An Objective Function for Vertically Partitioning Relations in Distributed Databases and its Analysis. Distributed and Parallel Databases, 1993, 2 (1).

DU, J.; BARKER, K.y ALHAJJ, R. Attraction-a Global Affinity Measure for Data Base Vertical Partitioning. [en línea] 2003 [Consultado el: 12 de julio de 2012]. Disponible en: [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/barker:ken.html].

DU, J., ALHAJJ, R. y BARKER, K. Genetic Algorithms Based Approach to Database Vertical Partition. Journal of Intelligent Information Systems, 2006, 26 (2), p. 167-183.

GOLI, M.; Rouhani, R.; Taghi, S. M. A New Vertical Fragmentation Algorithm Based on Ant Collective Behavior in Distributed Database Systems. Knowledge and Information Systems, 2012, 30 (2): p. 435-455.

HAIR, J. F., et al. Cluster Analysis. Multivariate Data Analysis with Readings. New Jersey, Prentice Hall, 1995. p. 420-483.

HERRERA, A. La clasificación numérica y su aplicación en la ecología. Santo Domingo, Sammenycar C. x A., 2000. 88 p.

HOFFER, J. A.; Severance, D.G. The Use of Cluster Analysis in Physical Database Design. En:Proceedings of the 1st International Conference on Very Large Databases. 1975.

Milligan, G.W.; Cooper, M.C. An Examination of Procedures for Determining the Number of Clusters in a Data Set. Psychometrika, 1985, 50 (2), p. 159-179.

NAVATHE, S., et al. Vertical Partitioning algorithms for database design. En: ACM Transactions on Database Systems. ACM, 1984, p. 680-710.

NAVATHE, S. y Ra, M. Vertical Partitioning for Database Design: A Graphical Algorithm. En: ACM SIGMOD. Portland: 1989.

RUNCEANU, A. Fragmentation in Distributed Database. Innovations and Advanced Techniques in Systems Computing Sciences and software Engineering, 2008: p. 57-62.

RUNCEANU, A. Towards Vertical Fragmentation in Distributed Databases. Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering, 2008: p. 57-62.

TADDEI, E. y KURI, A. Fragmentación vertical y asignación simultánea en BDD usando algoritmos genéticos. [en línea] 2000 [Consultado el: 20 de julio de 2012]. Disponible en: [http://cursos.itam.mx/akuri/PUBLICA.CNS/2000/Fragmentaci%f3n%20Vertical%20usando%20AG.pdf].

ZAHN, C. Graph-Theoretical Methods for Detecting and Describing Gestalt Clusters. IEEE Transactions on Computers, 1971, 20, p. 68-86.

ZORRILLA, M. E., et al. Vertical Partitioning Algorithms in Distributed Databases.Computer Aided Systems Theory - EUROCAST’99. LNCS Springer, 2000, 1798, p. 465-474.

 

 

Recibido: 16 de febrero de 2013.
Aprobado: 13 de marzo de 2013.