Necesito orientación hacia el árbol de lógica booleana evaluativa

Question

Parece que no puedo encontrar un puntero en la dirección correcta, ni siquiera estoy seguro de cuáles son los términos que debería investigar, pero las innumerables horas de búsqueda en Google me parecen girar en círculos , así que con suerte la colmena colectiva de inteligencia de Stack Overflow puede ayudar.

El problema es este, necesito una forma de filtrar datos en lo que solo puedo llamar un árbol de lógica compuesta. Actualmente, el sistema implementa un sistema de filtrado AND simple. Por ejemplo, digamos que tenemos un conjunto de datos de personas. Se agrega un montón de filtros tales que muestran todas las personas que (Sexo = Mujer) Y (edad> 23) y (Edad < 30) y (estado = Individual). Lo suficientemente fácil, iterar a través de cada elemento, agregar a una colección de elementos válida solo si todas las condiciones son verdaderas.

El problema que estoy enfrentando es ¿cómo puedo manejar que el usuario pueda crear consultas complejas involucradas en y's and or's? Estoy pensando en algo así como un árbol en el que cada nodo representa y la expresión evalúa sus hijos en verdadero o falso. Un ejemplo sería simplista - filtre a ((sexo masculino y la edad == == 25) o (Sexo Femenino == == y el estado individual)) y el CI> 120. Lo siento, no puedo pensar en un mejor ejemplo a el momento. Pero, ¿cómo harías para representar este tipo de árbol de expresiones y evaluar los elementos de una colección con estos filtros? ¿Cuáles son algunas referencias que podrían ayudar? Demonios, ¿qué maldita búsqueda de Google podría llevar a una dirección positiva?

Gracias a cualquier persona que pueda proporcionar cualquier ayuda.

Aquí es un ejemplo de una consulta compuesto en forma de árbol utilizando un conjunto de datos de las personas

• consultas - Muéstrame todas las personas donde el sexo es hombre y los ojos son de color verde o el sexo es femenino, los ojos son de color azul, o el estado es único. En forma Paren (Sex == Male & & Eyes == verde) || (Sexo Femenino == & & (Ojos Azul == == || Estado Individual))

lo tanto en forma de árbol im Pensando

o-Root Node 
    - And - Sex = Male 
    - And - Eyes = Blue 
    - Or - Sex = Female 
    - And Eyes = Blue 
    - Or Status = Single 

creo que la solución es representar cada nodo en tales una estructura de datos como

Node 
{ 
    OpType - AND or OR 
    ExpressionField - The field to evaluate 
    ExpressionOp - =, !=, >, >=, <, <= 
    ExpressionValue - the value to compare the field's value against 

    Function Evaluate() - returns a bool 
} 

Así que para un nodo dado, evaluar los chilren, si usted es un nodo y, a continuación, devolver verdadero si la expresión da como resultado cierto y todos sus hijos y como resultado true o cualquier O el niño evalúa verdadero y recurrente.

Parece que satisface todas las condiciones conceptuales que puedo ofrecer, pero lo haremos desde que lo implemente. Voy a publicar el código real más tarde cuando esté funcionando e imágenes para ayudar a describir este problema mejor para los demás.

Answer 1

Su análisis de la expresión ((sexo masculino y la edad == == 25) o (Sexo Femenino == == y el estado individual)) y el CI> 120 parece extraño. Me gustaría analizarlo como:

* And 
    * Or 
     * And 
      * == 
       * Sex 
       * Male 
      * == 
       * Eyes 
       * Blue 
     * And 
      * == 
       * Sex 
       * Female 
      * == 
       * Status 
       * Single 
    * > 
     * IQ 
     * 120 

El tipo de árbol sería:

Node 
{ 
    bool evaluate() 
} 

AndNode : Node 
{ 
    Node left 
    Node right 

    bool evaluate() 
    { 
     return left.evaluate() && right.evaluate() 
    } 
} 

// OrNode is similar 

EqualsNode : Node 
{ 
    Field field 
    Value value 

    bool evaluate() 
    { 
     return field.value() == value 
    } 
} 

// Likewise for <, >, etc 

Answer 2

tengo que decir que esta es la razón por motores de bases de datos se construyen. Puede hacer todo lo que necesite con la lógica establecida e incluso puede llegar al resultado que está buscando, pero estos son problemas estándar resueltos por bases de datos y SQL. También puede consultar linq para obtener una solución de código.

Answer 3

Parece que necesita crear una interfaz de usuario que permita la creación de un árbol de análisis simple. Cuando las imprentas GO, puede caminar por el árbol y crear un árbol de expresión LINQ a partir de esa estructura de interfaz de usuario. Ejecute la consulta LINQ y luego procese los resultados según sea necesario. Por lo tanto, le recomiendo que lea sobre los árboles de expresión LINQ.

Answer 4

Este tipo de consultas se presentan a menudo como una matriz de OR ed AND cláusulas ed. Es decir, un formato de tabla en la que se lee a través de múltiples condiciones AND ed juntos, y luego busque debajo OR ellos. Eso lleva a una cierta repetición de las condiciones, pero es fácil de leer, escribir y entender por los usuarios. Su muestra ((Sex == Male AND Age == 25) OR (Sex == Female AND Status == Single)) AND IQ > 120 se vería

Sex == Male & Age == 25  & IQ > 120 
Sex == Female & Status == Single & IQ > 120 

Answer 5

Es posible que desee Google para términos como 'cálculo de predicados' y 'forma normal conjuntiva'.