Comment combiner et optimiser un prédicat, en général?

Question

Je travaille sur un système de traitement d'événements complexes. Il prend en charge le filtrage des ensembles d'enregistrements en fonction des membres de ces enregistrements, en utilisant un langage de requête. Le langage prend en charge les opérateurs logiques, arithmétiques et définis par l'utilisateur sur des membres arbitraires.

Voici un exemple d'une requête pris en charge:

(MemberA > MemberB) && 
(@in MemberC { "str1", "str2" }) && 
(com.foo.Bar.myPred(MemberD, MemberE)) 

Mon problème est que je veux combiner les requêtes dans une super requête, puis je veux optimiser cette super-requête pour éliminer les redondances, les tautologies et les contradictions. par exemple. Je veux prendre

A > 0 

et le combiner avec

A > 1 

qui est assez facile:

A > 0 || A > 1 

mais je veux optimiser afin qu'il réduit à

A > 0 

S'il existe des URL ou des livres sur ce disque utilise ce sujet général, j'apprécierais savoir à leur sujet.

Answer 1

Livres? Je pense qu'il y en a quelques-uns; et très probablement vous devriez chercher des articles dans ce domaine.

Ce que vous pouvez regarder sont SMT solvers qui peut fonctionner avec votre domaine de requêtes. Vous les nourrissez avec la définition mathématique de votre langage d'expression, les axiomes d'état des relations que vous soutenez. Alors ils peuvent, par exemple, raisonner si (oui, deux conjonctions égales) si un prédicat en implique un autre est une tautologie. Notez que les solutions automatisées à cette tâche sont vagues et dépassent parfois les capacités théoriques des machines de Turing (c'est-à-dire de l'ordinateur). Vous n'aurez pas une seule et bonne solution à votre problème.